Abduction to plausible causes: An event-based model of belief update

Artificial Intelligence

Volumn 83, Issue 1, 1996, Pages 143-166

  Boutilier, Craig ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

BELIEF UPDATE; CONDITIONAL EXPLANATIONS; EVENT BASED MODEL; KATSUNO AND MENDELZON (KM) THEORY;

COMPUTATIONAL LINGUISTICS;

EID: 0030146995     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(94)00097-2     Document Type: Article

References (27)

1. C. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
2. C. Boutilier, Unifying default reasoning and belief revision in a modal framework, Artif. Intell. 68 (1994) 33-85.
3. C. Boutilier, Conditional logics of normality: a modal approach, Artif. Intell. 68 (1994) 87-154.
4. C. Boutilier, Generalized update: Belief change in dynamic settings, Manuscript (1994); shortened version in: Proceedings UCAI-95, Montreal, Que. (1995) 1104-1111.
5. C. Boutilier and V. Becher, Abduction as belief revision, Artif. Intell. 77 (1995) 43-94.
6. C. Boutilier and R. Dearden, Using abstractions for decision-theoretic planning with time constraints, in: Proceedings AAAI-94, Seattle, WA (1994) 1016-1022.
7. T. Dean, L.P. Kaelbling, J. Kirman and A. Nicholson, Planning with deadlines in stochastic domains, in: Proceedings AAAI-93, Washington, DC (1993) 574-579.
8. A. del Val and Y. Shoham, Deriving properties of belief update from theories of action, in: Proceedings AAAI-92, San Jose, CA (1992) 584-589.
9. A. del Val and Y. Shoham, Deriving properties of belief update from theories of action II, in: Proceedings UCAI-93, Chambery (1993) 732-737.
10. R.E. Fikes and N.J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artif. Intell. 2 (1971) 189-208.
11. N. Friedman and J.Y. Halpern, A knowledge-based framework for belief change, part II: revision and update, in: Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany (1994) 190-201.
12. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, MA, 1988).
13. M. Goldszmidt and J. Pearl, Rank-based systems: a simple approach to belief revision, belief update, and reasoning about evidence and actions, in: Proceedings Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992) 661-672.
14. D. Harel, Dynamic logic, in: D. Gabbay and F. Guenthner, eds., Handbook of Philosophical Logic (Reidel, Dordrecht, Netherlands, 1984) 497-604.
15. H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge database and revising it, Tech. Rept. KRR-TR-90-6, University of Toronto, Toronto, Ont. (1990).
16. H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge database and revising it. in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1991) 387-394.
17. H. Katsuno and A.O. Mendelzon, Propositional knowledge base revision and minimal change, Artif. Intell. 52 (1991) 263-294.
18. N. Kushmerick, S. Hanks and D. Weld, An algorithm for probabilistic least-commitment planning, in: Proceedings AAAI-94, Seattle, WA (1994) 1073-1078.
19. D. Lehmann, What does a conditional knowledge base entail? in: Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont. (1989) 212-222.
20. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds. Machine Intelligence 4 (Edinburgh University Press, 1969) 463-502.
21. L. Morgenstern and L.A. Stein, Why things go wrong: A formal theory of causal reasoning, in: Proceedings Seventh National Conference on Artificial Intelligence, St. Paul, MN (1988) 518-523.
22. D. Poole, A logical framework for default reasoning, Artif. Intell. 36 (1988) 27-47.
23. R. Reiter, A theory of diagnosis from first principles, Artif. Intell. 32 (1987) 57-95.
24. R. Reiter, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, in: V. Lifschitz, ed., Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy) (Academic Press, San Diego, CA, 1991) 359-380.
25. R. Reiter, On specifying database updates, Tech. Rept. KRR-TR-92-3, University of Toronto, Toronto, Ont. (1992).
26. M. Shanahan, Explanation in the situation calculus, in: Proceedings IJCAI-93, Chambery (1993) 160-165.
27. M. Winslett, Reasoning about action using a possible models approach, in: Proceedings AAAI-88, St. Paul, MN (1988) 89-93.