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
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience
