Transitively Relational Partial Meet Horn Contraction
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.
Cite
Text
Zhuang and Pagnucco. "Transitively Relational Partial Meet Horn Contraction." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-193Markdown
[Zhuang and Pagnucco. "Transitively Relational Partial Meet Horn Contraction." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/zhuang2011ijcai-transitively/) doi:10.5591/978-1-57735-516-8/IJCAI11-193BibTeX
@inproceedings{zhuang2011ijcai-transitively,
title = {{Transitively Relational Partial Meet Horn Contraction}},
author = {Zhuang, Zhi Qiang and Pagnucco, Maurice},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {1132-1138},
doi = {10.5591/978-1-57735-516-8/IJCAI11-193},
url = {https://mlanthology.org/ijcai/2011/zhuang2011ijcai-transitively/}
}