Consider the following five sentences in FOL: a) Vx, Action-Movie(x) likes(Marie, x): b) Action-Movie(Al) c)...

Transcribed Image Text:

Consider the following five sentences in FOL: a) Vx, Action-Movie(x) ⇒ likes(Marie, x): b) Action-Movie(Al) c) Watch(Susan, Tom Raider) A-Like(Susan, Tom Raider) d) Vz Watch(Susan, z) → Watch (Patrick, z) e) vy Watch(Suzan,y) A-Like(Suzan y) ⇒ Action-Movie(y) Since handwritte solutions are not accepte here are the symbols yo may need: V 1. Translate each of the above sentences into plain English [10 points] 2. Convert each of the above sentences into CNF (Specify each step) [10 points] 3. Prove by resolution refutation that "Marie likes Al and TomRaider" (show all details). [10 points] Consider the following five sentences in FOL: a) Vx, Action-Movie(x) ⇒ likes(Marie, x): b) Action-Movie(Al) c) Watch(Susan, Tom Raider) A-Like(Susan, Tom Raider) d) Vz Watch(Susan, z) → Watch (Patrick, z) e) vy Watch(Suzan,y) A-Like(Suzan y) ⇒ Action-Movie(y) Since handwritte solutions are not accepte here are the symbols yo may need: V 1. Translate each of the above sentences into plain English [10 points] 2. Convert each of the above sentences into CNF (Specify each step) [10 points] 3. Prove by resolution refutation that "Marie likes Al and TomRaider" (show all details). [10 points]

Answer rating: 100% (QA)

1 Translate each of the above sentences into plain Englis... View the full answer