Default reasoning and inheritance mechanisms on type hierarchies

  • Authors:
  • Jaime G. Carbonell

  • Affiliations:
  • Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA

  • Venue:
  • Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

Abstract

Type hierarchies abound in Artificial Intelligence, Data Bases and Programming Languages. Although their size, use and complexity differs, all share a central inference mechanism: Inheritance of information, their raison d'etre. This paper discusses various types of type hierarchies and inheritance mechanisms, concluding with a proposed generalized inheritance mapping approach to resolve issues of lateral and upward inheritance (to augment the traditional downward approach), as well as default reasoning and limited non-monotonic inference.