Provably correct theories of action
- 1 March 1995
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 42 (2) , 293-320
- https://doi.org/10.1145/201019.201021
Abstract
We investigate logical formalization of the effects of actions in the situation calculus. We propose a formal criterion against which to evaluate theories of deterministic actions. We show how the criterion provides us a formal foundation upon which to tackle the frame problem, as well as its variant in the context of concurrent actions. Our main technical contributions are in formulating a wide class of monotonic causal theories that satisfy the criterion, and showing that each such theory can be reformulated succinctly in circumscription.Keywords
This publication has 9 references indexed in Scilit:
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- Frames in the space of situationsArtificial Intelligence, 1990
- Miracles in formal theories of actionArtificial Intelligence, 1989
- Chronological ignorance: Experiments in nonmonotonic temporal reasoningArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Response to Hanks and McDermott: Temporal Evolution of Beliefs and Beliefs about Temporal EvolutionCognitive Science, 1987
- Concurrent dynamic logicJournal of the ACM, 1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Negation as FailurePublished by Springer Nature ,1978