The goal of the situational calculus is to be able to reason about change. This is done by maintaining an internal model of the world and mdifying it as actions take place. We will assume that the only effects that the agent needs to worry about are those that are caused by its own actions.
SC conceives of the world as a sequence of situations. There are then axioms that relate successive situations.
Forall object, situation Present(object,situation) /\ portable(object)
=> Holding(object, Result(grab, situation))
Forall action, object, situation Holding (object, situation) /\ action not Release
=> Holding(object, Result(action, situation))
Return to UG AI home page
Last Changed:28 October 1995