A unified model of qualitative belief change: A dynamical systems perspective

Artificial Intelligence

Volumn 98, Issue 1-2, 1998, Pages 281-316

  Boutilier, Craig ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Belief revision; Belief update; Explanation; Knowledge representation; Reasoning about action

Indexed keywords

KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; STOCHASTIC CONTROL SYSTEMS;

BELIEF REVISION; BELIEF UPDATE;

KNOWLEDGE REPRESENTATION;

EID: 0031698943     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(97)00066-0     Document Type: Article

References (33)

1. E.W. Adams, The Logic of Conditionals (Reidel, Dordrecht, 1975).
2. 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.
3. K.J. Astrom, Optimal control of Markov decision processes with incomplete state estimation, J. Math. Anal. Appl. 10 (1965) 174-205.
4. C. Boutilier, Epistemic entrenchment in autoepistemic logic. Fund. Inform. 17 (1-2) (1992) 5-30.
5. C. Boutilier, Revision sequences and nested conditionals, in: Proceedings IJCAI-93, Chambery, France (1993) 519-525.
6. C. Boutilier, Unifying default reasoning and belief revision in a modal framework, Artificial Intelligence 68 (1994) 33-85.
7. C. Boutilier, On the revision of probabilistic belief states. Notre Dame J. Formal Logic 36 (1) (1995) 158-183.
8. C. Boutilier, Abduction to plausible causes: an event-based model of belief update. Artificial Intelligence 83 (1) (1996) 143-166.
9. C. Boutilier, Iterated revision and minimal revision of conditional beliefs, J. Philos. Logic 25 (3) (1996) 262-305.
10. P.E. Caines, Linear Stochastic Systems (Wiley, New York, 1988).
11. A. Darwiche and J. Pearl, On the logic of iterated belief revision, in: Proceedings 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA (1994) 5-23.
12. N. Friedman and J.Y. Halpern, A knowledge-based framework for belief change, Part 11: Revision and update, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn (1994) 190-201.
13. N. Friedman and J.Y. Halpern, Plausibility measures: a user's guide, in: Proceedings 11th Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec (1995) 175-184.
14. N. Friedman and J.Y. Halpern, A qualitative Markov assumption and its implications for belief change, in: Proceedings 12th Conference on Uncertainty in Artificial Intelligence, Portland, OR (1996) 263-273.
15. P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States (MIT Press, Cambridge, MA, 1988).
16. H. Geffner, A qualitative model for temporal reasoning with incomplete information, in: Proceedings AAAI-96, Portland, OR (1996) 1176-1181.
17. M. Goldszmidt and J. Pearl, On the consistency of defeasible databases, Artificial Intelligence 52 (1991) 121-149.
18. M. Goldszmidt and J. Pearl, Rank-based systems: a simple approach to belief revision, belief update and reasoning about evidence and actions, in: Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA (1992) 661-672.
19. M. Goldszmidt and J. Pearl, Reasoning with qualitative probabilities can be tractable, in: Proceedings 8th Conference on Uncertainty in AI, Stanford, CA (1992) 112-120.
20. A. Grove, Two modellings for theory change, J. Philos. Logic 17 (1988) 157-170.
21. H. Katsuno and A.O. Mendelzon, On the difference between updating a knowledge database and revising it, in: Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA (1991) 387-394.
22. H.A. Kautz, The logic of persistence, in: Proceedings AAAI-86, Philadelphia, PA (1986) 401-405.
23. I. Levi, Iteration of conditionals and the Ramsey test, Synthese 76 (1) (1988) 49-81.
24. W.S. Lovejoy, A survey of algorithmic methods for partially observed Markov decision processes, Ann. Oper. Res. 28 (1991) 47-66.
25. D.G. Luenberger, Introduction to Dynamic Systems: Theory, Models and Applications (Wiley, New York, 1979).
26. R.C. Moore, A formal theory of knowledge and action, in: J. Allen, J. Hendler and A. Tate, eds., Readings in Planning (Morgan Kaufmann, San Mateo, CA, 1985) 480-519.
27. H. Rott, Belief change using generalized epistemic entrenchment, J. Logic Language and Information 1 (1) (1992) 45-78.
28. R.B. Scherl and H.J. Levesque, The frame problem and knowledge-producing actions, in: Proceedings AAAI-93, Washington, DC (1993) 689-693.
29. K. Schlechta, D. Lehmann and M. Magidor, Distance semantics for belief revision, in: Proceedings 6th Conference on Theoretical Aspects of Rationality and Knowledge, Amsterdam (1996) 137-145.
30. R.D. Smallwood and E.J. Sondik, The optimal control of partially observable Markov processes over a finite horizon, Oper. Res. 21 (1973) 1071-1088.
31. W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, in: W.L. Harper and B. Skyrms, eds., Causation in Decision, Belief Change and Statistics, Vol. 2 (Reidel, Dordrecht, 1987) 105-134.
32. M.-A. Williams, Transmutations of knowledge systems, in: Proceedings 5th International Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn (1994) 619-629.
33. M. Winslett, Reasoning about action using a possible models approach, in: Proceedings AAAI-88, St. Paul, MN (1988) 89-93.