Proceedings:
Extending Theories of Action: Formal Theory and Practical Applications
Volume
Issue:
Papers from the 1995 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker’s solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. A translation of Situation Calculus style theories into Event Calculus style logic programs is defined, and results are given on its soundness and completeness.
Spring
Papers from the 1995 AAAI Spring Symposium