Foundational theory of belief and belief change

Artificial Intelligence

Volumn 108, Issue 1, 1999, Pages 309-352

  Bochman, Alexander ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING;

BELIEF CHANGE; EPISTEMIC STATES; FOUNDATIONAL THEORY;

ARTIFICIAL INTELLIGENCE;

EID: 0033620268     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00112-X     Document Type: Article

References (29)

1. [1] C. 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. Bochman, Mereological semantics, Ph.D. Thesis, Tel-Aviv University, 1992.
3. [3] A. Bochman, A foundational view of the AGM theory of belief change, Manuscript, 1998.
4. [4] S. Brass, On the semantics of supernormal defaults, in: Proceedings IJCAI-93, Chambéry, France, 1993, pp. 578-583.
5. [5] R. Fagin, J.D. Ullman, G.M. Kuper, M.Y. Vardi, Updating logical databases, Adv. Comput. Res. 3 (1986) 1-18.
6. [6] A. Fuhrmann, Theory contraction through base contraction, J. Philosophical Logic 20 (1991) 175-203.
7. [7] D.M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht, 1981.
8. [8] P. Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books/MIT Press, Cambridge, MA, 1988.
9. [9] P. Gärdenfors, The dynamics of belief systems: Foundations vs. coherence theories, Revue Internationale de Philosophie 44 (1990) 24-46.
10. [10] P. Gärdenfors, D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (1994) 197-245.
11. [11] P. Gärdenfors, H. Rott, Belief revision, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4: Epistemic and Temporal Logics, Clarendon Press, Oxford, 1995, pp. 35-132.
12. [12] S.O. Hansson, New operators for theory change, Theoria 55 (1989) 114-132.
13. [13] S.O. Hansson, Belief contraction without recovery, Studia Logica 50 (1991) 251-260.
14. [14] S.O. Hansson, In defense of base contraction, Synthese 91 (1992) 239-245.
15. [15] S.O. Hansson, Changes of disjunctively closed bases, J. Logic, Language and Information 2 (1993) 255-284.
16. [16] S.O. Hansson, Reversing the Levi identity, J. Philos. Logic 22 (1993) 637-669.
17. [17] S.O. Hansson, Theory contraction and base contraction unified, J. Symbolic Logic 58 (1993) 602-625.
18. [18] G. Harman, Change in View, Bradford Books/MIT Press, Cambridge, MA, 1986.
19. [19] S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
20. [20] I. Levi, The Fixation of Belief and Its Undoing, Cambridge University Press, Cambridge, 1991.
21. [21] S. Lindström, W. Rabinowicz, Epistemic entrenchment with incomparatibilities and relational belief revision, in: A. Fuhrmann, M. Morreau (Eds.), The Logic of Theory Change, Lecture Notes in Artificial Intelligence, Vol. 465, Springer, Berlin, 1991, pp. 93-126.
22. [22] D. Makinson, On the status of the postulate of recovery in the logic of theory change, J. Philos. Logic 16 (1987) 383-394.
23. [23] B. Nebel, A knowledge level analysis of belief revision, in: R.J. Brachman et al. (Eds.), Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, CA, 1989, pp. 301-311.
24. [24] D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1988) 27-47.
25. [25] R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
26. [26] H. Rott, M. Pagnucco, Severe withdrawal (and recovery), 1997, to appear.
27. [27] D. Scott, Completeness and axiomatizability in many-valued logic, in: Proceedings Symp. in Pure Math., Vol. 25, 1974, pp. 431-435.
28. [28] A. del Val, On the relation between the coherence and foundations theories of belief revision, in: Proceedings AAAI-94, Seattle, WA, 1994, pp. 909-914.
29. [29] M.-A. Williams, Transmutations of knowledge systems, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), Principles of Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, San Mateo, CA, 1994, pp. 619-629.