Answered step by step
Verified Expert Solution
Question
1 Approved Answer
Question 5 Resolution Refutation [21] Read the following English statements are given below and answer the questions that follow: 1. Anything that anyone eats and
Question 5 Resolution Refutation [21] Read the following English statements are given below and answer the questions that follow: 1. Anything that anyone eats and is not killed by eating it, is food. 2. Mary eats any kind of food. 3. Pap is food. 4. Meat is food. 5. Peter eats peanuts and is not killed by eating it. 6. Joe eats everything that Peter eats. a) Convert the statements to First Order Logic statements. The first statement has been provided already, convert the rest. Remember to standardise your variables. by,z[ eats (y,z)killedf romeating (y,z)food(z)] b) Convert all of the FOL statements above to Conjunctive Normal Form (CNF) (includ- ing the statement that was provided). Hint: First think carefully what it means for a statement to be in CNF. c) Use resolution refutation to prove that Mary eats peanuts, using the assumptions in the paragraph above. (9)
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started