Article (Scientific journals)
A general family of preferential belief removal operators
Booth, Richard; Meyer, Thomas; Sombattheera, Chattrakul
2012In Journal of Philosophical Logic, 41 (4), p. 711-733
Peer Reviewed verified by ORBi
 

Files


Full Text
Journal of Philosophical Logic 2012 Booth.pdf
Publisher postprint (523.83 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Belief revision; Belief removal; Belief contraction; Belief change; Plausibility orderings; Finite belief bases
Abstract :
[en] Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the plausibility ordering with a second, guiding, relation over the worlds was presented in Booth et al. (Artif Intell 174:1339–1368, 2010). However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of Booth et al. (Artif Intell 174:1339–1368, 2010) to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on finite prioritised belief bases.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2012-1110
Author, co-author :
Booth, Richard ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Meyer, Thomas;  CSIR Meraka Institute, Pretoria, South Africa
Sombattheera, Chattrakul;  Mahasarakham University, Thailand
Language :
English
Title :
A general family of preferential belief removal operators
Publication date :
2012
Journal title :
Journal of Philosophical Logic
ISSN :
0022-3611
Publisher :
Springer
Volume :
41
Issue :
4
Pages :
711-733
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 11 November 2013

Statistics


Number of views
49 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
0
Scopus citations®
without self-citations
0
OpenCitations
 
0
WoS citations
 
0

Bibliography


Similar publications



Contact ORBilu