Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
On the logic of iterated belief revision
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Belief liberation (and retraction)
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
A general family of preferential belief removal operators
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Hi-index | 0.00 |
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a new epistemic input. While most such possible world semantics rely on a single ordering, we investigate the use of an additional preference ordering-representing, for instance, the epistemic context the agent finds itself in-to guide the process of belief change. We show that the resultant formalism provides a unifying semantics for a wide variety of belief change operators. By varying the conditions placed on the second ordering, different families of known belief change operators can be captured, including AGM belief contraction and revision, Rott and Pagnucco's severe withdrawal, the systematic withdrawal of Meyer et al., as well as the linear liberation and @s-liberation operators of Booth et al. Our approach also identifies novel classes of belief change operators worthy of further investigation.