Modal tableaux for reasoning about actions and plans
Castilho, Marcos and Gasquet, Olivier and Herzig, Andreas
Abstract:
In this paper we investigate tableau proof procedures for reasoning
about actions and plans.
Our framework is a multimodal language close to that of
propositional dynamic logic, wherein we solve the frame problem by
introducing the notion of a dependence relation.
Dependence is a weak causal connection between actions and atoms.
Our tableaux are sound and complete for an important fragment of
our language, within which all standard problems of reasoning about
actions can be expressed, in particular planning tasks.
Moreover, our tableaux are analytic and provide thus a decision procedure.
Bibtex-entry:
@InProceedings{CaGaHe-ECP97,
author = "Castilho, Marcos A. and Gasquet, Olivier and Herzig, Andreas",
title = "Modal tableaux for reasoning about actions and plans",
booktitle = "European Conference on Planning (ECP'97)",
editor = "Steel, Sam and Alami, Rachid ",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer Verlag",
number = "1348",
pages = "104--116",
address = "Toulouse, France",
year = "1997"
}
https://www.irit.fr/~Marcos.Castilho