Graded inheritance nets for knowledge representation

  • Ingrid Neumann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)


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.

Unable to display preview. Download preview PDF.


  1. [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
  2. [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
  3. [SL 93]
    Selman, Bart; Levesque, Hector J.: The complexity of path-based defeasible inheritance, Artificial Intelligence 62 (1993), pp. 303–339.CrossRefGoogle Scholar
  4. [T 86]
    Touretzky, D.S.: The Mathematics of Inheritance Systems, Morgan Kaufmann, Los Altos, CA, 1986.Google Scholar
  5. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Ingrid Neumann
    • 1
  1. 1.Institut für Logik, Komplexität und DeduktionssystemeUniversität KarlsruheKarlsruheGermany

Personalised recommendations