Situation calculus as answer set programming

Joohyung Lee, Ravi Palla

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

We show how the situation calculus can be reformulated in terms of the first-order stable model semantics. A further transformation into answer set programs allows us to use an answer set solver to perform propositional reasoning about the situation calculus. We also provide an answer set programming style encoding method for Reiter's basic action theories, which tells us how the solution to the frame problem in answer set programming is related to the solution in the situation calculus.

Original languageEnglish (US)
Title of host publicationAAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference
PublisherAI Access Foundation
Pages309-314
Number of pages6
ISBN (Print)9781577354642
StatePublished - Jan 1 2010
Event24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10 - Atlanta, GA, United States
Duration: Jul 11 2010Jul 15 2010

Publication series

NameProceedings of the National Conference on Artificial Intelligence
Volume1

Other

Other24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10
CountryUnited States
CityAtlanta, GA
Period7/11/107/15/10

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Cite this

Lee, J., & Palla, R. (2010). Situation calculus as answer set programming. In AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference (pp. 309-314). (Proceedings of the National Conference on Artificial Intelligence; Vol. 1). AI Access Foundation.