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