Booth, RMeyer, TVarzinczak, IWassermann, R2010-07-132010-07-132010-05Booth, R, Meyer, T, Varzinczak, I and Wassermann, R. 2010. 13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada, pp 7http://hdl.handle.net/10204/406313th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, CanadaIn 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).enNon-Monotonic ReasoningHorn logicHorn contractionEntailment-based contractione-contractionInconsistency-based contractioni-contractionPackage contractionp-contractionConference PresentationBooth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Contraction core for horn belief change: preliminary report. http://hdl.handle.net/10204/4063Booth, R, T Meyer, I Varzinczak, and R Wassermann. "Contraction core for horn belief change: preliminary report." (2010): http://hdl.handle.net/10204/4063Booth R, Meyer T, Varzinczak I, Wassermann R, Contraction core for horn belief change: preliminary report; 2010. http://hdl.handle.net/10204/4063 .TY - Conference Presentation AU - Booth, R AU - Meyer, T AU - Varzinczak, I AU - Wassermann, R AB - 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). DA - 2010-05 DB - ResearchSpace DP - CSIR KW - Non-Monotonic Reasoning KW - Horn logic KW - Horn contraction KW - Entailment-based contraction KW - e-contraction KW - Inconsistency-based contraction KW - i-contraction KW - Package contraction KW - p-contraction LK - https://researchspace.csir.co.za PY - 2010 T1 - Contraction core for horn belief change: preliminary report TI - Contraction core for horn belief change: preliminary report UR - http://hdl.handle.net/10204/4063 ER -