Transitively Relational Partial Meet Horn Contraction
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 1132-1137.
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.
Zhi Qiang Zhuang, and Maurice Pagnucco. 2011. Transitively Relational Partial Meet Horn Contraction. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 1132–1137. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-193
Zhuang, Z. Q., & Pagnucco, M. (2011). Transitively Relational Partial Meet Horn Contraction. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 (pp. 1132–1137). IJCAI. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-193
@inproceedings{ijcai2011p193,
title = {Transitively Relational Partial Meet Horn Contraction},
author = {Zhuang, Zhi Qiang and Pagnucco, Maurice},
booktitle = {Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence, {IJCAI-11}},
publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
editor = {Toby Walsh},
pages = {1132--1137},
year = {2011},
month = {7},
doi = {10.5591/978-1-57735-516-8/IJCAI11-193},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-193},
}
TY - CPAPER TI - Transitively Relational Partial Meet Horn Contraction AU - Zhuang, Zhi Qiang AU - Pagnucco, Maurice T2 - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11 PB - AAAI Press/International Joint Conferences on Artificial Intelligence PY - 2011 SP - 1132 EP - 1137 DO - 10.5591/978-1-57735-516-8/IJCAI11-193 UR - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-193 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
