(Solved) : Exercise Kr1 8 Points Given Following Sentences 1 Students Like Meat Eat Lunch Bread Salam Q44093449 . . .
Hello I need help with this question:
Exercise KR1 (8 points) Given the following sentences: 1. students that like meat, eat at lunch bread and salami 2. students that like vegetables, eat at lunch bread and salad 3. students that do not like meat, like vegetables 4. Francesco is a student and the following vocabulary: Constants: bread, salami, salad, francesco. Predicates: student(2), likeMeat.), likeVeg(), eat AtLunch(2,y) (where eaten food). is the eater and y the (a) Write the KB that models the above sentences. (b) Transform it in CNF and tell whether there are any non-Horn clauses. (c) Derive using resolution that Francesco eats at lunch. (d) Write two models for the above KB. Show transcribed image text Exercise KR1 (8 points) Given the following sentences: 1. students that like meat, eat at lunch bread and salami 2. students that like vegetables, eat at lunch bread and salad 3. students that do not like meat, like vegetables 4. Francesco is a student and the following vocabulary: Constants: bread, salami, salad, francesco. Predicates: student(2), likeMeat.), likeVeg(), eat AtLunch(2,y) (where eaten food). is the eater and y the (a) Write the KB that models the above sentences. (b) Transform it in CNF and tell whether there are any non-Horn clauses. (c) Derive using resolution that Francesco eats at lunch. (d) Write two models for the above KB.
Expert Answer
Answer to Exercise KR1 (8 points) Given the following sentences: 1. students that like meat, eat at lunch bread and salami 2. stud…
OR