Back to the 2019 paper
Similar questions
Artificial intelligenceWhat is First Order Predicate Logic (FOPL)? Represent the following facts in FOPL: "Anyone passing his AI paper and getting an opportunity to work on live project is Happy. But anyone who studies sincerely or is Lucky can pass all his exams. Ramu did not study but he is Lucky. Anyone who is Lucky gets a live project to work."20207mArtificial intelligenceConsider 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?"20207mArtificial intelligenceConvert the following statements into First Order Logic: "All men are mortal. Socrates is a man."20257mArtificial 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