Provably Correct Theories of Action


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.

DOI: 10.1145/201019.201021

Extracted Key Phrases


Citations per Year

113 Citations

Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Lin1995ProvablyCT, title={Provably Correct Theories of Action}, author={Fangzhen Lin and Yoav Shoham}, journal={J. ACM}, year={1995}, volume={42}, pages={293-320} }