DSpace
 

Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/6012

Title: A general family of preferential belief removal operators
Authors: Booth, R
Meyer, T
Sombattheera, C
Keywords: Belief revision
Belief removal
Belief contraction
Belief change
Plausibility orderings
Finite belief bases
Issue Date: May-2012
Publisher: Springer
Citation: Booth, R, Meyer, T and Sombattheera, C. 2012. A general family of preferential belief removal operators. Journal of Philosophical Logic, vol. 41(4), pp 711-733
Series/Report no.: Workflow;9304
Abstract: 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.
Description: Copyright: 2012 Springer. This is the post-print version of the work. The definitive version is published in Journal of Philosophical Logic, vol. 41(4), pp 711-733
URI: http://www.springerlink.com/content/f6368324072g3344/
http://www.springerlink.com/content/f6368324072g3344/fulltext.pdf
http://hdl.handle.net/10204/6012
ISSN: 0022-3611
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Meyer1_2012.pdf469.33 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback