next up previous contents
Next: Situation Calculus Up: Theories of Time and Previous: Relations Between Actions   Contents

Survey of Formalisms

The formalisms that have been developed primarily for reasoning about action effects have been extended to incorporate the reasoning about passage of time. Similarly, the formalisms developed primarily to represent the changes in the world as time passes have been extended to deal with reasoning about action effects. As a result, some current formalisms address some of the issues on representing and reasoning about effects of actions as well as passage of time. The following sections examine a few formal frameworks discussed in the literature.


Darsana Josyula 2006-01-16