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.
Reference:
Booth, 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 2
Booth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Horn belief change: A contraction core. http://hdl.handle.net/10204/4528
Booth, R, T Meyer, I Varzinczak, and R Wassermann. "Horn belief change: A contraction core." (2010): http://hdl.handle.net/10204/4528
Booth R, Meyer T, Varzinczak I, Wassermann R, Horn belief change: A contraction core; 2010. http://hdl.handle.net/10204/4528 .