Transitively Relational Partial Meet Horn Contraction
Zhiqiang Zhuang, Maurice Pagnucco · 2012
Following the recent trend of studying the theory of belief revision under the Horn fragment of propositional logic this paper develops a fully characterised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourrón et al., 1985]. This Horn contraction extends the partial meet Horn contraction studied in [Delgrande and Wassermann, 2010] so that it is guided by a transitive relation that models the ordering of plausibility over sets of beliefs.