Reasoning about action and change: A dynamic logic approach

Journal of Logic, Language and Information

Volumn 5, Issue 2, 1996, Pages 209-245

  Prendinger, Helmut ^a   Schurz, Gerhard ^b  

^a International Forschungszentrum   (Austria)

^b Abteilung Logik und Wissenschaftstheorie   (Austria)

Author keywords

Frame problem; Multiagent domains; Planning; Propositional dynamic logic; Scoped non monotonic reasoning; Temporal properties; The 'any' action; Yale Shooting Problem

Indexed keywords

EID: 1642587405     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: None     Document Type: Article

References (44)

1. Baker, A.B., 1991, "Nonmonotonic reasoning in the framework of situation calculus," Artificial Intelligence 49, 5-23.
2. Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press.
3. Etherington, D.W., Kraus, S. and Perlis, D., 1991, "Nonmonotonicity and the scope of reasoning," Artificial Intelligence 52, 221-261.
4. Fine, K. and Schurz, G., 1996, "Transfer theorems for stratified multimodal logics," pp. 169-213 in Logic and Reality. Essays in Pure and Applied Logic. In Memory of Arthur Prior, J. Copeland, ed., Oxford: Oxford University Press.
5. Fischer, M.J. and Ladner, R.E., 1979, "Propositional dynamic logic of regular programs," Journal of Computer and System Sciences 18, 194-211.
6. Gargov, G. and Passy, S., 1990, "A note on boolean modal logic," pp. 299-309 in Proceedings of the Summer School and Conference on Mathematical Logic, P.P. Petkov, ed., Plenum Press, New York and London.
7. Gargov, G., Passy, S. and Tinchev, T., 1987, "Modal environment for boolean speculations," pp. 253-263 in Proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, 1986, D.G. Skordev, ed., Plenum Press, New York and London.
8. Georgeff, M.P., 1987a, "Many agents are better than one," pp. 59-79 in Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence, F.M. Brown, ed., Lawrence, KS: Morgan Kaufmann Publishers, Inc.
9. Georgeff, M.P., 1987b, "Planning," Annual Review of Computer Science 2, 359-400.
10. Ginsberg, M.L., 1991, "Computational considerations in reasoning about action," pp. 250-261 in Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, J. Allen, R. Fikes and E. Sandevall, eds., Cambridge, MA: Morgan Kaufmann Publishers.
11. Ginsberg, M.L. and Smith, D.E., 1988a, "Reasoning about actions I: A possible worlds approach," Artificial Intelligence 35, 165-195.
12. Ginsberg, M.L. and Smith, D.E., 1988b, "Reasoning about actions II: The qualification problem," Artificial Intelligence 35, 311-342.
13. Goldblatt, R., 1987, Logics of Time and Computation, Center for the Study of Language and Information Lecture Notes 7, Leland Stanford Junior University, Stanford.
14. Goranko, V. and Passy, V., 1992, "Using the universal modality: Gains and questions," Journal of Logic and Computation 2(1), 5-30.
15. Hanks, St. and McDermott, D., 1987, "Nonmonotonic logic and temporal projection," Artificial Intelligence 33, 379-412.
16. Harel, D., 1984, "Dynamic logic," pp. 497-604 in Handbook of Philosophical Logic. II: Extensions of Classical Logic, D. Gabbay and F. Guenthner, eds., Boston, MA: Reidel.
17. Harel, D., 1987, Algorithmics. The Spirit of Computing, Wokingham, England and Reading, MA: Addison-Wesley Publishing Company.
18. Harel, D., Kozen, D. and Parikh, R., 1982, "Process logic: Expressiveness, decidability, completeness," Journal of Computer and System Sciences 25, 144-170.
19. Hughes, G.E. and Cresswell, M.J., 1984, A Comparison to Modal Logic, London, New York: Methuen & Methuen.
20. Katsuno, H. and Mendelzon, A.O., 1991, "Propositional knowledge base revision and minimal change," Artificial Intelligence 52, 263-294.
21. Kautz, H.A., 1982, "A first-order dynamic logic for planning," Technical report, Computer Systems Research Group (CSRG), University of Toronto.
22. Lifschitz, V., 1987, "Formal theories of action," pp. 410-432 in Readings in Nonmonotonic Reasoning, M.L. Ginsberg, ed., Los Altos, CA: Morgan Kaufmann Publishers.
23. Makinson, D., 1993, "Five faces of minimality," Studia Logica 52, 339-379.
24. Manna, Z., Paltrinieri, M. and Waldinger, R., 1993, "Temporal planning," pp. 37-41 in Workshop on Reasoning about Action and Change at IJCAI-93, Chambéry, France.
25. Manna, Z. and Waldinger, R., 1980, "A deductive approach to program synthesis," pp. 141-172 in Readings in Artificial Intelligence, B.L. Webber and N.J. Nilsson, eds., Los Altos, CA: Morgan Kaufmann Publishers, 1981. Originally published in 1980.
26. McCarthy, J. and Hayes, P.J., 19, "Some philosophical problems from the standpoint of artificial intelligence," pp. 431-450 in Readings in Artificial Intelligence, B.L. Webber and N.J. Nilsson, eds., Los Altos, CA: Morgan Kaufmann Publishers, 1981. Originally published in 1969.
27. Miller, B. and Shanahan, M., 1994, 'Narratives in the situation calculus," Journal of Logic and Computation 4(5), 513-530.
28. Moore, R.C., 1985, "A formal theory of knowledge and action," pp. 317-358 in Formal Theories of the Commonsense World, J.R. Hobbs and R.C. Moore, eds., Norwood, NJ: Ablex Publishing Corporation.
29. Morreau, M., 1992, "Planning from first principles," pp. 204-219 in Belief Revision, P. Gardenfors, ed., Cambridge: Cambridge University Press.
30. Passy, S. and Tinchev, T., 1991, "An essay in combinatory dynamic logic," Information and Computation 93, 263-332.
31. Pnueli, A., 1981, "The temporal semantics of concurrent programs," Theoretical Computer Science 13, 45-60.
32. Pratt, V.R., 1976, "Semantical considerations on Floyd-Hoare logic," pp. 109-121 in Proceedings of the 17th Annual IEEE Symposium on Foundations of Computer Science, 1976.
33. Pratt, V.R., 1978, "A practical decision method for propositional dynamic logic," pp. 326-337 in Proceedings 10th Annual Association for Computing Machinery (ACM) Symposium on Theory of Computing.
34. Pratt, V.R., 1980, "Applications of modal logic to programming," Studia Logica 39,257-274.
35. Reiter, R., 1980, "A logic for default reasoning," Artificial Intelligence 13, 81-132.
36. Reiter, R., 1991, "The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression," pp. 359-380 in Artificial Intelligence and Mathematical Theory of Computation. Papers in Honor of John McCarthy, V. Lifschitz, ed., Boston, New York: Academic Press.
37. Rosenschein, S.J., 1981, "Plan synthesis: A logical perspective," pp. 331-337 in Proceedings of the Seventh International Joint Conference of Artificial Intelligence, Vancouver.
38. Schubert, L., 1990, "Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions," in Knowledge Representation and Defeasible Reasoning, H.E. Kyburg, Jr., R.P. Loui and G.N. Carlson, eds., Dordrecht, Boston, London: Kluwer Academic Publishers.
39. Schurz, G., 1994, "Probabilistic justification of default reasoning," pp. 248-259 in KI-94, 18th German Annual Conference on Artificial Intelligence: Advances in Artificial Intelligence, B. Nebel and L. Dreschler-Ficher, eds., Springer-Verlag.
40. Segerberg, K., 1980, "Applying modal logic," Studia Logica 39, 275-295.
41. Segerberg, K., 1982, "A completeness theorem in the modal logic of programs," pp. 31-46 in Universal Algebra and Applications, T. Traczyk, ed., Warsaw: Banach Center Publications.
42. Shoham, Y., 1988, Reasoning about Change. Time and Causation from the Standpoint of Artificial Intelligence. Cambridge, MA and London, England: The MIT Press.
43. Stephan, W. and Biundo, S., 1993, "A new logical framework for deductive planning," pp. 32-38 in Proceedings of the Thirteenth Joint Conference on Artificial Intelligence ICJAI-93, Chambéry, France.
44. Waldinger, R., 1977, "Achieving several goals simultaneously," pp. 250-271 in Readings in Artificial Intelligence, B.L. Webber and N.J. Nilsson, eds., Los Altos, CA: Morgan Kaufmann, 1981. Originally published in 1977.