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 dependence as a weak causal connection between actions and atoms. The tableau procedure is 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.
CITATION STYLE
Castilho, M. A., Gasquet, O., & Herzig, A. (1997). Modal tableaux for reasoning about actions and plans. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1348 LNAI, pp. 104–116). Springer Verlag. https://doi.org/10.1007/3-540-63912-8_79
Mendeley helps you to discover research relevant for your work.