Corpus ID: 5143955

The Mathematics of Inheritance Systems

  title={The Mathematics of Inheritance Systems},
  author={D. Touretzky},
Virtually all AI and object-oriented programming languages include inheritance systems. Common examples are FRL, KRL, KLONE, NETL, Simula, Smalltalk, Flavors, and Ada. Systems that permit exceptions to inherited properties, which involves a form of nonmonotonic reasoning, remained unformalized until quite recently. The lack of a formal theory hid some defects in existing implementations. One defect was an incorrect treatment of networks with multiple grounded expansions. (A grounded expansion… Expand
575 Citations
Declarative Frameworks for Inheritance
  • 8
  • Highly Influenced
A Calculus for Inheritance in Monotonic Semantic Nets
  • 48
Disjunctive Logic Programs with Inheritance DBAI-TR-99-30
The Case for Explicit Exceptions
  • 7
  • Highly Influenced
  • PDF
Logics for Inheritance Theory
  • 33
  • Highly Influenced
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
  • 327
  • PDF
A Logic Based Language for Parametric Inheritance
  • 8
Disjunctive Logic Programs with Inheritance
  • 102
  • Highly Influenced
  • PDF