@inproceedings{43c74a52105a4f31b52742ebd167e0e9,
title = "Reasoning about complex actions with incomplete knowledge: A modal approach",
abstract = "In this paper we propose a modal approach for reasoning about dynamic domains in a logic programming setting. We present a logical framework for reasoning about actions in which modal inclusion axioms of the form 〈p0〉ϕ ⊂〈p1〉 〈p2〉… 〈pn〉ϕ allow procedures to be defined for building complex actions from elementary actions. The language is able to handle knowledge producing actions as well as actions which remove information. Incomplete states are represented by means of epistemic operators and test actions can be used to check whether a fluent is true, false or undefined in a state. We give a non-monotonic solution for the frame problem by making use of persistency assumptions in the context of an abductive characterization. A goal directed proof procedure is defined, which allows reasoning about complex actions and generating conditional plans.",
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli and Viviana Patti",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 7th Italian Conference on Theoretical Computer Science, ICTCS 2001 ; Conference date: 04-10-2001 Through 06-10-2001",
year = "2001",
doi = "10.1007/3-540-45446-2_26",
language = "English",
isbn = "9783540454465",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "405--426",
editor = "Antonio Restivo and Rocca, {Simona Ronchi Della} and Luca Roversi",
booktitle = "Theoretical Computer Science - 7th Italian Conference, ICTCS 2001, Proceedings",
address = "Germany",
}