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).
Reference:
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
Booth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Contraction core for horn belief change: preliminary report. http://hdl.handle.net/10204/4063
Booth, R, T Meyer, I Varzinczak, and R Wassermann. "Contraction core for horn belief change: preliminary report." (2010): http://hdl.handle.net/10204/4063
Booth R, Meyer T, Varzinczak I, Wassermann R, Contraction core for horn belief change: preliminary report; 2010. http://hdl.handle.net/10204/4063 .
Author:Booth, R; Meyer, T; Varzinczak, IJDate:Jun 2009Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ...Read more
Author:Booth, R; Meyer, TDate:Jul 2012In this paper the authors present a brief overview of belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. The authors limit themselves ...Read more
Author:Nabarro, FRN; Cress, CM; Kotschy, PDate:Aug 1996Eshelby’s energy-momentum tensor is used to provide an analytical expression for the driving force for rafting in the elastic regime in a super alloy with a high volume fraction of gamma'. The structure is modeled as a simple cubic array of ...Read more