Belief contraction as nonmonotonic inference

Journal of Symbolic Logic

Volumn 65, Issue 2, 2000, Pages 605-626

  Bochman, Alexander ^a  

^a Division of Gynecologic Oncology   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034372069     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586557     Document Type: Article

References (20)

1. C. ALCHOURRÓN, P. GÄRDENFORS, and D. MAKINSON, On the logic of theory change: Partial meet contraction and revision functions, this JOURNAL, vol. 50 (1985), pp. 510-530.
2. A. BOCHMAN, A foundational theory of belief and belief change, Artificial Intelligence, vol. 108 (1999), pp. 309-352.
3. M. FREUND, Injective models and disjunctive relations, Journal of Logic and Computation, vol. 3 (1992), pp. 231-247.
4. A. FUHRMANN, Theory contraction through base contraction, Journal of Philosophical Logic, vol. 20 (1991), pp. 175-203.
5. A. FUHRMANN and S. O. HANSSON, A survey of multiple contractions, Journal of Logic, Language and Information, vol. 3 (1994), pp. 39-76.
6. P. GÄRDENFORS, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, 1988.
7. _, The dynamics of belief systems: Foundations vs. coherence theories, Revue Internationale de Philosophie, vol. 44 (1990), pp. 24-46.
8. P. GÄRDENFORS and D. MAKINSON, Nonmonotonic inference based on expectations, Artificial Intelligence, vol. 65 (1994), pp. 197-245.
9. S. O. HANSSON, Theory contraction and base contraction unified, this JOURNAL, vol. 58 (1993), pp. 602-625.
10. S. O. HANSSON and E. J. OLSSON, Levi contractions and AGM contractions: a comparison, Notre Dame Journal of Formal Logic, vol. 36 (1995), pp. 103-119.
11. S. KRAUS, D. LEHMANN, and M. MAGIDOR, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol. 44 (1990), pp. 167-207.
12. D. LEHMANN and M. MAGIDOR, What does a conditional knowledge base entail?, Artificial Intelligence, vol. 55 (1992), pp. 1-60.
13. I. LEVI, The Fixation of Belief and Its Undoing, Cambridge University Press, 1991.
14. D. MAKINSON, General theory of cumulative inference, Nonmonotonic reasoning (M. Reinfrank, editor), Springer, 1989, Lecture Notes in AI, 346, pp. 1-18.
15. D. MAKINSON and P. GÄRDENFORS, Relations between the logic of theory change and nonmonotonic logic, The Logic of Theory Change (A. Fuhrmann and M. Morreau, editors), Lecture Notes in AI, 465, Springer Verlag, 1991, pp. 185-205.
16. A. C. NAYAK, Foundational belief change, Journal of Philosophical Logic, vol. 23 (1994), pp. 495-533.
17. B. NEBEL, A knowledge level analysis of belief revision, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (R. J. Brachman et al., editors), Morgan Kauffman, 1989, pp. 301-311.
18. _, Syntax-based approaches to belief revision, Belief revision (P. Gärdenfors, editor), Cambridge University Press, 1992, pp. 52-88.
19. H. ROTT, Preferential belief change using generalized epistemic entrenchment, Journal of Logic, Language and Information, vol. 1 (1992), pp. 45-78.
20. _, Belief contraction in the context of the general theory of rational choice, this JOURNAL, vol. 58 (1993), pp. 1426-1450.