Question: Hello! I know this question is kinda long so I promise I will upvote the answer. PART III. FOL & INFERENCE Assignment: Construct the following

Hello! I know this question is kinda long so I promise I will upvote the answer. Hello! I know this question is kinda long so I promise I

PART III. FOL & INFERENCE Assignment: Construct the following knowledge base (list the sentences in it) A. Represent the following knowledge base in first-order logic. Use the predicates: tasty(y) fast (y) likes(x,y) eats(x,y) has-cheese (y) * dieting(x) . hungry(x) picky(x) where arguments x have the domain of all people, and arguments y have the domain of all food. a. Anyone who is hungry and not dieting wille. No-one who is dieting eats food with cheese. not be picky. b. Everyone who is picky only eats tasty food. c. A person eats food if and only if they like ith. James ate chicken. f. Every UMBC student likes tasty food g. Val is a UMBC student. and are hungry. d. A hungry person likes food that comes i. Val is dieting and did not eat pizza. j. James is picky. uickl B. Convert the KB to conjunctive normal form (list the new set of sentences in the KB) Next, we wish to prove that: hungry(Val) eats(Val, chicken) C. Express the negation of this goal in conjunctive normal form Add the negated goal to the KB, and use forward chaining to prove that it is true. Show your proof as a series of sentences to be added to the KB(Denote new sentences with letters starting after k.) You must clearly show which sentences are used to produce each new sentence. Answer the following questions in English. D. For two of the sentences in the KB, give a 1-2 sentence explanation of how those sentences are a poor representation of the real world PART III. FOL & INFERENCE Assignment: Construct the following knowledge base (list the sentences in it) A. Represent the following knowledge base in first-order logic. Use the predicates: tasty(y) fast (y) likes(x,y) eats(x,y) has-cheese (y) * dieting(x) . hungry(x) picky(x) where arguments x have the domain of all people, and arguments y have the domain of all food. a. Anyone who is hungry and not dieting wille. No-one who is dieting eats food with cheese. not be picky. b. Everyone who is picky only eats tasty food. c. A person eats food if and only if they like ith. James ate chicken. f. Every UMBC student likes tasty food g. Val is a UMBC student. and are hungry. d. A hungry person likes food that comes i. Val is dieting and did not eat pizza. j. James is picky. uickl B. Convert the KB to conjunctive normal form (list the new set of sentences in the KB) Next, we wish to prove that: hungry(Val) eats(Val, chicken) C. Express the negation of this goal in conjunctive normal form Add the negated goal to the KB, and use forward chaining to prove that it is true. Show your proof as a series of sentences to be added to the KB(Denote new sentences with letters starting after k.) You must clearly show which sentences are used to produce each new sentence. Answer the following questions in English. D. For two of the sentences in the KB, give a 1-2 sentence explanation of how those sentences are a poor representation of the real world

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!