A Semantical Approach to Stable Inheritance Reasoning
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Commonsense Reasoning. Pages 1134-1138.
Abstract
Inheritance reasoning has frequently been characterized by algorithms designed to operate on inheritance networks, or collections of links. While the intended meaning of links in a network is understood, formal semantic accounts of such networks are somewhat troublesome, as are semantic accounts of the inference process. We suggest that links be interpreted as sentences in the conditional logic E, providing a formal interpretation for such networks. Furthermore, we develop a semantic characterization of inheritance reasoning based on the technique of minimal (or preferred) models. In the process, we identify a key difference between this characterization of inference in networks and those based on the notion of inferential distance, specifically with respect to stability
@inproceedings{ijcai1989p182,
title = {A Semantical Approach to Stable Inheritance Reasoning},
author = {Boutilier, Craig},
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 = {1134--1138},
year = {1989},
month = {8},
note = {Commonsense Reasoning},
url = {https://ijcai.org/proceedings/1989/182},
}
TY - CPAPER TI - A Semantical Approach to Stable Inheritance Reasoning AU - Boutilier, Craig T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 1134 EP - 1138 UR - https://ijcai.org/proceedings/1989/182 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
