Conditional logic of actions and causation

Artificial Intelligence

Volumn 157, Issue 1-2, 2004, Pages 239-279

  Giordano, Laura ^a   Schwind, Camilla ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b CNR   (France)

Author keywords

Action logics; Conditional logics; Reasoning about causality

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MODAL ANALYSIS; SET THEORY; THEOREM PROVING;

ACTION LOGICS; CONDITIONAL LOGICS; DYNAMIC LOGIC; REASONING ABOUT CAUSALITY;

LOGIC PROGRAMMING;

EID: 2942693734     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2004.04.009     Document Type: Article

References (42)

1. Bennet J. Event causation: The counterfactual analysis. Sosa E., Tooley M. Causation. Oxford Readings in Philosophy. 1993;217-233 Oxford University Press, Oxford.
2. Brewka G., Hertzberg J. How to do things with worlds: on formalizing actions and plans. J. Logic Comput. 3:(5):1993;517-532.
3. Delgrande J.P. On first-order conditional logics. Artificial Intelligence. 105:(1-2):1998;105-137.
4. Foo N., Zhang D., Zhang Y., Chopra S., Vo B. Encoding solutions of the frame problem in dynamic logic. Eiter T., Faber W., Truszczynski M. Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Artif. Intell. vol. 2173:2001;240-253 Springer, Berlin.
5. Foo N., Zhang D. Dealing with the ramification Problem in extended Propositional Dynamic logic. Wolter F., Wansing H., de Rijke M., Zakharyaschev M. Advances in Modal Logic: vol. 3. 2002;173-191 World Scientific, Singapore.
6. Galles D., Pearl J. An axiomatic characterization of causal counterfactuals. Found. Sci. 3:(1):1998;151-182.
7. Geffner H. Default Reasoning: Causal and Conditional Theories. 1992;MIT Press, Cambridge, MA.
8. Giordano L., Gliozzi V., Olivetti N., Schwind C. Tableaux calculi for preference-based conditional logics. Mayer M.C., Pirri F. Theorem Proving with Analytic Tableaux and Related Methods. Lecture Notes in Artif. Intell. vol. 2796:2003;81-101 Springer, Berlin.
9. Giordano L., Martelli A., Schwind C. Dealing with concurrent actions in modal action logic. Prade H. Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, UK. 1998;537-541 Wiley, New York.
10. Giordano L., Martelli A., Schwind C. Ramification and causality in a modal action logic. J. Logic Comput. 10:(5):2000;625-662.
11. Giordano L., Martelli A., Schwind C. Reasoning about actions in dynamic linear time temporal logic. Logic J. Interest Group Pure Appl. Logics IGPL. 9:(2):2001;289-303.
12. Giordano L., Schwind C. Towards a conditional logic of action and causation. Logics in Artificial Intelligence, 8th European Conference JELIA'2002, Cosenza, Italy. Lecture Notes in Artif. Intell. vol. 2424:2002;382-394 Springer, Berlin.
13. Giunchiglia E., Lifschitz V. Dependent fluents. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Quebec. 1995;1964-1969 Morgan Kaufmann, San Mateo,CA.
14. Giunchiglia E., Lee J., Lifschitz V., McCain N., Turner H. Nonmonotonic causal theories. Artificial Intelligence. 153:(1-2):2004;49-104.
15. Grahne G. Updates and counterfactuals. J. Logic Comput. 8:(1):1998;87-117.
16. Halpern J., Pearl J. Causes and explanations: A structural model approach, part i. Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA. 2001;27-34 Morgan Kaufmann, San Mateo, CA.
17. Herzig Marcos A., Gasquet O. J. Logic Comput. 9:(5):1999;701-735.
18. Jackson F. A causal theory of counterfactuals. Australian J. Philos. 55:(1):1977;3-21.
19. Lewis D. Causation. J. Philos. 70:1973;556-567.
20. Lewis D. Counterfactuals. 1973;Blackwell, Oxford.
21. Lewis D. Counterfactuals and Comparative Possibility. Harper W.L., Stalnaker R., Pearce G. Ifs. 1981;Reidel, Dordrecht.
22. Lifschitz V. Actions in the frame of situations. Artificial Intelligence. 8:1990;183-212.
23. Lin F. Embracing causality in specifying the indirect effects of actions. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Quebec. 1995;1985-1991 Morgan Kaufmann, San Mateo, CA.
24. Lin F. Embracing causality in specifying the indeterminate effects of actions. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), Portland, OR. 1996;1985-1991 AAAI Press / The MIT Press.
25. Makinson D. Five faces of minimality. Studia Logica. 52:1993;339-379.
26. McCain N., Turner H. A causal theory of ramifications and qualifications. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Quebec. 1995;1978-1984 Morgan Kaufmann, San Mateo, CA.
27. McCain N., Turner H. Causal theories of action and change. Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97), Providence, RI. 1997;460-465 AAAI Press / The MIT Press.
28. Nute D. Topics in Conditional Logic. 1980;Reidel, Dordrecht.
29. Pearl J. Reasoning with cause and effect. Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-99), Stockholm, Sweden. 1999;1437-1449 Morgan Kaufmann, San Mateo, CA.
30. Pearl J. Causality: Model, Reasoning and Inference. 2000;Cambridge University Press, San Mateo, CA.
31. Pinto J. Causality in theories of action. Miller R., Shanahan M. Fourth Symposium on Logical Formalizations of Commonsense Reasoning. 1998.
32. J. Pinto, Concurrency and action interaction, Technical Report, 2000.
33. Pinto J.A. Concurrent actions and interacting effects. Cohn A.G., Schubert L., Shapiro S.C. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;292-303 Morgan Kaufmann, San Mateo, CA.
34. Reiter R. Knowledge in Action. 2001;MIT Press, Cambridge, MA.
35. Schwind C. Causality in action theories. Electronic Articles Comput. Inform. Sci. 3:(A):1999;27-50.
36. Segerberg K. Notes on conditional logic. Studia Logica. 48:1989;157-168.
37. Shoenfield J.R. Mathematical logic. 1967;Addison-Wesley, Reading, MA.
38. Sosa E., Tooley M. Causation. Oxford Readings in Philosophy. 1993;Oxford University Press, Oxford.
39. Thielscher M. Ramification and causality. Artificial Intelligence. 89:(1-2):1997;317-364.
40. Turner H. Representing actions in logic programs and default theories: A situation calculus approach. J. Logic Programming. 31:1997;245-298.
41. Turner H. A logic of universal causation. Artificial Intelligence. 113:1999;87-123.
42. Zhang D., Foo N. EPDL: A logic for causal reasoning. Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, WA. 2001;131-136 Morgan Kaufmann, San Mateo, CA.