Modeling belief in dynamic systems, Part I: Foundations

Artificial Intelligence

Volumn 95, Issue 2, 1997, Pages 257-316

  Friedman, Nir ^a   Halpern, Joseph Y ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

AGM postulates; Belief change; Belief revision; Logic of belief; Logic of knowledge; Logic of time; Minimal change; Plausibility measures

Indexed keywords

COMPUTER SIMULATION; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; PROBABILITY;

BELIEF CHANGE; MULTI AGENT SYSTEMS; SEMANTIC MODELS;

ARTIFICIAL INTELLIGENCE;

EID: 0031222719     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(97)00040-4     Document Type: Article

References (66)

1. C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet functions for contraction and revision, J. Symbolic Logic 50 (1985) 510-530.
2. P. Battigalli and G. Bonanno, The logic of belief persistency, Economics and Philosophy (1997), to appear.
3. C. Boutilier, Normative, subjective and autoepistemic defaults: adopting the Ramsey test, in: B. Nebel, C. Rich and W. Swartout, eds., Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA (Morgan Kaufmann, San Francisco, CA, 1992) 685-696.
4. C. Boutilier, Conditional logics of normality: a modal approach, Artificial Intelligence 68 (1994) 87-154.
5. C. Boutilier, Unifying default reasoning and belief revision in a modal framework, Artificial Intelligence 68 (1994) 33-85.
6. R. Brafman, J.-C. Latombe, Y. Moses and Y. Shoham, Applications of a logic of knowledge to motion planning under uncertainty, J. ACM (1997), to appear.
7. J. Burgess, Quick completeness proofs for some logics of conditionals, Notre Dame J. Formal Logic 22 (1981) 76-84.
8. R. Davis and W. Hamscher, Model-based reasoning: troubleshooting, in: H. Shrobe and The American Association for Artificial Intelligence, eds., Exploring AI (Morgan Kaufmann, San Francisco, CA, 1988) 297-346.
9. B. De Finetti, Probability, Induction and Statistics (John Wiley & Sons, New York, 1972).
10. J. de Kleer, Using crude probability estimates to guide diagnosis, Artificial Intelligence 45 (1990) 381-392.
11. P. Diaconis and S.L. Zabell, Updating subjective probability, J. Amer. Statist. Soc. 77 (1982) 822-830.
12. D. Dubois and H. Prade, An introduction to possibilistic and fuzzy logics, in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Francisco, CA, 1990) 742-761.
13. D. Dubois and H. Prade, Possibilistic logic, preferential models, non-monotonicity and related issues, in: Proceedings IJCAI-91, Sydney, Australia (Morgan Kaufmann, San Francisco, CA, 1991) 419-424.
14. R. Fagin and J.Y. Halpern, Reasoning about knowledge and probability, J. ACM 41 (2) (1994) 340-367.
15. R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge (MIT Press, Cambridge, MA, 1995).
16. M.J. Fischer and R.E. Ladner, Propositional dynamic logic of regular programs, J. Comput. System Sci. 18 (2) (1979) 194-211.
17. N. Friedman, Modeling beliefs in dynamic systems, Ph.D. Thesis, Stanford, CA (1997).
18. N. Friedman and J.Y. Halpern, Conditional logics of belief change, in: Proceedings AAAI-94, Seattle, WA (AAAI Press, Menlo Park, CA, 1994) 915-921.
19. N. Friedman and J.Y. Halpern, A knowledge-based framework for belief change, Part I: Foundations, in: R. Fagin, ed., Theoretical Aspects of Reasoning about Knowledge: Proceedings 5th Conference (Morgan Kaufmann, San Francisco, CA, 1994) 44-64.
20. N. Friedman and J.Y. Halpern, Plausibility measures: a user's manual, in: P. Besnard and S. Hanks, eds., Proceedings 11th Conference on Uncertainty in Artificial Intelligence (UAI'95) (Morgan Kaufmann, San Francisco, CA, 1995) 175-184.
21. N. Friedman and J.Y. Halpern, On the axiomatization and complexity of conditional logics (1996), in preparation; preliminary version appeared in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994).
22. N. Friedman and J.Y. Halpern, On the axiomatization and complexity of conditional logics (1996), in preparation; preliminary version appeared in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994).
23. N. Friedman and J.Y. Halpern, A qualitative Markov assumption and its implications for belief change, in: E. Horvitz and F. Jensen, eds., Proceedings 12th Conference on Uncertainty in Artificial Intelligence (UAI'96) (1996) 263-273.
24. N. Friedman and J.Y. Halpern, Modeling belief in dynamic systems, Part II: Revision and update (1997), submitted for publication; preliminary version appeared as: A knowledge-based framework for belief change, Part II: Revision and update, in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994) 190-201.
25. N. Friedman and J.Y. Halpern, Modeling belief in dynamic systems, Part II: Revision and update (1997), submitted for publication; preliminary version appeared as: A knowledge-based framework for belief change, Part II: Revision and update, in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994) 190-201.
26. N. Friedman and J.Y. Halpern, Plausibility measures and default reasoning, J. ACM (1997), to appear; preliminary version of this work appeared in: Proceedings AAAI-96, Portland, OR (AAAI Press, Menlo Park, CA, 1996) 1297-1304.
27. N. Friedman and J.Y. Halpern, Plausibility measures and default reasoning, J. ACM (1997), to appear; preliminary version of this work appeared in: Proceedings AAAI-96, Portland, OR (AAAI Press, Menlo Park, CA, 1996) 1297-1304.
28. N. Friedman, J.Y. Halpern and D. Koller, Conditional first-order logic revisited, in: Proceedings AAAI-96, Portland, OR (AAAI Press, Menlo Park, CA, 1996) 1305-1312.
29. D. Gabbay, A. Pnueli, S. Shelah and J. Stavi, On the temporal analysis of fairness, in: Proceedings 7th ACM Symposium on Principles of Programming Languages (1980) 163-173.
30. P. Gärdenfors, Knowledge in Flux (MIT Press, Cambridge, MA, 1988).
31. P. Gärdenfors and D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in: M. Vardi, ed., Proceedings 2nd Conference on Theoretical Aspects of Reasoning about Knowledge (Morgan Kaufmann, San Francisco, CA, 1988) 83-95.
32. M.L. Ginsberg, Counterfactuals, Artificial Intelligence 30 (1986) 35-79.
33. M. Goldszmidt, P. Morris and J. Pearl, A maximum entropy approach to nonmonotonic reasoning, IEEE Trans. Pattern Analysis Machine Intell. 15 (3) (1993) 220-232.
34. M. Goldszmidt and J. Pearl, Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions, in: B. Nebel, C. Rich and W. Swartout, eds., Proceedings 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA (Morgan Kaufmann, San Francisco, CA, 1992) 661-672.
35. A. Grove, Two modelings for theory change, J. Philos. Logic 17 (1988) 157-170.
36. J.Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Distributed Comput. 3 (4) (1989) 159-179; preliminary version appeared as: A formal model of knowledge, action and communication in distributed systems: preliminary report, in: Proceedings 4th ACM Symposium on Principles of Distributed Computing (1985).
37. J.Y. Halpern and R. Fagin, Modelling knowledge and action in distributed systems, Distributed Comput. 3 (4) (1989) 159-179; preliminary version appeared as: A formal model of knowledge, action and communication in distributed systems: preliminary report, in: Proceedings 4th ACM Symposium on Principles of Distributed Computing (1985).
38. J.Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992) 319-379.
39. J.Y. Halpern and M.R. Tuttle, Knowledge, probability and adversaries, J. ACM 40 (4) (1993) 917-962.
40. J.Y. Halpern and M.Y. Vardi, The complexity of reasoning about knowledge and time, I: Lower bounds, J. Comput. System Sci. 38 (1) (1989) 195-237.
41. J. Hintikka, Knowledge and Belief (Cornell University Press, Ithaca, NY, 1962).
42. H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, in: J.A. Allen, R. Fikes and E. Sandewall, eds., Proceedings 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Cambridge, MA (Morgan Kaufmann, San Francisco, CA, 1991) 387-394.
43. H. Katsuno and A. Mendelzon, Prepositional knowledge base revision and minimal change, Artificial Intelligence 52 (3) (1991) 263-294.
44. S. Kraus and D. Lehmann, Knowledge, belief and time, Theoret. Comput. Sci. 58 (1988) 155-174.
45. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
46. S. Kullback and R.A. Leibler, On information and sufficiency, Ann. Math. Statist. 22 (1951) 76-86.
47. P. Lamarre and Y. Shoham, Knowledge, certainty, belief and conditionalisation, in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994) 415-424.
48. H.J. Levesque, A logic of implicit and explicit belief, in: Proceedings AAAI-84, Austin, TX (1984) 198-202.
49. D.K. Lewis, Counterfactuals (Harvard University Press, Cambridge, MA, 1973).
50. D. Makinson, On some completeness theorems in modal logic, Z. Math. Logik Grundlag. Math. 12 (1966) 379-384.
51. R. van der Meyden, Mutual belief revision (preliminary report), in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings 4th International Conference (KR'94), Bonn, Germany (Morgan Kaufmann, San Francisco, CA, 1994) 595-606.
52. R. van der Meyden, Personal communication, 1994.
53. Y. Moses and Y. Shoham, Belief as defeasible knowledge, Artificial Intelligence 64 (2) (1993) 299-322.
54. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: R.J. Brachman, H.J. Levesque and R. Reiter, eds., Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR '89), Toronto, Ont. (1989) 505-516; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Francisco, CA, 1990) 699-710.
55. J. Pearl, Probabilistic semantics for nonmonotonic reasoning: a survey, in: R.J. Brachman, H.J. Levesque and R. Reiter, eds., Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning (KR '89), Toronto, Ont. (1989) 505-516; reprinted in: G. Shafer and J. Pearl, eds., Readings in Uncertain Reasoning (Morgan Kaufmann, San Francisco, CA, 1990) 699-710.
56. M. Piccione and A. Rubinstein, On the interpretation of decision problems with imperfect recall, Games and Economic Behavior (1997), to appear.
57. V.R. Pratt, Models of program logics, in: Proceedings 20th IEEE Symposium on Foundations of Computer Science (1979) 115-122.
58. F.P. Ramsey, Truth and probability, in: R.B. Braithwaite, ed., The Foundations of Mathematics and Other Logical Essays (Routledge and Kegan Paul, London, 1931) 156-198.
59. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufman, San Francisco, CA, 1987) 352-371.
60. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufman, San Francisco, CA, 1987) 352-371.
61. G. Shafer, A Mathematical Theory of Evidence (Princeton University Press, Princeton, NJ, 1976).
62. Y. Shoham, A semantical approach to nonmonotonic logics, in: Proceedings 2nd IEEE Symposium on Logic in Computer Science (1987) 275-279; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufman, San Francisco, CA, 1987) 227-250.
63. Y. Shoham, A semantical approach to nonmonotonic logics, in: Proceedings 2nd IEEE Symposium on Logic in Computer Science (1987) 275-279; reprinted in: M.L. Ginsberg, ed., Readings in Nonmonotonic Reasoning (Morgan Kaufman, San Francisco, CA, 1987) 227-250.
64. W. Spohn, Ordinal conditional functions: a dynamic theory of epistemic states, in: W. Harper and B. Skyrms, eds., Causation in Decision, Belief Change and Statistics, Vol. 2 (Reidel, Dordrecht, The Netherlands, 1988) 105-134.
65. F. Voorbraak, Generalized Kripke models for epistemic logic, in: Y. Moses, ed., Theoretical Aspects of Reasoning about Knowledge: Proceedings 4th Conference (Morgan Kaufmann, San Francisco, CA, 1992) 214-228.
66. Z. Wang and G.J. Klir, Fuzzy Measure Theory (Plenum Press, New York, 1992).