Modal tableaux for reasoning about actions and plans

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1348 LNAI, Issue , 1997, Pages 104-116

  Castilho, Marcos A ^a   Gasquet, Olivier ^a   Herzig, Andreas ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

DECISION PROCEDURE; FRAME PROBLEMS; PLANNING TASKS; PROOF PROCEDURES; PROPOSITIONAL DYNAMIC LOGIC; REASONING ABOUT ACTIONS; SOUND AND COMPLETE; STANDARD PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84898688608     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63912-8_79     Document Type: Conference Paper

References (27)

1. A.B. Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence (AI), 49(l-3):5-23, may 1991.
2. T. Bylander. The computational complexity of propositional STRIPS plan'ning. Artificial Intelligence (AI), 69(1-2):165-204, 1994.
3. L. Catach. Les logiques multi-modales. PhD thesis, Universit? Paris VI, France, 1989.
4. M.A. Castilho, O. Gasquet, and A. Herzig. Modal tableaux for reasoning about actions and plans. IRIT internal report, nov 1996.
5. G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Proc. 4th Congresss of the Italian Association for Artificial Intelligence (IA*AI'95), number 992 in LNAI, pages 103-114. Springer-Verlag, 1995.
6. L. Fariñas del Cerro and A. Herzig. Belief change and dependence. In Yoav Shoham, editor, Proc. 6th Conf. on Theoretical Aspects of Rationality and Knowledge (TARK'96), pages 147-162. Morgan Kaufmann Publishers, 1996.
7. E. Giunchiglia, G. N. Kartha, and V. Lifschitz. Actions with indirect effects (extended abstract). In Working notes of the AAAI-Spring Sysposium on Extending Theories of Actions, 1995.
8. M. Gelfond and V. Lifschitz. Representing action and change by logic pro'grams. Journal of Logic Programming, pages 301-321, 1993.
9. R.P. Gor?. Cut-free sequent and tableau systems for propositional normal modal logics. PhD thesis, University of Cambridge, England, 1992.
10. F. Giunchiglia and R Sebastiani. A SAT-based decision procedure for ACC. In Proc. Int. Conf. on Knowledge Representation and Reasoning (KR'96), pages 302-314, Cambridge, Massachussetts, 1996.
11. D. Harel. Dynamic logic. In D. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic, volume II, pages 497-604.
12. D. Reidel, Dordrecht, 1984. A. Herzig. How to change factual beliefs using laws and independence information. In Dov M. Gabbay and Rudolf Kruse, editors, Proc. Int. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR-97), LNCS. Springer-Verlag, jun 1997.
13. S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proc. Nat. (US) Conf. on Artificial Intelligence (AAAI'86), pages 328-333, Philadelphia, PA, 1986.
14. A. Heuerding, M. Seyfried, and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical propositional logics. In P. Migli-oli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Proceedings of the 5th International Workshop TABLE'AUX'96: Theorem Proving with Analytic Tableaux and Related Methods, number 1071 in LNAI, pages 210-225. Springer-Verlag, 1996.
15. G. N. Kartha and V. Lifschitz. Actions with indirect effects (preliminary report). In Proc. Int. Conf. on Knowledge Representation and Reasoning (KR'94), pages 341-350, 1994.
16. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1985-1991, Montreal, Canada, 1995.
17. F. Massacci. Personal communication, may 1997.
18. C. Mathieu. A resolution method for a non-monotonic multimodal logic. In S. Moral, editor, Proc. ECSQUARU'93, LNCS, pages 257-264. Springer-Verlag, 1993.
19. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1978-1984, 1995.
20. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intel'ligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy:359-380, 1991.
21. S. Rosenschein. Plan synthesis: a logical approach. In Proc. of the 8th International Joint Conference on Artificial Intelligence (IJCAI'81), pages 359-380, Academic Press, 1981.
22. E. Sandewall. Features and Fluents. Oxford University Press, 1995.
23. W. Stephan and S. Biundo. A new logical framework for deductive planning. In Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pages 32-38, 1993.
24. P. Siegel. Representation et utilisation de la connaissance en calcul propositionnel. PhD thesis, Universit? d'Aix-Marseille II, Aix-Marseille, France, Jul 1987.
25. M. Thielscher. The logic of dynamic systems. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1956-1962, Montreal, Canada, 1995.
26. M. Thielscher. Ramification and causality. Artificial Intelligence (AI), 89:317-364, 1997.
27. G. S. Tseitin. On the complexity of derivations in propositional calculus. In Siekmann Wrightson, editor, Automated Reasoning 2: Classical papers on computational logic, pages 466-483, 1983.