Effect Axioms Effect axioms characterize what is changed because of an action. Frame Axioms Frame axioms characterize what has remained the same because of an action. For each predicate that can change over time they characterize the actions under which it changes and the actions under which it remains the same. Model-Based and Diagnostic Reasoning Causal Rules specify how aspects of the state of the world determine our percepts. Model-Based Reasoning is what we do when we use causal rules.
Diagnostic Rules specify how to go from percepts to assertions about the state of the world.
Diagnostic Reasoning is what we do when we use diagnostic rules. Some Questions Many questions arise because of what has been done above. Clearly we could write an algorithm that would solve the Wumpus problem in an ad-hoc fashion.