This is a new (2001 August) article on situation calculus. It differs from previous approaches in three ways. It distinguishes internal events that happen spontaneously from external events (actions). It also treats processes, e.g. a buzzer, that do not settle down. The non-monotonic reasoning is circumscription done situation by situation.
The article appeared in the KR2002 Proceedings.
There are html, dvi, postscript, and pdf versions of this article. The html version is a little flakey and will be improved.
Up to: My (John McCarthy's) main page
Send comments to .
I sometimes make changes suggested in them. - John McCarthy