Ramification and causality in a modal action logic

Journal of Logic and Computation

Volumn 10, Issue 5, 2000, Pages 625-662

  Giordano, Laura ^a   Martelli, Alberto ^b   Schwind, Camilla ^c  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAMMING; ENCODING (SYMBOLS); FORMAL LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS;

DYNAMIC LOGIC; MODAL ACTION LOGIC; MODAL CAUSALITY OPERATOR;

FORMAL LOGIC;

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

References (40)

1. C. Baral and M. Gelfond. Representing concurrent actions in extended logic programs. In Proceedings IJCAI'93 , pp. 866-871, 1993.
2. C. Baral. Reasoning about actions: non-deterministic effects, constraints, and qualification. In Proceedings IJCAI'95 , pp. 2017-2023, 1995.
3. M. Baldoni, L. Giordano, A. Martelli and V. Patti. An abductive proof procedure for reasoning about actions in modal logic programming. In JICSLP'96 Workshop on Non-monotonic Extensions of Logic Programming, 1996.
4. A. Bondarenko, F. Toni and R. A. Kowalski. An assumption based framework for non-monotonic reasoning. in Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning, 1993.
5. G. Brewka and J. Hertzberg. How to do things with worlds: on formalizing action and plans. In Journal of Logic and Computation, 3, 517-532, 1993.
6. M. O. Cordier and P. Siegel. Prioritized transitions for updates. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty ECSQARU'95, LNAI 946, Springer Verlag, pp. 142-150, 1995.
7. G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In LNAI 992, pp. 103-114, 1995.
8. M. Denecker, L. Missiaen and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings ECAI-92 , pp. 384-388, Vienna, 1992.
9. M. Denecker and D. De Schreye. Representing incomplete knowledge in abductive logic programming. In Proceedings ILPS'93 , pp. 147-163, Vancouver, 1993.
10. D. Dubois, L. Fariñas, A. Herzig and H. Prade. An ordinal view of independence with application to plausible reasoning. In Proceedings of the International Conference on Uncertainty in Artificial Intelligence, 1994.
11. P. M. Dung. Representing actions in logic programming and its applications to database updates. In Proceedings ICLP'93 , pp. 222-238, Budapest, 1993.
12. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming. In Proceedings IJCAI93, pp. 852-857, 1993.
13. L. Fariñas and A. Herzig. Interference logic =conditional logic +frame axiom. International Journal of Intelligent System, 9, 119-130, 1994.
14. L. Fariñas and A. Herzig. Belief change and dependence. In Proceedings of the 6th Conference on Theoretical Aspects of Rationality and Knowledge, Y. Shoham, ed. pp. 147-162. Morgan Kaufmann Publishers, 1996.
15. P. Gärdenfors. On the logic of relevance. Synthese, 37, 351-367, 1978.
16. P. Gärdenfors. Belief revision and irrelevance. PSA, 2, 349-356, 1990.
17. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17, 301-321, 1993.
18. L. Giordano, A. Martelli and C. Schwind. Dealing with concurrent actions in modal action logic. In Proceedings of the 13th European Conference on Artificial Intelligence, ECAI'98, pp. 537-541, 1998.
19. E. Giunchiglia and V. Lifschitz. Dependent fluents. In Proceedings IJCAI'95, pp. 1964-1969, Montreal, Canada, Morgan Kaufmann, 1995.
20. E. Giunchiglia, G. C. Kartha and V. Lifschitz. Representing actions: indeterminacy and ramifications. Artificial Intelligence, 95, 409-438, 1997.
21. 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.
22. D. Harel. First order dynamic logic. In Extensions of Classical Logic, Handbook of Philosophical Logic II, pp. 497-604, 1984.
23. G.N. Kartha and V. Lifschitz. Actions with indirect effects (Preliminary Report). In Proceedings KR'94 , pp. 341-350, 1994.
24. V. Lifschitz. Frames in the space of situations. Artificial Intelligence Journal, 46, 365-376, 1990.
25. F. Lin and R. Reiter. State constraints revised. Journal of Logic and Computation, 4, 655-678, 1994.
26. F. Lin. Embracing causality in specifying the indirect effects of actions. In Proceedings IJCAI'95, pp. 1985-1991, 1995.
27. F. Lin. Embracing causality in specifying the indeterminate effects of actions. In Proceedings AAAI'96, pp. 670-676, 1996.
28. N. McCain and H. Turner. A Causal Theory of Ramifications and Qualifications. In Proceedings IJCAI'95, pp. 1978-1984, 1995.
29. N. McCain and H. Turner. Representing actions in logic programs and default theories. A situation calculus approach. Journal of Logic Programming, 31, 245-298, 1997.
30. N. McCain and H. Turner. Causal theories of action and change. In Proceedings AAAI'97, pp. 460-465, 1997.
31. L.T. McCarty. Modalities over actions, I. model theory. In Proceedings KR'94 , pp. 437-448, 1994.
32. K. Myers and D. Smith. The persistence of derived information. In Proceedings of the 8th National Conference on Artificial Intelligence, pp. 496-500, 1988.
33. R. Li and L.M. Pereira. Representing and reasoning about concurrent actions with abductive logic programs. Annals of Mathematics and AI, 21, 245-303, 1997.
34. H. Prendinger and G. Schurz, Reasoning about action and change: a dynamic logic approach. Journal of Logic, Language, and Information, 5, 209-245, 1996.
35. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13, 81-132, 1980.
36. R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed. pp. 359-380. Academic Press, 1991.
37. E. Sandewall. Features and Fluents, Oxford University Press, 1994.
38. C.B. Schwind. A logic based framework for action theories. In Language, Logic and Computation, J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Lévy and E. Vallduví eds. pp. 275-291. CSLI Publication, Stanford, USA.
39. M. Thielscher. Qualification and causality. Technical report ICSI TR-96-26. A shorter version in Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, MA, 1996, pp. 51-62.
40. M. Thielscher. Ramification and causality. Artificial Intelligence Journal, 89, 317-364, 1997.