Back to the 2020 paper

Module 2: Knowledge Representation and Reasoning

20202m

What are the two basic types of inference?

(i) Reduction to propositional logic, manipulate rules directly
(ii) Reduction to propositional logic, apply modus ponen
(iii) Apply modus ponen, manipulate rules directly
(iv) Convert every rule of horn clause, reduction to propositional logic

Similar questions