Section successor-state-section
provides some of the successor-state axioms required for the wumpus
world. Write down axioms for all remaining fluent symbols.
Section successor-state-section provides some of the successor-state axioms required for the wumpus world. Write down axioms for all remaining fluent symbols.