Horn Contraction via Epistemic Entrenchment

• Published in: Logics in Artificial Intelligence pp. 339 - 351
• Main Authors: Zhuang, Zhi Qiang, Pagnucco, Maurice
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Series: Lecture Notes in Computer Science
• Subjects: Belief Change; Contraction Operator; Horn Clause; Horn Formula; Underlying Logic
• ISBN: 9783642156748; 3642156746
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-15675-5_29

Belief change studies the way in which a reasoner should maintain its beliefs in the face of newly acquired information. The AGM account of belief change assumes an underlying logic containing classical propositional logic. Recently, there has been interest in studying belief change, specifically contraction, under the Horn fragment of propositional logic (i.e., Horn logic). In this paper we continue this line of research, and propose a Horn contraction that is based on the Epistemic Entrenchment (EE) construction of AGM contraction. The standard EE construction refers to arbitrary disjunctions which are not available in Horn logic. Therefore, we make use of a Horn approximation technique called Horn strengthening. An ideal Horn contraction should be as plausible as an AGM contraction. In other words it should performs identically with AGM contractions when restricted to Horn logic. We demonstrate that no EE based Horn contraction satisfies this criterion unless we apply certain restrictions to the AGM contraction. A representation theorem is proved which identifies the characterising postulates for our Horn contraction.