An Evidence-based Framework for a Theory of InheritanceProceedings of the Eleventh International Joint Conference on Artificial Intelligence
Document TypeConference Proceeding
AbstractWe 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.
Citation InformationKrishnaprasad Thirunarayan and Michael Kifer. "An Evidence-based Framework for a Theory of Inheritance" Proceedings of the Eleventh International Joint Conference on Artificial Intelligence Vol. 2 (1989) p. 1093 - 1098 ISSN: 1558600949
Available at: http://works.bepress.com/tk_prasad/71/