0
5.6kviews
Represent the following statement into FOPL.

Represent the following statement into FOPL.

  1. Anyone who kills an animal is loved by no one.

  2. A square is breezy if and only if there is a pit in a neighbouring square:

(Assume the wumpus world environment).

1 Answer
0
494views
  1. Anyone who kills an animal is loved by no one.

    Object constant: Person x

    Predicates: Animal (y), Kills (x, y), loves (z, x)

    FOPL: $\forall$ x ( (∃y Animal (y) ∧ Kills (x, y) ) $\Rightarrow \forall$ z ¬ loves (z, x) )

  2. A square is breezy if and only …

Create a free account to keep reading this post.

and 5 others joined a min ago.

Please log in to add an answer.