Consider the following axioms: • All dogs howl at night. • Anyone who has any dog will not have any cat. • Light sleepers do not have anything which howls at night. • John has either a dog or a cat....

Artificial Intelligence

Extracted text: Consider the following axioms: • All dogs howl at night. • Anyone who has any dog will not have any cat. • Light sleepers do not have anything which howls at night. • John has either a dog or a cat. 1. Convert the above sentences to FOL 2. Convert the FOL sentences to CNF 3. Prove that: If John is a light sleeper, then John has a cat.