1 Equation (4) defines the conditions under which a square is breezy. Here we consider two other ways to describe this aspect of the wumpus world.

a. We can write diagnostic rules leading from observed effects to hidden causes. For finding pits, the obvious diagnostic rules say that if a square is breezy, some adjacent square must contain a pit; and if a square is not breezy, then no adjacent square contains a pit.
Write these two rules in first-order logic and show that their conjunction is logically

b. We can write causal rules leading from cause to effect. One obvious causal rule is that a pit causes all adjacent squares to be breezy. Write this rule in first-order logic, explain why it is incomplete compared to Equation (4), and supply the missing axiom.

Transcribed Image Text:

George Mum Spencer Kydd Elizabeth Philip Margaret Diana Charles Anne Mark Andrew M Sarah Edward M Sophie William Harry Peter Zara Beatrice Eugenie Louise James Figure 7 children. A typical family tree. The symbol "" connects spouses and arrows point to