0
5.8kviews
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
509views
  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 if there is a pit in a neighbouring square

    (Assume the wumpus world environment)

    Object constant: Square s = [x, y]

    Predicates: Pit(s), Breezy(s), Adjacent(s, r)

    FOPL: $\forall$ s Breezy(s) ⇔ ∃r (Adjacent(r, s) ∧ Pit(r))

Please log in to add an answer.