| Wumpus
world sentences |
|
|
|
|
|
|
|
|
|
|
|
| Let Pi,j
be true if there is a pit in [i, j]. |
||||||||||
| Let Bi,j
be true if there is a breeze in [i, j]. |
||||||||||
| P1,1 |
||||||||||
| B1,1 |
||||||||||
| B2,1 |
||||||||||
| n | "Pits
cause breezes in adjacent squares" |
|||||||||
| B1,1 (P1,2
P2,1) |
||||||||||
| B2,1 (P1,1
P2,2
P3,1) |
||||||||||
