Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Abstract
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical formulas, we reformulate the situation calculus and the event calculus in the general theory of stable models. We also present a translation that turns the reformulations further into answer set programs, so that efficient answer set solvers can be applied to compute the situation calculus and the event calculus.
Cite
Text
Lee and Palla. "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming." Journal of Artificial Intelligence Research, 2012. doi:10.1613/JAIR.3489Markdown
[Lee and Palla. "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming." Journal of Artificial Intelligence Research, 2012.](https://mlanthology.org/jair/2012/lee2012jair-reformulating/) doi:10.1613/JAIR.3489BibTeX
@article{lee2012jair-reformulating,
title = {{Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming}},
author = {Lee, Joohyung and Palla, Ravi},
journal = {Journal of Artificial Intelligence Research},
year = {2012},
pages = {571-620},
doi = {10.1613/JAIR.3489},
volume = {43},
url = {https://mlanthology.org/jair/2012/lee2012jair-reformulating/}
}