Situation calculus as answer set programming

Joohyung Lee, Ravi Palla

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

6 Citations (Scopus)

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 publicationProceedings of the National Conference on Artificial Intelligence
Pages309-314
Number of pages6
Volume1
StatePublished - 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

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

Fingerprint

Semantics

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Cite this

Lee, J., & Palla, R. (2010). Situation calculus as answer set programming. In Proceedings of the National Conference on Artificial Intelligence (Vol. 1, pp. 309-314)

Situation calculus as answer set programming. / Lee, Joohyung; Palla, Ravi.

Proceedings of the National Conference on Artificial Intelligence. Vol. 1 2010. p. 309-314.

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

Lee, J & Palla, R 2010, Situation calculus as answer set programming. in Proceedings of the National Conference on Artificial Intelligence. vol. 1, pp. 309-314, 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference, AAAI-10 / IAAI-10, Atlanta, GA, United States, 7/11/10.
Lee J, Palla R. Situation calculus as answer set programming. In Proceedings of the National Conference on Artificial Intelligence. Vol. 1. 2010. p. 309-314
Lee, Joohyung ; Palla, Ravi. / Situation calculus as answer set programming. Proceedings of the National Conference on Artificial Intelligence. Vol. 1 2010. pp. 309-314
@inproceedings{5f3ba3de5e2c401c84d8c732bf5a5fa6,
title = "Situation calculus as answer set programming",
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.",
author = "Joohyung Lee and Ravi Palla",
year = "2010",
language = "English (US)",
isbn = "9781577354642",
volume = "1",
pages = "309--314",
booktitle = "Proceedings of the National Conference on Artificial Intelligence",

}

TY - GEN

T1 - Situation calculus as answer set programming

AU - Lee, Joohyung

AU - Palla, Ravi

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77958544255&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77958544255&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:77958544255

SN - 9781577354642

VL - 1

SP - 309

EP - 314

BT - Proceedings of the National Conference on Artificial Intelligence

ER -