Consider the following sentences: * John likes all kinds of food. * Ap

Back to the 2020 paper

Module 2: Knowledge Representation and Reasoning

20207m

Consider the following sentences:

John likes all kinds of food.
Apples are food.
Chicken is food.
Anything anyone eats and isn't killed by it, is food.
Sue eats everything Bill eats.

(i) Translate the sentences into formulae in predicate logic. Prove that John likes peanuts using backward chaining.
(ii) Convert the formulae of part (i) into clause form.
(iii) Prove that John likes peanuts using resolution.
(iv) Use resolution to answer the question, "What food does Sue eat?"

Search Google Ask AI

Similar questions

Artificial intelligenceExplain resolution in First-Order Logic (FOL). Using a simple knowledge base (e.g., "All humans are mortal, Socrates is a human"), derive a conclusion using resolution refutation.20247m Artificial intelligenceWhat are the steps to convert first order logic or predicate logic sentence to normal form. Explain each step.20197m Artificial intelligenceWhat 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 logic20202m Artificial intelligenceInference algorithm is completed only if (i) it can derive any sentence (ii) it can derive any sentence that is an entailed version (iii) it is truth preserving (iv) it can derive any sentence that is an entailed version and it is truth preserving20222m

PreviousDifferentiate between forward chaining and backward chaining. On what factors does the decision to choose forward or backward chaining depend?NextWhat is the Turing test? If the machine passes the Turing test, does it mean that the system is intelligent? What are the associated problems with Turing test? What are required improvement/advances to overcome these problems?