Booth, RMeyer, TVarzinczak, IWassermann, R2010-11-052010-11-052010-08Booth, R, Meyer, T, Varzinczak, I and Wassermann, R. 2010. Horn belief change: A contraction core. 19th European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal, 16-20 August 2010, pp 2http://hdl.handle.net/10204/452819th European Conference on Artificial Intelligence (ECAI), Lisbon, Portugal, 16-20 August 2010The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. Moreover, the link with base contraction gives us a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features.enHorn contractionArtificial intelligenceHorn belief changeConference PresentationBooth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Horn belief change: A contraction core. http://hdl.handle.net/10204/4528Booth, R, T Meyer, I Varzinczak, and R Wassermann. "Horn belief change: A contraction core." (2010): http://hdl.handle.net/10204/4528Booth R, Meyer T, Varzinczak I, Wassermann R, Horn belief change: A contraction core; 2010. http://hdl.handle.net/10204/4528 .TY - Conference Presentation AU - Booth, R AU - Meyer, T AU - Varzinczak, I AU - Wassermann, R AB - The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, which supports the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. Moreover, the link with base contraction gives us a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features. DA - 2010-08 DB - ResearchSpace DP - CSIR KW - Horn contraction KW - Artificial intelligence KW - Horn belief change LK - https://researchspace.csir.co.za PY - 2010 T1 - Horn belief change: A contraction core TI - Horn belief change: A contraction core UR - http://hdl.handle.net/10204/4528 ER -