Daniel Lehmann, Menachem Magidor, Karl Schlechta  Home/Search
Context Related
| cs.huji.ac.il/~leh...LMS_JSLfinal.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.huji.ac.il/~lehmann/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A vast and interesting family of natural semantics for 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 ff as the theory defined by the set of all those models of ff 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. 1 Introduction 1.1... (Update)
Context of citations to this paper: More
...Mendelzon. In Section 3, we give a full characterization of these operators. We start from a result of Lehmann, Magidor, Schlechta [7] on distance based revision, which has some formal similarity, and re ne the techniques developed there. In the rest of this section, we rst...
...of , which are in some sense closest to some individual K model. Revision in this sense is formalized in Lehmann, Magidor and Schlechta [9], elaborated in [7] The authors have devised there a family of semantics for revision based on minimal change, where change is measured...
Cited by: More
Iterated Revision in the Spirit of Update: A Lazy Update - Areces, Becher (1999) (Correct)
Iterable AGM Functions - Areces, Becher (1999) (Correct)
Distance Semantics for Belief Revision - Lehmann, Magidor, Schlechta (1999) (Correct)
Active bibliography (related documents): More All
0.5: Nonmonotonic Logics and Semantics - Lehmann (2001) (Correct)
0.4: Coherence and Conservatism in the Dynamics of Belief - Part I.. - Rott (1999) (Correct)
0.4: Belief Extrapolation (or How to Reason About Observations.. - Unpredicted Change Florence (Correct)
Similar documents based on text: More All
0.4: Connectives in Quantum and other Cumulative Logics - Lehmann (2002) (Correct)
0.4: Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999) (Correct)
0.2: On the Logic of Iterated Belief Revision - Darwiche, Pearl (1996) (Correct)
Related documents from co-citation: More All
8: the logic of iterated belief revision - Darwiche, Pearl - 1997
6: Two modellings for theory change (context) - Grove - 1988
5: Belief revision (context) - Lehmann - 1995
BibTeX entry: (Update)
D. Lehmann, K. Schlechta, and M. Magidor. Distance semantics for belief revision. Technical Report of The Leibniz Center 98-10, Hebrew University, Jerusalem, Israel. 1998. http://citeseer.ist.psu.edu/lehmann99distance.html More
@article{ lehmann01distance,
author = "Daniel Lehmann and Menachem Magidor and Karl Schlechta",
title = "Distance Semantics for Belief Revision",
journal = "Journal of Symbolic Logic",
volume = "66",
number = "1",
pages = "295--317",
year = "2001",
url = "citeseer.ist.psu.edu/lehmann99distance.html" }
Citations (may not include all citations):200 the Difference between Updating a Knowledge Base and Revisin.. - Katsuno, Mendelzon - 1992
149 the Logic of Theory Change: partial meet contraction and rev.. (context) - Alchourr'on, Gardenfors et al. - 1985
144 Knowledge in Flux (context) - Gardenfors - 1988
120 Investigations into a theory of knowledge base revisions: Pr.. - Dalal - 1988
86 the Logic of Iterated Belief Revision - Darwiche, Pearl - 1994
86 the Logic of Iterated Belief Revision - Darwiche, Pearl - 1997
78 Revisions of Knowledge Systems using Epistemic Entrenchment (context) - Gardenfors, Makinson - 1988
62 Two Modellings for Theory Change (context) - Grove - 1988
59 Language features for flexible handling of exceptions in inf.. - Borgida - 1985
48 Nonmonotonic Inference based on Expectations (context) - Gardenfors, Makinson - 1994
35 Revision Sequences and Nested Conditionals (context) - Boutilier - 1993
35 Transmutations of Knowledge Systems (context) - Williams - 1994
27 Belief Revision: A Critique - Friedman, Halpern - 1996
25 Nonmonotonic Reasoning, Preferential Models and Cumulative L.. - Kraus, Lehmann et al. - 1990
19 Changing Conditional Belief Unconditionally - Nayak, Foo et al. - 1996
14 What does a Conditional Knowledge Base Entail - Lehmann, Magidor - 1992
10 Injective Models and Disjunctive Relations (context) - Freund - 1993
10 Revision by Conditional Beliefs (context) - Boutilier, Goldszmidt - 1993
9 Distance Semantics for Belief Revision - Schlechta, Lehmann et al. - 1996
9 Belief Revision, revised (context) - Lehmann - 1995
6 Some results on classical preferential models (context) - Schlechta - 1992
6 Belief Revision and Rational Inference (context) - Freund, Lehmann - 1994
3 Preferred History Semantics for Iterated Updates - Berger, Lehmann et al.
3 New techniques and completeness results for preferential str.. (context) - Schlechta
1 Distance based revision of preferential logics - Audibert, Lhoussaine et al. - 1998
1 Counterfactuals (context) - Lewis - 1973
1 Unrestricted preferential structures (context) - Schlechta
1 Unified Semantics for Revision and Update, or the Theory of .. (context) - Becher - 1995
1 A semantical approach to the concept of screened revision (context) - Bellot, Godefroid et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.huji.ac.il/~lehmann/): More
Another perspective on Default Reasoning - Lehmann (1992) (Correct)
Optimal Solutions for Multi-Unit Combinatorial Auctions.. - Gonen, Lehmann (2000) (Correct)
Preferred History Semantics for Iterated Updates - Berger, Lehmann, Schlechta (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC