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.

- Simple situation calculus
- Not so simple situation calculus
- Actions by Persons and Joint Actions of Groups

2003-09-29