A Unified View of Consequence Relation, Belief Revision and Conditional Logic
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 406-411.
Abstract
The notion of minimality is widely used in three different areas of Artificial Intelligence : nonmonotonic reasoning, belief revision, and conditional reasoning. However, it is difficult for the readers of the literature in these ..areas to perceive the similarities clearly, because each formalization in those areas uses its own language sometimes without referring to other formalizations. We define ordered structures and families of ordered structures as the common ingredient of the semantics of all the works above. We also define the logics for ordered structures and families . We present a uniform view of how minimality is used in these three areas, and shed light on deep reciprocal relations among different approaches of the areas by using the ordered structures and the families of ordered structures.
@inproceedings{ijcai1991p61,
title = {A Unified View of Consequence Relation, Belief Revision and Conditional Logic},
author = {Katsuno, Hirofumi and Satoh, Ken},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {406--411},
year = {1991},
month = {8},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1991/61},
}
TY - CPAPER TI - A Unified View of Consequence Relation, Belief Revision and Conditional Logic AU - Katsuno, Hirofumi AU - Satoh, Ken T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 406 EP - 411 UR - https://ijcai.org/proceedings/1991/61 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
