Distance semantics for belief revision
From MaRDI portal
Publication:2732280
DOI10.2307/2694923zbMATH Open0985.03012arXivcs/0202025OpenAlexW1988484875MaRDI QIDQ2732280
K. Schlechta, Daniel Lehmann, Menachem Magidor
Publication date: 13 May 2002
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
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 a as the theory defined by the set of all those models of a 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.
Full work available at URL: https://arxiv.org/abs/cs/0202025
Cites Work
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- What does a conditional knowledge base entail?
- On the logic of iterated belief revision
- Counterfactuals and comparative possibility
- Preferred history semantics for iterated updates
- Some Results on Classical Preferential Models
- Unrestricted preferential structures
- New techniques and completeness results for preferential structures
Cited In (28)
- Independence -- revision and defaults
- Iterated descriptor revision and the logic of Ramsey test conditionals
- Semantic interpolation
- How to revise a total preorder
- Belief revision with satisfaction measure
- A theory of hierarchical consequence and conditionals
- Confluence operators and their relationships with revision, update and merging
- Graph-Based Belief Merging
- A framework for reasoning under uncertainty based on non-deterministic distance semantics
- Simplified forms of computerized reasoning with distance semantics
- A Note on Cumulative Stereotypical Reasoning
- Geodesic merging
- Iterated Contraction Based on Indistinguishability
- New techniques and completeness results for preferential structures
- A Panorama of Iterated Revision
- Distance-based paraconsistent logics
- AGM 25 years. Twenty-five years of research in belief change
- Characterizability in Horn Belief Revision
- Merging First-Order Knowledge Using Dilation Operators
- A model of minimal probabilistic belief revision
- A comment on work by Booth and co-authors
- Interpreting enthymematic arguments using belief revision
- Roadmap for preferential logics
- Distance semantics for database repair
- Reasoning with Uncertainty by Nmatrix–Metric Semantics
- A dissimilarity-based framework for generating inconsistency-tolerant logics
- Explaining updates by minimal sums
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
Recommendations
- Title not available (Why is that?) 👍 👎
- A distance measure for bounding probabilistic belief change 👍 👎
- Believability relations for select-direct sentential revision 👍 👎
- Distance-based non-deterministic semantics for reasoning with uncertainty 👍 👎
- A semantics for hyperintensional belief revision based on information bases 👍 👎
- A study of possible-worlds semantics of relevance-sensitive belief revision 👍 👎
- Consistency-based revision of structured belief bases 👍 👎
- Distance-Based Semantics for C-Structure Belief Revision 👍 👎
- Distance based revision of preferential logics 👍 👎
- A Semantic Approach to Non-prioritized Belief Revision 👍 👎
This page was built for publication: Distance semantics for belief revision
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2732280)
