Graded inheritance nets for knowledge representation
Inheritance nets are used for the representation of hierarchical knowledge. If we allow the representation of positive and negative information, conflicts can occur. They are resolved according to the deduction strategy used (cp. [T 86], [HTT 87], [THT 87]) that is based on two fundamental principles: 1. A link is better than a compound path. 2. More specific information is better than less specific information. We doubt these principles and give an alternative approach instead. It is more general in that it allows to label the links in an inheritance net. The decision which path to believe depends on a partial order given on the labels of the net.
We will show that we can model preemption as defined by [T 86] and get the set of sceptical valid paths as the intersection of all possible sets of credulous valid paths.
Unable to display preview. Download preview PDF.
- [H 94]Horty, John F.: Some Direct Theories of Nonmonotonic Inheritance, in: Gabbay, Dov M.: Hogger, C. J.; Robinson, J. A. (ed.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Clarendon Press, Oxford, 1994.Google Scholar
- [HTT 87]Horty, J. F.; Thomason, R. H.; Touretzky, D.S.: A skeptical theory of inheritance in nonmonotonic semantic nets. Proceedings of AAAI-87, 1987.Google Scholar
- [SL 93]
- [T 86]Touretzky, D.S.: The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos, CA, 1986.Google Scholar
- [THT 87]Touretzky, D.S.: Horty, J. F.; Thomason, R. H.: A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems, IJCAI-87, pp 476–482, 1987.Google Scholar