Formalizing action and change in modal logic. I: The frame problem

Journal of Logic and Computation

Volumn 9, Issue 5, 1999, Pages 701-735

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

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DECISION THEORY; KNOWLEDGE REPRESENTATION; MODAL ANALYSIS;

MODAL LOGIC;

FORMAL LOGIC;

EID: 0033344354     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.5.701     Document Type: Article

References (61)

1. A. B. Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49, 5-23, 1991.
2. C. Baral. Reasoning about actions: non-deterministic effects, constraints and qualification. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 2017-2023, Montreal, Canada, 1995.
3. C. Boutilier and N. Friedman. Nondeterministic actions and the frame problem. In Working notes of the AAAI-Spring Symposium on Extending Theories of Actions, 1995. Extended Abstract.
4. G. Brewka and J. Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3, 517-532, 1993.
5. D. Calvanese. Reasoning with inclusion axioms in description logics: Algorithms and complexity. In Proceedings of the European Conference on Articifial Intelligence (ECAI'96), pp. 303-307. John Wiley & Sons, Ltd., 1996.
6. M. A. Castilho, L. Fariñas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fundamenta Informaticae, 32, 281-297, 1997.
7. M. A. Castilho, O. Gasquet and A. Herzig. Modal tableaux for reasoning about actions and plans. In European Conference on Planning (ECP'97), S. Steel and R. Alami, eds. pp. 104-116. Number 1348 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997.
8. M. A. Castilho, O. Gasquet and A. Herzig. A dependence-based framework for actions with indeterminate and indirect effects. Technical Report 98-04-R, IRIT/UPS, 1998.
9. M. A. Castilho and A. Herzig. An alternative to the iteration operator of propositional dynamic logic. Technical Report 96-05-R, IRIT/UPS, 1996.
10. A. Cimatti, E. Giunchiglia, F Giunchiglia and P. Traverso. Planning via model checking: a decision procedure for AR. In European Conference on Planning (ECP'97), S. Steel and R. Alami, eds. pp. 130-142. Number 1348 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997.
11. M.-O. Cordier and P. Siegel. Prioritized transitions for updates. In Proceedings of the ECSQUARU'95, pp. 142-150. Number 946 in LNAI, Springer-Verlag, 1995.
12. G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proceedings of the National (US) Conference on Artificial Intelligence (AAAI'94), pp. 205-212. AAAI Press/The MIT Press, 1994.
13. G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Proceedings of the 4th Congresss of the Italian Association for Artificial Intelligence (IA *AI'95), pp. 103-114. Number 992 in LNAI, Springer-Verlag, 1995.
14. P. Doherty, W. Lukaszewicz and A. Szalas. Computing circumscription revisited: Preliminary report. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1502-1508, Montreal, Canada, 1995.
15. P. Doherty, W. Lukaszewicz, and A. Szalas. Explaining explanation closure. In Proceedings of the International Symposium on Methodologies for Intelligent Systems, Zakopane, Poland, 1996.
16. J. J. Finger. Exploiting constraints in design synthesis. PhD thesis, Stanford University, Stanford, CA, 1987.
17. M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18, 194-211, 1979.
18. M. Fitting. Proof methods for modal and intuitionistic logics. D. Reidel, Dordrecht, 1983.
19. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17, 301-321, 1993.
20. M. L. Ginsberg and D. E. Smith. Reasoning about actions II: The qualification problem. Artificial Intelligence, 35, 311-342, 1988.
21. E. Giunchiglia. Determining ramifications in the situation calculus. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR'96), pp. 76-86, Cambridge, MA, 1996.
22. E. Giunchiglia, G. N. Kartha and V. Lifschitz. Representing action: indeterminacy and ramifications. Artificial Intelligence, 95, 409-438, 1997.
23. F. Giunchiglia and R Sebastiani. A SAT-based decision procedure for ALC. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR'96), pp. 302-314, Cambridge, MA, 1996.
24. R. P. Goré. Cut-free sequent and tableau systems for propositional normal modal logics. PhD thesis, University of Cambridge, England, 1992.
25. J. Gustafsson and P. Doherty. Embracing occlusion in specifying the indirect effects of actions. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR'96), pp. 87-98, Cambridge, MA, 1996.
26. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
27. S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proceedings of the National (US) Conference on Artificial Intelligence (AAAI'86), pp. 328-333, Philadelphia, PA, 1986.
28. D. Harel. Dynamic logic. In Handbook of Philosophical Logic, volume II, D. Gabbay and F. Günthner, eds, pp. 497-604. D. Reidel, Dordrecht, 1984.
29. L. Henkin. The completeness of the first-order functional calculus. Journal of Symbolic Logic, 14, 159-166, 1949.
30. A. Heuerding, M. Seyfried and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical propositional logics. In Proceedings of the 5th International Workshop TABLEAUX'96: Theorem Proving with Analytic Tableaux and Related Methods, P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, eds. pp. 210-225. Number 1071 in LNAI, Springer-Verlag, 1996.
31. G. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen & Co, 1984.
32. G. N. Kartha. Soundness and completeness theorems for three formalizations of action. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 860-871, Chambéry, France, 1993.
33. G. N. Kartha and V. Lifschitz. Actions with indirect effects (preliminary report). In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR '94), pp. 341-350, 1994.
34. G. N. Kartha and V. Lifschitz. A simple formalizations of actions using circumscription. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1970-1975, Montreal, Canada, 1995.
35. H. Levesque, R. Reiter, Y. Lespérance, F. Lin and R. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 19, 20, 1-679, 1997. Special issue on reasoning about action and change.
36. P. Liberatore. The complexity of the language A. Electronic Transactions in Artificial Intelligence, 1, 13-38, 1997.
37. V. Lifschitz. Formal theories of action. In Proceedings of the 1987 Workshop on the Frame Problem, pp. 35-57, 1987.
38. V. Lifschitz. Frames in the space of situations. Artificial Intelligence, 46, 365-376, 1990.
39. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1985-1991, Montreal, Canada, 1995.
40. F. Lin. Embracing causality in specifying the indeterminate effects of actions. In Proceedings of the National (US) Conference on Artificial Intelligence (AAAI'96), 1996.
41. F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, 4, 655-678, 1994.
42. W. Łukaszewicz and E. Madalińska-Bugaj. Reasoning about action and change using Dijkstra's semantics for programming languages: preliminary report. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1950-1955, Montreal, Canada, 1995.
43. F. Massacci. Strongly analytic tableaux for normal modal logics. In Proceedings of the International Conference on Automated Deduction (CADE '94), Alan Bundy, ed. pp. 723-737. Number 814 in LNAI, Springer-Verlag, 1994.
44. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1978-1984, 1995.
45. N. McCain and H. Turner. Causal theories of action and change. In Proceedings of the National (US) Conference on Artificial Intelligence (AAAI'97), pp. 460-465, 1997.
46. J. McCarthy. Epistemological problems of artificial intelligence. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI'77), pp. 1038-1044, 1977.
47. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, B. Meltzer and D. Michie, eds. pp. 463-502. Edinburgh University Press, 1969.
48. S. Passy and T. Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93, 263-332, 1991.
49. S. Popkorn. First Steps in Modal Logic. Cambridge University Press, 1994.
50. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy. pp. 359-380, 1991.
51. R. Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Version of January, 5, 1998.
52. S. Rosenschein. Plan synthesis: a logical approach. In Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI'81), pp. 359-380, Academic Press, 1981.
53. H. Sahlqvist. Completeness and correspondence in the first and second order semantics for modal logics. In Proceedings of the 3rd Scandinavian Logic Symposium 1973. S. Kanger, ed. North-Holland, 1973. Studies in Logic 82 (1975).
54. E. Sandewall. Features and Fluents: the Representation of Knowledge about Dynamical Systems, volume 1. Oxford University Press, 1994.
55. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI'91), pp. 466-471, Sydney, Australia, 1991.
56. C. Schwind. A logic based framework for action theories. In Logic, Language and Computation, J. Ginzburg, Z. Khasidashvili, C Vogel, J.-J. Lévy and E. Vallduv, eds. pp. 275-291. CSLI publications, Stanford, 1997.
57. K. Segerberg. Getting started: Beginnings in the logic of action. Studia Logica, 51, 347-378, 1992.
58. M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. The MIT Press, Cambridge, MA, 1997.
59. W. Stephan and S. Biundo. A new logical framework for deductive planning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pp. 32-38, 1993.
60. M. Thielscher. Computing ramifications by postprocessing. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1994-2000, Montreal, Canada, 1995.
61. M. Thielscher. Ramification and causality. Artificial Intelligence, 89, 317-364, 1997.