On the Declarative Semantics of Inheritance Networks
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Commonsense Reasoning. Pages 1099-1102.
Abstract
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmic aspect, which is usually complex, these approaches to inheritance are not truly declarative. We provide a general framework for specifying a direct semantics of inheritance networks. Because the networks are not expressive enough to capture all intuitions behind inheritance, a number of significantly different semantics have been proposed. Our approach allows us to give direct semantics to a number of different proposals found in the literature, and clarifies the relationships among them. It also provides a yardstick for measuring adequacy oftranslation into logical formalisms of various intuitions about inheritance.
@inproceedings{ijcai1989p176,
title = {On the Declarative Semantics of Inheritance Networks},
author = {Thirunarayan, Krishnaprasad and Kifer, Michael and Warren, David Scott},
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 = {1099--1102},
year = {1989},
month = {8},
note = {Commonsense Reasoning},
url = {https://ijcai.org/proceedings/1989/176},
}
TY - CPAPER TI - On the Declarative Semantics of Inheritance Networks AU - Thirunarayan, Krishnaprasad AU - Kifer, Michael AU - Warren, David Scott T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1099 EP - 1102 UR - https://ijcai.org/proceedings/1989/176 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
