Search
 
loader loading subjects...
cover
Horn Belief Change: A Contraction Core
Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
1065 - 1066
10.3233/978-1-60750-606-5-1065
Frontiers in Artificial Intelligence and Applications
Volume 215: ECAI 2010
Abstract

We 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.

Download
Creative Commons License