Explanatory update theory: applications of counterfactual reasoning to causation

Artificial Intelligence

Volumn 108, Issue 1, 1999, Pages 125-178

  Ortiz Jr , Charles L ^a,b  

^a HARVARD UNIVERSITY   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

CAUSATION; COUNTERFACTUAL REASONING; EXPLANATORY UPDATE THEORY; SEMANTICS;

PROBLEM SOLVING;

EID: 0033620275     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00004-1     Document Type: Article

References (97)

1. [1] C.E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
2. [2] A.B. Baker, Nonmonotonic reasoning in the framework of the situation calculus, Artificial Intelligence 49 (1991) 5-23.
3. [3] C. Baral, M. Gelfond, A. Provetti, Representing actions: Laws, observations and hypotheses, J. Logic Programming 12 (1993) 1-199.
4. [4] J. Bennett, Killing and letting die, in: S.M. McMurrin (Ed.), The Tanner Lectures on Human Values, Vol. II, University of Utah Press, 1981, pp. 47-72.
5. [5] J. Bennett, Events and their Names, Hackett Publishing Company, 1988.
6. [6] C. Boutilier, Iterated revision and minimal change of conditional beliefs, J. Philos. Logic 25 (3) (1996) 262-305.
7. [7] H.-N. Castaneda, Intensionality and identity in human action and philosophical method, Noûs 13 (1979) 235-259.
8. [8] B.F. Chellas, Modal Logic: An Introduction, Cambridge Univ. Press, Cambridge, UK, 1980.
9. [9] P. Cohen, H. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990) 213-261.
10. [10] M. Dalal, Investigations into a theory of knowledge base revision: Preliminary report, in: Proceedings AAAI-88, St. Paul, MN, 1988.
11. [11] D. Davidson, Actions and Events, Clarendon Press, Oxford, 1989.
12. [12] D. Davidson, The individuation of events, in: D. Davidson, Actions and Events, Clarendon Press, Oxford, 1989, pp. 162-180. Originally published in: N. Rescher (Ed.), Essays in Honor of C.G. Hempel, Reidel, Dordrecht, 1969.
13. [13] D. Davidson, The logical form of action sentences, in: D. Davidson, Actions and Events, Clarendon Press, Oxford, 1989, pp. 105-148. Originally published in: N. Rescher (Ed.), The Logic of Decision and Action, University of Pittsburgh Press, 1967.
14. [14] A. del Val, Computing knowledge base updates, in: Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 740-750.
15. [15] A. del Val, Y. Shoham, Deriving properties of belief update from theories of action, J. Logic, Language, and Information 3 (1994) 81-119.
16. [16] J. Doyle, A truth maintenance system, Artificial Intelligence 12 (1979) 231-272.
17. [17] C. Elkan, Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic, in: Proceedings AAAI-96, Portland, OR, 1996.
18. [18] R.E. Fikes, N.J. Nilsson, STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (3-4) (1971) 189-208.
19. [19] K. Fine, Review of Lewis' Counterfactuals, Mind 84 (1975) 451-458.
20. [20] K.D. Forbus, Building Problem Solvers, MIT Press, Cambodge, MA, 1993.
21. [21] K.M. Ford, P.J. Hayes (Eds.), Reasing Agents in a Dynamic World: The Frame Problem, JAI Press, 1991.
22. [22] D. Galles, J. Pearl, An axiomatic characterization of causal counterfactuals, Manuscript.
23. [23] L.T.F. Gamut, Logic, Language, and Meaning, Vol. 2, Intensional Logic and Logical Grammar, University of Chicago Press, Cambridge, MA, 1991.
24. [24] P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press, Cambridge, MA, 1988.
25. [25] P. Gärdenfors (Ed.), Belief Revision, Cambridge Univ. Press, Cambridge, 1992.
26. [26] M. Gelfond, V Lifschitz, Representing action and change by logic programs, J. Logic Programming 17 (1993) 301-323.
27. [27] M.L. Ginsberg, D.E. Smith, Reasoning about action I: A possible worlds approach, Artificial Intelligence 35 (1988) 165-195.
28. [28] M.L. Ginsberg, Counterfactuals, Artificial Intelligence 30 (1986) 35-79.
29. [29] M.L. Ginsberg, User's guide to the MVL system, Technical Report 84-17, Stanford University, 1986.
30. [30] M.L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Comput. Intelligence 4 (1988) 265-316.
31. [31] E. Giunchiglia, G.N. Kartha, V. Lifschitz, Representing action: Indeterminacy and ramifications, Artificial Intelligence 95 (1997) 409-438.
32. [32] A. Goldman, A Theory of Human Action, Princeton Univ. Press, Princeton, NJ, 1970.
33. [33] A. Goldman, Action, causation, and unity, Noûs 13 (1979) 261-270. This is a reply to Castaneda's paper in the same issue.
34. [34] G. Grahne, Updates and counterfactuals, in: Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 269-276.
35. [35] J.Y. Halpern, Y. Moses, A guide to the modal logics of knowledge and belief: A preliminary report, Technical Report, IBM Research Laboratory, 1985.
36. [36] S. Hanks, D. McDermott, Default reasoning, nonmonotonic logics, and the frame problem, in: Proceedings AAAI-86, Philadelphia, PA, 1986, pp. 328-333.
37. [37] S.O. Hansson, A dyadic representation of belief, in: P. Gärdenfors (Ed.), Relief Revision, Cambridge Univ. Press, Cambridge, UK, 1992, pp. 89-121.
38. [38] H.L.A. Hart, T. Honoré, Causation in the Law, 2nd edn., Clarendon Press, Oxford, MA, 1985.
39. [39] P.J. Hayes, Short time periods, in: Proceedings IJCAI-87, Milan, Italy, 1987, pp. 981-983.
40. [40] A. Herzig, The PMA revisited, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning, 1996, pp. 40-50.
41. [41] P. Horwich, Asymmetries in Time: Problems in the Philosophy of Science, MIT Press, Cambridge, MA, 1987.
42. [42] S.D. Isard, What would you have done if ...?, Theoret. Linguist. 1 (1974) 233-255.
43. [43] D. Israel, J. Perry, S. Tutiya, Actions and movements, in: Proceedings IJCAI-91, Sydney, Australia, 1991, pp. 1060-1065.
44. [44] F. Jackson, A causal theory of counterfactuals, Australasian J. Philos. 55 (1) (1977) 3-21.
45. [45] H. Katsuno, A.O. Mendelzon, On the difference between updating a knowledge base and revising it, in: Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 387-394.
46. [46] H. Katsuno, A.O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence 52 (1991) 263-294.
47. [47] H. Katsuno, A. Mendelzon, On the Difference between Updating a Knowledge Base and Revising it, Cambridge Univ. Press, Cambridge, 1992, pp. 183-203. Long version with proofs.
48. [48] H.A. Kautz, The logic of persistence, in: Proceedings AAAI-86, Philadelphia, PA, 1986, pp. 401-405.
49. [49] J. Kim, Noncausal connections, Noûs 8 (1974) 41-52.
50. [50] A. Kratzer, Partition and revision: The semantics of counterfactuals, J. Philos. Logic 10 (1981) 201-216.
51. [51] A. Kratzer, An investigation of the lumps of thought, Linguistics and Philosophy 12 (1989) 607-653.
52. [52] S.A. Kripke, Naming and Necessity, Harvard Univ. Press, Cambridge, MA, 1980.
53. [53] D. Lewis, Counterfactuals, Harvard Univ. Press, Cambridge, MA, 1973.
54. [54] D. Lewis, Ordering semantics and premise semantics for counterfactuals, J. Philos. Logic 10 (1981) 217-234.
55. [55] D. Lewis, Causal explanation, in: Philosophical Papers, Oxford Univ. Press, Oxford, 1986, pp. 214-240.
56. [56] D. Lewis, Causation, in: Philosophical Papers, Oxford Univ. Press, Oxford, 1986, pp. 159-213.
57. [57] D. Lewis, Counterfactual dependence and time's arrow, in: Philosophical Papers, Oxford Univ. Press, Oxford, 1986, pp. 32-66.
58. [58] D. Lewis, Events, in: Philosophical Papers, Oxford Univ. Press, Oxford, 1986, pp. 241-269.
59. [59] D. Lewis, Philosophical Papers, Oxford Univ. Press, Oxford, 1986.
60. [60] V. Lifschitz, Formal theories of action, in: Readings in Nonmonotonic Reasoning, Morgan Kaufmann, San Mateo, CA, 1987, pp. 410-433.
61. [61] F. Lin, Y. Shoham, Provably correct theories of action, in: Proceedings AAAI-91, Anaheim, CA, 1991, pp. 349-354.
62. [62] N. McCain, H. Turner, Causal theories of action and change, in: Proceedings AAAI-97, Providence, RI, 1997, pp. 460-465.
63. [63] J. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie (Eds.), Machine Intelligence, Vol. 4, Edinburgh Univ. Press, 1969, pp. 463-502.
64. [64] J. McCarthy, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence 28 (1986) 89-116.
65. [65] D. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Sci. 6 (1982) 101-155.
66. [66] M. Moens, M. Steedman, Temporal ontology and temporal reference, Comput. Linguist. 14 (2) (1988) 15-28.
67. [67] L. Morgenstern, Knowledge and the frame problem, Internat. J. Expert Systems 3 (4) (1991).
68. [68] L. Morgenstern, The Problem with Solutions to the Frame Problem, Ablex, Norwood, NJ, 1996.
69. [69] K.L. Myers, D.E. Smith, The persistence of derived information, in: Proceedings AAAI-88, St. Paul, MN, 1988, pp. 496-500.
70. [70] B. Nebel, A knowledge level analysis of belief revision, in: Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont., 1989, pp. 301-311.
71. [71] B. Nebel, Syntax based approaches to belief revision, in: P. Gärdenfors (Ed.), Belief Revision, Cambridge Univ. Press, Cambridge, UK, 1992, pp. 52-88.
72. [72] C.L. Ortiz, The semantics of event prevention, in: Proceedings AAAI-93, Washington, DC, 1993, pp. 683-688.
73. [73] C.L. Ortiz, Causal pathways of rational action, in: Proceedings AAAI-94, Seattle, WA, 1994, pp. 1061-1066.
74. [74] C.L. Ortiz, Worlds of change: Counterfactual reasoning and causation, Ph.D. Thesis, University of Pennsylvania, Department of Computer and Information Science, 1996.
75. [75] C.L. Ortiz, A commonsense language for reasoning about causation and action, Artificial Intelligence, to appear.
76. [76] M. Pollack, Inferring domain plans in question-answering, Ph.D. Thesis, University of Pennsylvania, 1986.
77. [77] F.P. Ramsey, Philosophical Papers, F.P. Ramsey, Cambridge Univ. Press, Cambridge, UK, 1990. Papers edited by D.H. Mellor.
78. [78] E. Sandewall, Features and Fluents: The Representation of Knowledge about Dynamical Systems, Vol. 1, Oxford Univ. Press, Oxford, 1994.
79. [79] M. Shanahan, A circumscriptive calculus of events, Artificial Intelligence 77 (1995) 249-284.
80. [80] Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge, MA, 1988.
81. [81] E. Sosa, Causation and Conditionals, Oxford Univ. Press, Oxford, 1975.
82. [82] M.J. Steedman, Verbs, time, and modality, Cognitive Sci. 1 (1977) 216-234.
83. [83] M. Steedman, Dynamic semantics for tense and aspect, in: Proceedings IJCAI-95, Montreal, Quebec, 1995, pp. 1292-1300.
84. [84] M. Steedman, Temporality, North-Holland, Amsterdam, 1997, pp. 895-938.
85. [85] L.A. Stein, Resolving ambiguity in nonmonotonic reasoning, Ph.D. Thesis, Brown University, Providence, RI, 1991.
86. [86] L.A. Stein, L. Morgenstern, Motivated action theory: A formal theory of causal reasoning, Artificial Intelligence 71 (1994) 1-42.
87. [87] R.H. Thomason, A. Gupta, A Theory of Conditionals in the Context of Branching Time, Reidel, Dordrecht, 1980, pp. 299-322.
88. [88] J.J. Thomson, Acts and Other Events, Cornell Univ. Press, Ithaca, NY, 1977.
89. [89] R. Turner, Counterfactuals without possible worlds, J. Philos. Logic 10 (1981), 453-493.
90. [90] T. Yagisawa, Counterfactual analysis of causation and Kim's examples, Analysis 39 (2) (1979).
91. [91] J. van Benthem, Language in Action: Categories, Lamdas and Dynamic Logic, MIT Press, Cambridge, MA, 1995.
92. [92] J. van Eijck, A. Visser (Eds.), Logic and Information Flow, MIT Press, Cambridge, MA, 1994.
93. [93] F. Veltman, Logics for conditionals, Ph.D. Thesis, University of Amsterdam, 1985.
94. [94] G.H. von Wright, The logic of action - A sketch, University of Pittsburgh Press, 1967, pp. 121-146.
95. [95] M. White, A computational approach to aspectual composition, Ph.D. Thesis, University of Pennsylvania, 1994.
96. [96] M.A. Williams, Towards a practical approach to belief revision: Reason-based change, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning, 1996, pp. 412-420.
97. [97] M. Winslett, Reasoning about actions using a possible models approach, in: Proceedings AAAI-88, St. Paul, MN, 1988, pp. 89-93.