Relating Belief Revision and Circumscription
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Pages 1557-1565.
Abstract
Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios. Both approaches have been proven effective in a number of different situations. However, little is known about their relationship. Previous work by Winslett has shown some correlations between a specific operator and circumscription. In this paper we greatly extend Winslett's work by establishing new relations between circumscription and a large number of belief revision operators. This highlights similarities and differences between these formalisms. Furthermore, these connections provide us with the possibility of importing results in one field into the other one.
@inproceedings{ijcai1995p201,
title = {Relating Belief Revision and Circumscription},
author = {Liberatore, Paolo and Schaerf, Marco},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1557--1565},
year = {1995},
url = {https://ijcai.org/proceedings/1995/201},
}
TY - CPAPER TI - Relating Belief Revision and Circumscription AU - Liberatore, Paolo AU - Schaerf, Marco T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1557 EP - 1565 UR - https://ijcai.org/proceedings/1995/201 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
