{"type":"ScholarlyArticle","title":"Transitively Relational Partial Meet Horn Contraction","authors":[{"name":"Zhi Qiang Zhuang","slug":"zhi-qiang-zhuang","given":"Zhi Qiang","family":"Zhuang","affiliation":""},{"name":"Maurice Pagnucco","slug":"maurice-pagnucco","given":"Maurice","family":"Pagnucco","affiliation":""}],"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.","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","markdown":"https://ijcai.org/proceedings/2011/193.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/193","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":193,"pages":{"first":1132,"last":1137},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}