Representing and reasoning about concurrent actions with abductive logic programs

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

In this paper we extend Gelfond and Lifschitz' action description language A with concurrent actions and observation propositions to describe the predicted behaviour of domains of (concurrent) actions and actually observed behaviour, respectively, without requiring that the actually observed behaviour of a domain of actions be consistent with its predicted behaviour. We present a translation from domain descriptions and observations in the new action language to abductive normal logic programs. The translation is shown to be both sound and complete. From the standpoint of model-based diagnosis, in particular, we discuss the temporal explanation of inferring actions from fluent changes at two different levels, namely, at the domain description level and at the abductive logic programming level. The method is applicable to the temporal projection problem with incomplete information, as well as to the temporal explanation of inferring actions from fluent changes.

Original languageEnglish
Pages (from-to)245-303
Number of pages59
JournalAnnals Of Mathematics And Artificial Intelligence
Volume21
Issue number2-4
DOIs
Publication statusPublished - 1 Dec 1997
EventEl Paso Shell Oil Symposium on Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions, in Honor of the 50th Birthday of Professor Michael Gelfond - El Paso, United States
Duration: 5 Nov 19955 Nov 1995

Fingerprint Dive into the research topics of 'Representing and reasoning about concurrent actions with abductive logic programs'. Together they form a unique fingerprint.

Cite this