Distance semantics for belief revision

DOI10.2307/2694923zbMath0985.03012arXivcs/0202025MaRDI QIDQ2732280

Menachem Magidor, Karl Schlechta, Daniel J. Lehmann

Publication date: 13 May 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0202025

zbMATH Keywords

pseudo-distance; semantic; iterated revision; AGM theory of belief revision

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

Related Items

New techniques and completeness results for preferential structures, A Panorama of Iterated Revision, Merging First-Order Knowledge Using Dilation Operators, Explaining updates by minimal sums, Iterated descriptor revision and the logic of Ramsey test conditionals, Interpreting enthymematic arguments using belief revision, AGM 25 years. Twenty-five years of research in belief change, How to revise a total preorder, A framework for reasoning under uncertainty based on non-deterministic distance semantics, Simplified forms of computerized reasoning with distance semantics, A comment on work by Booth and co-authors, A model of minimal probabilistic belief revision, Independence -- revision and defaults, Geodesic merging, Confluence operators and their relationships with revision, update and merging, A dissimilarity-based framework for generating inconsistency-tolerant logics, A theory of hierarchical consequence and conditionals, Distance-based paraconsistent logics, Distance semantics for database repair, Characterizability in Horn Belief Revision, Semantic interpolation, Iterated Contraction Based on Indistinguishability, Graph-Based Belief Merging, Reasoning with Uncertainty by Nmatrix–Metric Semantics, A Note on Cumulative Stereotypical Reasoning, Roadmap for preferential logics

Cites Work

• Unnamed Item
• Counterfactuals and comparative possibility
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• On the logic of iterated belief revision
• Unrestricted preferential structures
• New techniques and completeness results for preferential structures
• Preferred history semantics for iterated updates
• Some Results on Classical Preferential Models