Default reasoning and inheritance mechanisms on type hierarchies

Published 1 January 1980

Jaime Carbonell

Citations26

TL;DR

A proposed generalized inheritance mapping approach is proposed to resolve issues of lateral and upward inheritance (to augment the traditional downward approach), as well as default reasoning and limited non-monotonic inference.

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.

Keywords

Computer Science

Artificial IntelligenceA logic for default reasoning

3,920 Citations1980Raymond Reiter

This paper proposes a logic for default reasoning, develops a complete proof theory and shows how to interface it with a top down resolution theorem prover, and provides criteria under which the revision of derived beliefs must be effected.

Artificial IntelligenceNon-monotonic logic I

891 Citations1980Drew McDermott, Jon Doyle

A model and proof theories, a proof procedure, and applications for one non-monotonic logic are developed, and it is proved the completeness of the non-Monotonic predicate calculus and the decidability of theNon- monotonic sentential calculus.

View PDF

IEEE Transactions on Man Machine SystemsAI in CAI: An Artificial-Intelligence Approach to Computer-Assisted Instruction

890 Citations1970Jaime Carbonell

The research reported here is to show that a new and more powerful type of computer-assisted instruction (CAI), based on extensive application of artificial-intelligence (AI) techniques, is feasible, and to demonstrate some of its major capabilities.

NETL: A System for Representing and Using Real-World Knowledge

528 Citations1979Scott E. Fahlman

A simulator for the parallel network system has been implemented in MACLISP, and an experimental version of NETL, a language for storing real-world information in such a network, is running on this simulator.

Elsevier eBooksREASONING FROM INCOMPLETE KNOWLEDGE

158 Citations1975Allan Collins, Eleanor H. Warnock +2 more

This chapter describes this kind of human reasoning in terms of how a computer can be made to reason in the same illogical way as human reasoning, and presents SCHOLAR, a computer program whose knowledge about the world is stored in a semantic network structured like human memory.

Expanding the Utility of Semantic Networks Through Partitioning

133 Citations1975Gary G. Hendrix

An augmentation of semantic networks is presented in which the various nodes and arcs are partitioned into "net spaces" that delimit the scopes of quantified variables, distinguish hypothetical and imaginary situations from reality, encode alternative worlds considered in planning, and focus attention at particular levels of detail.

Artificial IntelligenceTowards a process model of human personality traits

79 Citations1980Jaime Carbonell

It is argued that the goal-expectation setting, created from an analysis of personality traits attributed to actors in a story, establishes a best-first evaluation criterion that makes more tractable the search problem inherent in story understanding.

Research in Natural Language Understanding

55 Citations1978Bonnie Webber, Robert Bobrow +1 more

Techniques required for fluent and effective communication between a decision maker and an intelligent computerized display system in the context of complex decision tasks such as military command and control are developed.

International Joint Conference on Artificial IntelligenceOn inheritance in knowledge representation

46 Citations1979Mark S. Fox

This paper proposes that in some cases inheritance between concepts is idiosyncratic and does not fit predefined inheritance relations and current methods of specifying inheritance modification and similarity mappings are complex to specify and understand.