Double preference relations for generalised belief change
type: Item
instance of: scholarly article
title: Double preference relations for generalised belief change
zbMATH Open document ID: 1217.03020
author: Samir Chopra
author: Aditya Ghose
author: Richard Booth
author: Thomas Meyer
published in: Artificial Intelligence
publication date: 2011-01-31T00:00:00Z
review text: In 2002, \textit{H. Andréka, M. Ryan} and \textit{P.-Y. Schobbens} [``Operators and laws for combining preference relations'', J. Log. Comput. 12, No.~1, 13--53 (2002; Zbl 1008.91027)] proposed a very general semantic framework for the logic of belief change using multiple preference relations coordinated by a further `guiding relation'. The paper under review shows that even when there is only one preference relation, we can use the guiding relation to create a framework broad enough to cover quite a variety of systems of belief change from the literature, notably AGM contraction (and also revision), Rott and Pagnucco's severe withdrawal, systematic withdrawal of Meyer et al., and the liberation operators of Booth et al. Roughly speaking, one minimalizes under the guiding relation and then closes downwards under the preference relation. Appropriate completeness theorems are established, and the constructions are briefly compared with some others seeking similar generality, notably ones due to Bochman and of Cantwell. Bibliographical note: This paper develops a conference publication by the same authors [``A unifying semantics for belief change'', in: R. López de Mántaras et al. (eds.), Proceedings of the 16th European conference on artificial intelligence, ECAI'2004, including Prestigious applicants of intelligent systems, PAIS 2004, Valencia, Spain, August 22--27, 2004. Amsterdam: IOS Press. 793--797 (2004)]. In both papers, the context is restricted to finite classical propositional languages. In the meantime, \textit{D. M. Gabbay} and \textit{K. Schlechta} [``A comment on work by Booth and co-authors'', Stud. Log. 94, No. 3, 403--432 (2010; Zbl 1198.03024)] have worked on extending its constructions to the the infinite case.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5843092
zbMATH Keywords: belief change
zbMATH Keywords: belief removal
zbMATH Keywords: AGM
zbMATH Keywords: severe withdrawal
zbMATH Keywords: systematic withdrawal
zbMATH Keywords: belief liberation
MaRDI profile type: Publication
full work available at URL: j.artint.2010.08.001
OpenAlex ID: W2120171877
cites work: Q3107917
cites work: A textbook of belief dynamics. Theory change and database updating
cites work: Two modellings for theory change
cites work: Propositional knowledge base revision and minimal change
cites work: Eligible contraction
cites work: Operators and Laws for Combining Preference Relations
cites work: Elusive Knowledge
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: Belief liberation (and retraction)
cites work: Systematic withdrawal
cites work: Severe withdrawal (and recovery)
cites work: On the logic of iterated belief revision
cites work: A comment on work by Booth and co-authors
cites work: A General Family of Preferential Belief Removal Operators
cites work: Changes of disjunctively closed bases
cites work: Preferential belief change using generalized epistemic entrenchment
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Q2727768
cites work: Theory contraction and base contraction unified
DOI: 10.1016/J.ARTINT.2010.08.001
Recommended article: Non-prioritized ranked belief change
Recommended article: Minimal Preference Change
Recommended article: Belief Change
Recommended article: Q3455629
Recommended article: Dynamic logic for belief revision
Recommended article: A survey of belief revision and updating in classical logic
Recommended article: Systematic withdrawal
Recommended article: Probabilistic dynamic belief revision
Recommended article: Descriptor revision. Belief change through direct choice
Recommended article: Belief liberation (and retraction)
description: scientific article; zbMATH DE number 5843092