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/4063

Title: Contraction core for horn belief change: preliminary report
Authors: Booth, R
Meyer, T
Varzinczak, I
Wassermann, R
Keywords: Non-Monotonic Reasoning
Horn logic
Horn contraction
Entailment-based contraction
e-contraction
Inconsistency-based contraction
i-contraction
Package contraction
p-contraction
Issue Date: May-2010
Citation: Booth, R, Meyer, T, Varzinczak, I and Wassermann, R. 2010. 13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada, pp 7
Abstract: In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder sets, as recently proposed by Booth et al., corresponds exactly to Hansson’s classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through Horn contraction for belief bases during which we prove that kernel contraction for Horn belief bases produces precisely the same results as the belief base version of the Booth et al. construction method. The use of belief bases to obtain the result provides evidence for the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features. The paper focuses on Delgrande’s entailment-based contraction (e-contraction), but we also mention similar results for inconsistency-based contraction (i-contraction) and package contraction (p-contraction).
Description: 13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada
URI: http://hdl.handle.net/10204/4063
Appears in Collections:Digital intelligence
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Booth_2010.pdf120.29 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