Logic of universal causation

Artificial Intelligence

Volumn 113, Issue 1, 1999, Pages 87-123

  Turner, Hudson ^a  

^a UNIVERSITY OF MINNESOTA DULUTH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LINGUISTICS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

CAUSAL LOGIC; NONMONOTONIC LOGIC; REASONING ABOUT ACTIONS; UNIVERSAL CAUSATION;

ARTIFICIAL INTELLIGENCE;

EID: 0033190001     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00058-2     Document Type: Article

References (53)

1. A. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23.
2. C. Baral, Reasoning about actions: Nondeterministic effects, constraints, and qualifications, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 2017-2023.
3. C. Baral, M. Gelfond, Representing concurrent actions in extended logic programming, in: Proc. IJCAI-93, Chambery, France, 1993, pp. 866-871.
4. G. Brewka, J. Hertzberg, How to do things with worlds: On formalizing actions and plans, J. Logic Comput. 3 (5) (1993) 517-532.
5. M. Castillo, O. Gasquet, A. Herzig, Formalizing action and change in modal logic I: The frame problem, J. Logic Comput. (1999) to appear.
6. J. Chen, Minimal knowledge + negation as failure = only knowing (sometimes), in: L.M. Pereira, A. Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning: Proc. Second International Workshop, 1993, pp. 132-150.
7. P. Cholewiński, W. Marek, A. Mikitiuk, M. Truszczyński, Computing with default logic, Artificial Intelligence 112 (1999) 105-146.
8. K. Clark, Negation as failure, in: H. Gallaire, J. Minker (Eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 293-322.
9. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, F. Scarcello, The KR system DLV: Progress report, comparisons and benchmarks, in: Proc. Sixth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, 1998, pp. 406-417.
10. C. Elkan, Reasoning about action in first-order logic, in: Proc. 1992 Canadian Conference on Artificial Intelligence, Vancouver, BC, 1992.
11. H. Geffner, Default Reasoning: Causal and Conditional Theories, Ph.D. Thesis, UCLA, Department of Computer Science, 1989.
12. H. Geffner, Causal theories of nonmonotonic reasoning, in: Proc. AAAI-90, Boston, MA, 1990, pp. 524-530.
13. H. Geffner, Reasoning with Defaults: Causal and Conditional Theories, MIT Press, Cambridge, MA, 1992.
14. M. Gelfond, V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.
15. M. Gelfond, V. Lifschitz, Representing action and change by logic programs, J. Logic Programming 17 (1993) 301-322.
16. M. Gelfond, V. Lifschitz, Action languages, Electronic Transactions on AI 3 (1998). Available at http://www.ep.liu.se/ea/cis/1998/016/.
17. M. Gelfond, V. Lifschitz, H. Przymusińska, M. Truszczyński, Disjunctive defaults, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proc. Second Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, 1991, pp. 230-237.
18. L. Giordano, A. Martelli, C. Schwind, Dealing with concurrent actions in modal action logic, in: Proc. 13th European Conference on Artificial Intelligence, Brighton, UK, 1998, pp. 537-541.
19. E. Giunchiglia, V. Lifschitz, An action language based on causal explanation: Preliminary report, in: Proc. AAAI-98, Madison, WI, 1998, pp. 623-630.
20. E. Giunchiglia, V. Lifschitz, An action language based on causal logic, in: Working Notes 4th Symposium on Logical Formalizations of Commonsense Reasoning, 1998.
21. P. Grünwald, Causation and nonmonotonic temporal reasoning, in: G. Brewka, C. Habel, W. Nebel (Eds.), KI-97: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence, Vol. 1303, Springer, Berlin, 1997, pp. 159-170.
22. J. Gustaffson, P. Doherty, Embracing occlusion in specifying the indirect effects of actions, in: Proc. Fifth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA,1996.
23. S. Hanks, D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence 33 (3) (1987) 379-412.
24. G.E. Hughes, M.J. Cresswell, An Introduction to Modal Logic, Methuen and Co, London, 1968.
25. G.N. Kartha, V Lifschitz, Actions with indirect effects (preliminary report), in: Proc. Fourth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany, 1994, pp. 341-350.
26. H. Kautz, B. Selman, Planning as satisfiability, in: J. Lloyd (Ed.), Proc. 10th European Conference on Artificial Intelligence (ECAI-92), Vienna, Austria, 1992, pp. 359-379.
27. H. Kautz, B. Selman, Pushing the envelope: Planning, propositional logic, and stochastic search, in: Proc. AAAI-96, Portland, OR, 1996, pp. 1194-1201.
28. K. Konolige, On the relation between default and autoepistemic logic, Artificial Intelligence 35 (1988) 343-382.
29. V. Lifschitz, Circumscription, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), The Handbook of Logic in AI and Logic Programming, Vol. 3, Oxford University Press, Oxford, 1993, pp. 298-352.
30. V. Lifschitz, On the logic of causal explanation, Artificial Intelligence 96 (1997) 451-465.
31. V. Lifschitz, Situation calculus and causal logic, in: Proc. Sixth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, 1998, pp. 536-546.
32. V. Lifschitz, G. Schwarz, Extended logic programs as autoepistemic theories, in: L.M. Pereira, A. Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning: Proc. Second Internat. Workshop, 1993, pp. 101-114.
33. F. Lin, Embracing causality in specifying the indirect effects of actions, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 1985-1991.
34. F. Lin, Nondeterminism in causal theories of action, in: Proc. AAAI-96, Portland, OR, 1996, pp. 670-676.
35. F. Lin, R. Reiter, State constraints revisited, J. Logic Comput. 4 (5) (1994) 655-678. (Special Issue on Actions and Processes.)
36. F. Lin, Y. Shoham, A logic of knowledge and justified assumption, Artificial Intelligence 57 (2-3) (1992) 271-290.
37. W. Marek, M. Truszczyński, Reflexive autoepistemic logic and logic programming, in: L.M. Pereira, A. Nerode (Eds.), Logic Programming and Non-monotonic Reasoning: Proc. Second International Workshop, 1993, pp. 115-131.
38. N. McCain, H. Turner, A causal theory of ramifications and qualifications, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 1978-1984.
39. N. McCain, H. Turner, Causal theories of action and change, in: Proc. AAAI-97, Providence, RI, 1997, pp. 460-465.
40. N. McCain, H. Turner, Satisfiability planning with causal theories, in: Proc. Sixth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy, 1998, pp. 212-223.
41. J. McCarthy, Formalizing Common Sense: Papers by John Mccarthy, Ablex, Norwood, NJ, 1990.
42. J. McCarthy, P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer, D. Michie (Eds.), Machine Intelligence, Vol. 4, Edinburgh University Press, Edinburgh, 1969, pp. 463-502. Reproduced in [41].
43. R. Moore, Semantical considerations on nonmonotonic logic, Artificial Intelligence 25 (1) (1985) 75-94.
44. I. Niemelä, P. Simons, Efficient implementation of the well-founded and stable model semantics, in: Proc. Joint Internat. Conference and Symposium on Logic Programming, 1996, pp. 289-303.
45. J. Pearl, Embracing causality in default reasoning, Artificial Intelligence 35 (1988) 259-271.
46. T. Przymusinski, H. Turner, Update by means of inference rules, J. Logic Programming 30 (2) (1997) 125-143.
47. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1,2) (1980) 81-132.
48. E. Sandewall, Assessments of ramification methods that use static domain constraints, in: Proc. Fifth Internat. Conference on Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA, 1996.
49. M. Thielscher, Computing ramifications by postprocessing, in: Proc. IJCAI-95, Montreal, Quebec, 1995, pp. 1994-2000.
50. M. Thielscher, Ramification and causality, Artificial Intelligence 89 (1-2) (1997) 317-364.
51. H. Turner, Representing actions in logic programs and default theories: A situation calculus approach, J. Logic Programming 31 (1-3) (1997) 245-298.
52. R. Watson, A practical application of action theory to the space shuttle, in: Proc. Practical Aspects of Declarative Languages, 1999, to appear.
53. M. Winslett, Reasoning about action using a possible models approach, in: Proc. AAAI-88, St. Paul, MN, 1988, pp. 89-93.