Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction.

Autor: Lang, Jérôme, Fangzhen Lin, Ju Wang, Nayak, Abhaya, Goebel, Randy, Orgun, Mehmet, Pham, Tam
Zdroj: Knowledge Science, Engineering & Management; 2006, p305-317, 13p
Abstrakt: Most work on iterated belief change has focused on iterated belief revision, namely how to compute (K*x)*y. Historically however, belief revision can be defined in terms of belief expansion and belief contraction, where expansion and contraction are viewed as primary operators. Accordingly, our attention to iterated belief change should be focused on constructions like (K+x)+y, (K-x)+y, (K+x)-y and (K-x)-y. The first two of these are relatively straightforward, but the last two are more problematic. Here we consider these latter, and formulate iterated belief change by employing the Levi identity and the Harper Identity as the guiding principles. Keywords: Belief Change, Information State Change, Iterated Belief Contraction. [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index