Sometimes Updates Are Circumscription
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Planning, Scheduling, Reasoning About Actions. Pages 859-862.
Abstract
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible as a form of circumscription . This shows that in certain applications, the cumbersome conceptually machinery of circumscription can be replaced by the intuitively simpler ideas of modelbased theory revision. Where theory revision techniques are insufficient to capture the semantics of change in an application, circumscription will offer a more flexible environment. In addition, future advances in computing circumscription can be mapped to improvements in computing theory revisions, and vice versa.
@inproceedings{ijcai1989p137,
title = {Sometimes Updates Are Circumscription},
author = {Winslett, Marianne},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {859--862},
year = {1989},
month = {8},
note = {Planning, Scheduling, Reasoning About Actions},
url = {https://ijcai.org/proceedings/1989/137},
}
TY - CPAPER TI - Sometimes Updates Are Circumscription AU - Winslett, Marianne T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 859 EP - 862 UR - https://ijcai.org/proceedings/1989/137 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
