Question

What are the two basic types of inferences?

(a) Reduction to propositional logic, Manipulate rules directly

(b) Reduction to propositional logic, Apply modus ponen

(c) Apply modus ponen, Manipulate rules directly

(d) Convert every rule to Horn Clause, Reduction to propositional logic

The question was asked in an international level competition.

This intriguing question originated from Inference in First-Order Logic in portion Knowledge and Reasoning of Artificial Intelligence

Answer 1

Correct choice is (a) Reduction to propositional logic, Manipulate rules directly

Best explanation: None.