- Suppose we know the following facts: ForAll x Q(x) -> Exists y P(x,y) ForAll x ForAll y (A(x) v B(x,y)) -> Q(x) ForAll x ForAll y C(x,y) -> A(y) ForAll x ForAll y C(x,y) Transform the formulæ above to clauses. Prove with resolution: Exists x Exists y P(x,y)
- All frogs are animals. Only stupid fish eat poisonous animals. Colourful animals are poisonous. Toady is a colourful frog. Pikey ate Toady. a) Translate the sentences above to predicate logic. Use the following predicates: colourful(x), animal(x), frog(x), eats(x,y) x eats y, stupid(x), fish(x), and poisonous(x). b) Transform the result from a) to clauses. c) Show with resolution that Pikey is a stupid fish.
- All kings are sovereigns. Some queens are sovereigns. Only kings and queens are sovereigns. The queens who are sovereigns live in EU. Margrethe is a sovereign, but not a king. a) Translate the sentences above to predicate logic. b) Transform the result from a) to clauses. c) Show with resolution that Margrethe is a queen and lives in EU.
- We will look at how the Sussman anomaly can be solved using POP.
- We will also consider Shakey

Last modified: Fri May 14 15:16:37 MEST 2004