---
title: "Transitively Relational Partial Meet Horn Contraction"
authors:
  - "Zhi Qiang Zhuang"
  - "Maurice Pagnucco"
doi: "10.5591/978-1-57735-516-8/IJCAI11-193"
url: "https://ijcai.org/proceedings/2011/193"
pdf: "https://ijcai.org/proceedings/2011/0193.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "1132-1137"
track: ""
keywords:
---

# Transitively Relational Partial Meet Horn Contraction

Zhi Qiang Zhuang, Maurice Pagnucco

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 1132-1137. DOI: [10.5591/978-1-57735-516-8/IJCAI11-193](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-193)

## Abstract

Following the recent trend of studying the theory of belief revision under the Horn fragment of propo- sitional logic this paper develops a fully charac- terised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourron et al., 1985]. This Horn con- traction 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.