Skip to main content Accessibility help

Distance semantics for belief revision

  • Daniel Lehmann (a1), Menachem Magidor (a2) and Karl Schlechta (a3)


A vast and interesting family of natural semantics lor belief revision is defined. Suppose one is given a distance d between any two models. One may then define the revision of a theory K by a formula α as the theory defined by the set of all those models of α that are closest, by d. to the set of models of K. This family is characterized by a set of rationality postulates that extends the AGM postulates. The new postulates describe properties of iterated revisions.



Hide All
[AGM85]Alchourrón, C., Gärdenfors, P., and Makinson, D., On the logic of theory change: partial meet contraction and revision functions, this Journal, vol. 50 (1985), pp. 510530.
[ALS98]Audibert, L., Lhoussaine, C., and Schlechta, K., Distance based revision of preferential logics, Belief Revision Workshop of KR98, Trento, Italy, (1998), p. electronic proceedings.
[Bec95]Becher, V., Unified semantics for revision and update, or the theory of lazy update, 24 Jornadas Argentinas de Informatica e Investigation Operativa, Buenos Aires, (SADIO, 1995), pp. 641650.
[BGHPSW97]Bellot, D., Godefroid, C., Han, P., Prost, J. P., Schlechta, K., and Wurbel, E., A semantical approach to the concept of screened revision, Theoria, vol. 63, Part 1–2 (1997), pp. 2433.
[BLS99]Berger, S., Lehmann, D., and Schlechta, K., Preferred history semantics for iterated updates, Journal of Logic and Computation, vol. 9 (1999), no. 6, pp. 817833.
[Bor85]Borgida, A., Language features for flexible handling of exceptions in information systems, ACM Transactions on Database Systems, vol. 10 (1985), pp. 563603.
[Bou93]Boutilier, C., Revision sequences and nested conditionals, Proceedings of the 13th UCAI (Bajcsy, R., editor), Morgan Kaufman, 1993, pp. 519525.
[BG93]Boutilier, C. and Goldszmidt, M., Revision by conditional beliefs, Proceedings of the 11th National Conference on Artificial Intelligence (AAAI), Morgan Kaufman, 1993, pp. 649654.
[Dal88]Dalal, M., Investigations into a theory of knowledge base revisions: Preliminary report, Proceedings of the 7th National Conference on Artificial Intelligence, 1988, pp. 475479.
[DP94]Darwiche, A. and Pearl, J., On the logic of iterated belief revision. Proceedings of the fifth Conference on Theoretical Aspects of Reasoning about Knowledge (Fagin, R., editor), Morgan Kaufman, Pacific Grove, CA, 1994, pp. 523.
[DP97]Darwiche, A. and Pearl, J., On the logic of iterated belief revision, Journal of Artificial Intelligence, vol. 89 (1997), no. 1–2, pp. 129.
[Fre93]Freund, M., Injective models and disjunctive relations, Journal of Logic and Computation, vol. 31 (1993), no. 3, pp. 231247.
[FL94]Freund, M. and Lehmann, D., Belief revision and rational inference, Technical Report 94-16, The Leibniz Center for Research in Computer Science, Institute of Computer Science, Hebrew University, 1994.
[FH96]Friedman, N. and Halpern, J. Y., Belief revision: A critique, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, KR'96 (Aiello, L. C., Doyle, J., and Shapiro, S., editors), Morgan Kaufmann, Cambridge, Massachusets, 1996, pp. 421431.
[Gar88]Gärdenfors, P., Knowledge influx, MIT Press, 1988.
[GM88]Gärdenfors, P. and Makinson, D., Revisions of knowledge systems using epistemic entrenchment, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge (Vardi, M. Y., editor), Morgan Kaufmann, Monterey, California, 1988, pp. 8395.
[GM94]Gärdenfors, P. and Makinson, D., Nonmonotonic inference based on expectations, Artificial Intelligence, vol. 651 (1994), no. 1, pp. 197245.
[Gro88]Grove, A., Two modellings for theory change, Journal of Philosophical Logic, vol. 17 (1988), pp. 157170.
[KM92]Katsuno, H. and Mendelzon, A. O., On the difference between updating a knowledge base and revising it, Belief revision (Gärdenfors, P., editor), Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992, pp. 183203.
[KLM90]Kraus, S., Lehmann, D., and Magidor, M., Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol. 44 (1990), no. 1–2, pp. 167207.
[Leh95]Lehmann, D., Belief revision, revised, Proceedings of 14th UCAI, Morgan Kaufmann, 1995, pp. 15341541.
[LM92]Lehmann, D. and Magidor, M., What does a conditional knowledge base entail?, Artificial Intelligence, vol. 55 (1992), no. 1, pp. 160.
[Lew73]Lewis, D., Counterfactuals, Blackwell, Oxford, 1973.
[NFPS95]Nayak, A., Foo, N. Y., Pagnucco, M., and Sattar, A., Changing conditional belief unconditionally, Proceedings of the sixth conference on theoretical aspects of rationality and knowledge (Shoham, Y., editor), Morgan Kaufman, 1996, pp. 119135.
[Sch92]Schlechta, K., Some results on classical preferential models, Journal of Logic and Computation, vol. 2 (1992), no. 6, pp. 675686.
[Sch98]Schlechta, K., Unrestricted preferential structures, Journal of Logic and Computation, vol. 10 (2000), no. 4, pp. 573581.
[Sch97]Schlechta, K., New techniques and completeness results for preferential structures, this Journal, (to appear).
[SLM96]Schlechta, K., Lehmann, D., and Magidor, M., Distance semantics for belief revision, Proceedings of: Theoretical Aspects of Rationality and Knowledge, Tark VI, 1996 (Shoham, Y., editor), Morgan Kaufmann, San Francisco, 1996, pp. 137145.
[Wil94]Williams, M. A., Transmutations of knowledge systems, Proceedings of the fourth international conference on principles of knowledge representation and reasoning (Doyle, J., Sandewall, E., and Torasso, P. editors), Morgan Kaufman, 1994, pp. 619629.

Related content

Powered by UNSILO

Distance semantics for belief revision

  • Daniel Lehmann (a1), Menachem Magidor (a2) and Karl Schlechta (a3)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.