next up previous
Next: Simple situation calculus Up: ELABORATION TOLERANCE Previous: Formalizing the Amarel Representation

Situation Calculus Representations

The term situation calculus is used for a variety of formalisms treating situations as objects, considering fluents that take values in situations, and events (including actions) that generate new situations from old.

At present I do not know how to write a situation calculus formalization that tolerates all (or even most) of the elaborations of section 7. Nevertheless, I think it is useful to give some formulas that accomplish some elaborations and discuss some issues of elaboration tolerance that these formulas present.


John McCarthy