Skip to main content

Coherent choice and epistemic entrenchment (preliminary report)

  • Conference paper
  • First Online:
KI-94: Advances in Artificial Intelligence (KI 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 861))

Included in the following conference series:

Abstract

Belief revision has recently been modelled with the help of the notion of epistemic entrenchment (Gärdenfors and Makinson, TARK 1988, and Rott, JoLLI 1992). This paper offers a systematic justification of the postulates for entrenchment by interpreting entrenchment in terms of the general theory of rational choice. A translation is specified from conditions for entrenchment into conditions for choice, and vice versa. The relative strengths of the postulates are studied, and connections with related work are discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alchourrón, Carlos, Peter Gärdenfors and David Makinson: 1985, “On the logic of theory change: Partial meet contraction functions and their associated revision functions”, Journal of Symbolic Logic 50, 510–530.

    Google Scholar 

  2. Benferhat, Salem, Claude Cayrol, Didier Dubois, Jérôme Lang and Henri Prade: 1993, “Inconsistency management and prioritized syntax-based entailment”, in R. Bajcsy (ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Mateo, Ca, 640–645.

    Google Scholar 

  3. Doyle, Jon: 1991, “Rational belief revision: Preliminary report”, in J. Allen, R. Fikes and E. Sandewall (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 2nd International Conference, Morgan Kaufmann, San Mateo, Ca., 163–174.

    Google Scholar 

  4. Dubois, Didier, and Henri Prade: 1987, “Necessity measures and the resolution principle”, IEEE Transactions on Systems, Man and Cybernetics 17, 474–478.

    Google Scholar 

  5. Dubois, Didier, and Henri Prade: 1991, “Epistemic entrenchment and possibilistic logic”, Artificial Intelligence 50, 223–239.

    Google Scholar 

  6. Freund, Michael: 1993, “Injective models and disjunctive relations”, Journal of Logic Programming 3, 231–247.

    Google Scholar 

  7. Gärdenfors, Peter: 1984, “Epistemic importance and minimal changes of belief”, Australasian Journal of Philosophy 62, 136–157.

    Google Scholar 

  8. Gärdenfors, Peter: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, Mass.

    Google Scholar 

  9. Gärdenfors, Peter (ed.): 1992, Belief Revision, Cambridge University Press, Cambridge.

    Google Scholar 

  10. Gärdenfors, Peter, and David Makinson: 1988, “Revisions of knowledge systems using epistemic entrenchment”, in M. Vardi (ed.), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, Los Altos, pp. 83–95.

    Google Scholar 

  11. Gärdenfors, Peter, and David Makinson: 1994, “Nonmonotonic Inference Based on Expectations”, Artificial Intelligence 65, 197–245.

    Google Scholar 

  12. Grove, Adam: 1988, “Two modellings for theory change”, Journal of Philosophical Logic 17, 157–170.

    Google Scholar 

  13. Lehmann, Daniel, and Menachem Magidor: 1992, “What does a conditional knowledge base entail?”, Artificial Intelligence 55, 1–60.

    Google Scholar 

  14. Lewis, David: 1973, Counterfactuals, Blackwell, Oxford.

    Google Scholar 

  15. Lindström, Sten: 1991, “A semantic approach to nonmonotonic reasoning: Inference operations and choice”, Department of Philosophy, University of Uppsala, Uppsala Prints and Preprints in Philosophy, Number 6.

    Google Scholar 

  16. Makinson, David: 1990, “General patterns in nonmonotonic reasoning”, in D.M. Gabbay a.o. (eds.),Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. II: Nonmonotonic and Uncertain Reasoning, Oxford UP, Oxford, to appear.

    Google Scholar 

  17. Makinson, David, and Peter Gärdenfors: 1991, “Relations between the logic of theory change and nonmonotonic logic”, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Springer LNCS 465, Berlin etc., pp. 185–205.

    Google Scholar 

  18. Nebel, Bernhard: 1992, “Syntax-based approaches to belief revision”, in [9], pp. 52–88.

    Google Scholar 

  19. Rott, Hans: 1991, “Two methods of constructing contractions and revisions of knowledge systems”, Journal of Philosophical Logic 20, 149–173.

    Google Scholar 

  20. Rott, Hans: 1992, “On the logic of theory change: More maps between different kinds of contraction function”, in [9], Cambridge, pp. 122–141.

    Google Scholar 

  21. Rott, Hans: 1992, “Preferential belief change using generalized epistemic entrenchment”, Journal of Logic, Language and Information 1, 45–78.

    Google Scholar 

  22. Rott, Hans: 1992, “Modellings for belief change: Prioritization and entrenchment”, Theoria 58, to appear.

    Google Scholar 

  23. Rott, Hans: 1993, “Belief contraction in the context of the general theory of rational choice”, Journal of Symbolic Logic 58, 1426–1450.

    Google Scholar 

  24. Rott, Hans: 1994, “Nonmonotonic logic = monotonic logic + choice”, Manuscript, University of Konstanz, June 1994.

    Google Scholar 

  25. Sen, Amartya K.: 1971, “Choice functions and revealed preference”, Review of Economic Studies 38, 307–317.

    Google Scholar 

  26. Spohn, Wolfgang: 1988, “Ordinal Conditional Functions”, in William L. Harper and Brian Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II, Reidel, Dordrecht, 105–134.

    Google Scholar 

  27. Zadeh, Lofti A.: 1978, “Fuzzy sets as a basis for a theory of possibility”, Fuzzy Sets and Systems 1, 3–28.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Bernhard Nebel Leonie Dreschler-Fischer

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rott, H. (1994). Coherent choice and epistemic entrenchment (preliminary report). In: Nebel, B., Dreschler-Fischer, L. (eds) KI-94: Advances in Artificial Intelligence. KI 1994. Lecture Notes in Computer Science, vol 861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58467-6_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-58467-6_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58467-4

  • Online ISBN: 978-3-540-48979-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics