Answered step by step
Verified Expert Solution
Question
1 Approved Answer
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.
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 worldStep 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