Definability of Horn Revision from Horn Contraction
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1205-1211.
Abstract
In the AGM framework [Alchourron and Makinson, 1985], a revision function can be defined directly through constructions like systems of spheres, epistemic entrenchment, etc., or indirectly through a contraction operation via the Levi identity. A recent trend is to construct AGM style contraction and revision functions that operate under Horn logic. A direct construction of Horn revision is given in [Delgrande and Peppas, 2011]. However, it is unknown whether Horn revision can be defined indirectly from Horn contraction. In this paper, we address this problem by obtaining a model-based Horn revision through the model-based Horn contraction studied in [Zhuang and Pagnucco, 2012]. Our result shows that, under proper restrictions, Horn revision is definable through Horn contraction via the Levi identity.
@inproceedings{ijcai2013p181,
title = {Definability of Horn Revision from Horn Contraction},
author = {Zhuang, Zhi Qiang and Pagnucco, Maurice and Zhang, Yan},
booktitle = {Proceedings of the Twenty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-13}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Francesca Rossi},
pages = {1205--1211},
year = {2013},
month = {8},
url = {https://ijcai.org/proceedings/2013/181},
}
TY - CPAPER TI - Definability of Horn Revision from Horn Contraction AU - Zhuang, Zhi Qiang AU - Pagnucco, Maurice AU - Zhang, Yan T2 - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2013 SP - 1205 EP - 1211 UR - https://ijcai.org/proceedings/2013/181 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
