next up previous
Next: Concurrency Up: ACTIONS AND OTHER EVENTS Previous: Elaboration tolerance

Extensions of the formalism and problems they present

 

The basic situation calculus admits many useful extensions. The ideas of this section are tentative.

---

• Concurrency
• Events whose occurrence depends on the past
• ``Branching time'' and ``linear time''
• Induction in the situation calculus
• Formalizing Oscillations
• State constraints after all
• Javier Pinto's formalism

---

John McCarthy
Fri Feb 8 17:29:20 PST 2002