An Evidence-based Framework for a Theory of Inheritance

Thirunarayan, Krishnaprasad; Kifer, Michael

An Evidence-based Framework for a Theory of Inheritance

Krishnaprasad Thirunarayan, Michael Kifer

Download BibTeX Cite

Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Commonsense Reasoning. Pages 1093-1097.

Abstract

We present an approach to formalizing nonmonotonic multiple inheritance networks by combining concepts from logic programming and multi-valued logics in a uniform framework. A Horn-clause logic language is used for specifying inheritance networks. This allows a natural representation of class-subclass hierarchies and ambiguous inheritance networks. It also provides means for resolving ambiguities resulting from the network topology, but which are not .inherent to the problem. We provide a model theory for the language and show how a unique intended model can be associated with every inheritance network. This model resembles the unique extension obtained in the skeptical theory of inheritance [Hor-87], but is more general. Finally, we present an algorithm which realizes the aforementioned semantics.

Krishnaprasad Thirunarayan, and Michael Kifer. 1989. An Evidence-based Framework for a Theory of Inheritance. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89. IJCAI, 1093–1097. https://ijcai.org/proceedings/1989/175

@inproceedings{ijcai1989p175,
  title     = {An Evidence-based Framework for a Theory of Inheritance},
  author    = {Thirunarayan, Krishnaprasad and Kifer, Michael},
  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     = {1093--1097},
  year      = {1989},
  month     = {8},
  note      = {Commonsense Reasoning},
  url       = {https://ijcai.org/proceedings/1989/175},
}

TY  - CPAPER
TI  - An Evidence-based Framework for a Theory of Inheritance
AU  - Thirunarayan, Krishnaprasad
AU  - Kifer, Michael
T2  - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1989
SP  - 1093
EP  - 1097
UR  - https://ijcai.org/proceedings/1989/175
ER  -