Prove using resolution. Sentences in knowledge base: Everyone who loves all animals is loved by someone.Anyone who kills an animal is loved by no one.Jack loves all animals.Either Jack or Curiosity killed the cat, who is named Tuna.Corresponding sentences in knowledge base in first-order logic:∀ x [∀ y Animal(y) ⇒ Loves (x, y)] ⇒ [∃ y Loves (y, x)]∀ x [∃ y Animal(y) ∧ Kills (x, y)] ⇒ [∀ z ¬Loves (z, x)]∀ x Animal(x) ⇒ Loves (Jack, x)Kills (Jack, Tuna) ∨ Kills (Curiosity, Tuna)Cat (Tuna)∀ x Cat(x) ⇒ Animal(x)To infer:Curiosity killed Tuna.Corresponding sentence in first-order logic:Kills (Curiosity, Tuna)

icon
Related questions
Question
Prove using resolution.
Sentences in knowledge base:
Everyone who loves all animals is loved by someone.
Anyone who kills an animal is loved by no one.
Jack loves all animals.
Either Jack or Curiosity killed the cat, who is named Tuna.
Corresponding sentences in knowledge base in first-order logic:
∀ x [∀ y Animal(y) ⇒ Loves (x, y)] ⇒ [∃ y Loves (y, x)]
∀ x [∃ y Animal(y) ∧ Kills (x, y)] ⇒ [∀ z ¬Loves (z, x)]
∀ x Animal(x) ⇒ Loves (Jack, x)
Kills (Jack, Tuna) ∨ Kills (Curiosity, Tuna)
Cat (Tuna)
∀ x Cat(x) ⇒ Animal(x)
To infer:
Curiosity killed Tuna.
Corresponding sentence in first-order logic:
Kills (Curiosity, Tuna)
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer