Dynamic belief revision operators
TLDR
The original Darwiche-Pearl approach is shown to be excessively strong and rather limited in scope, and a dynamic revision operator is provided via entrenchment kinematics as well as a simple form of lexicographic revision.About:
This article is published in Artificial Intelligence.The article was published on 2003-06-01 and is currently open access. It has received 130 citations till now. The article focuses on the topics: Belief revision.read more
Citations
More filters
Journal ArticleDOI
Iterated belief revision, revised
Yi Jin,Michael Thielscher +1 more
TL;DR: In this paper, the authors present a formal analysis of the deficiency of the standard postulates alone, and show how to solve the problem by an additional postulate of independence, which is compatible with AGM and DP.
Journal ArticleDOI
AGM 25 Years : Twenty-Five Years of Research in Belief Change
Eduardo Fermé,Sven Ove Hansson +1 more
TL;DR: The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases.
Book ChapterDOI
Shifting priorities: Simple representations for twenty-seven iterated theory change operators
TL;DR: It is shown how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief states—methods that have usually been characterized semantically by a system-of-spheres modeling.
Proceedings Article
Iterated revision as prioritized merging
TL;DR: This work argues that there is no reason, given a static world, for giving priority to more recent items, and suggests that a sequence of observations should be merged with the agent's beliefs.
Journal ArticleDOI
Admissible and restrained revision
Richard Booth,Thomas Meyer +1 more
TL;DR: It is demonstrated that restrained revision is the most conservative of admissible revision operators, effecting as few changes as possible, while lexicographic revision isThe least conservative, and the establishment of a principled approach for choosing an appropriate revision operator in different contexts is proposed.
References
More filters
Journal ArticleDOI
On the logic of theory change: Partial meet contraction and revision functions
TL;DR: In this article, the authors extend earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising it to introduce a new proposition.
Journal ArticleDOI
Nonmonotonic reasoning, preferential models and cumulative logics
TL;DR: In this paper, a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13], are studied from both proof-theoretic and semantic points of view.
Posted Content
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics
TL;DR: The preferential models proposed here are a much stronger tool than Adams' probabilistic semantics, and are defined and characterized by representation theorems, relating the two points of view.
Book
Knowledge in Flux: Modeling the Dynamics of Epistemic States
TL;DR: Knowledge in Flux presents a theory of rational changes of belief, focusing particularly on revisions that occur when the agent receives new information that is inconsistent with the present epistemic state.