7112' | ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS - John McCarthy
https://www-formal.stanford.edu/jmc/sitcalc.pdf
Saved on 2024-06-21 [19895 edays] via www-formal.stanford.edu
Modified 2024-06-21 [19895 edays]
papers programming

This article presents a situation calculus formalism featuring events as primary and the usual actions as a special case. Events that are not actions are called internal events and actions are called external events. The effects of both kinds of events are given by effect axioms of the usual kind. The actions are assumed to be performed by an agent as is usual in situation calculus. An internal event e occurs in situations satisfying an occurrence assertion for that event.