Reasoning about intended actions

Chitta Baral, Michael Gelfond

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

21 Scopus citations

Abstract

In most research on reasoning about actions and reasoning about narratives one either reasons about hypothetical execution of actions, or about actions that actually occurred. In this paper we develop a high level language that allows the expression of intended or planned action sequences. Unlike observed action occurrences, planned or intended action occurrences may not actually take place. But often when they do not take place, they persist, and happen at an opportune future time. We give the syntax and semantics for expressing such intentions. We then give a logic programming axiomatization and show the correspondence between the semantics of a description in the high level language, and the answer sets of the corresponding logic programming axiomatization. We illustrate the application of our formalism with respect to reasoning about trips.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
Pages689-694
Number of pages6
Volume2
StatePublished - 2005
Event20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05 - Pittsburgh, PA, United States
Duration: Jul 9 2005Jul 13 2005

Other

Other20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05
CountryUnited States
CityPittsburgh, PA
Period7/9/057/13/05

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Reasoning about intended actions'. Together they form a unique fingerprint.

  • Cite this

    Baral, C., & Gelfond, M. (2005). Reasoning about intended actions. In Proceedings of the National Conference on Artificial Intelligence (Vol. 2, pp. 689-694)