Small can be beautiful in knowledge representation

Published 3 December 1984

Peter F. Patel‐Schneider

Citations115

TL;DR

The benefits of limiting knowledge representation systems in these ways will be discussed in the context of a frame-based knowledge-representation system, called KANDOR, that has been developed at FLAIR, and its use as the knowledge representation component of ARGON, an interactive information retrieval system.

Abstract

Almost all knowledge representation systems subscribe to the thesis that big is beautiful. There are, however, some important advantages to limiting knowledge representation systems in a number of ways. For example, a limited and well-defined interface can prevent a knowledge representation system from being just a low-level utility for manipulating data structures. Instead, such a system can only be used in restricted ways, and so can be given a semantics independent of its implementation. Further, limiting the expressive power of a knowledge representation system can guarantee that all its operations terminate in reasonable time; this makes the system usable as part of larger systems that are constrained in time. The benefits of limiting knowledge representation systems in these ways will be discussed in the context of a frame-based knowledge-representation system, called KANDOR, that has been developed at FLAIR, and its use as the knowledge representation component of ARGON, an interactive information retrieval system.

Keywords

Computer Science

Elsevier eBooksA FRAMEWORK FOR REPRESENTING KNOWLEDGE

4,545 Citations1988Marvin Minsky

The enormous problem of the volume of background common sense knowledge required to understand even very simple natural language texts is discussed and it is suggested that networks of frames are a reasonable approach to represent such knowledge.

Cognitive ScienceAn overview of the KL-ONE Knowledge Representation System

1,620 Citations1985R. J. Brachman, James G. Schmolze

The kernel ideas of KL-ONE are presented, emphasizing its ability to form complex structured descriptions, and notions of taxonomy and classification that are central to it are highlighted.

Cognitive ScienceAn Overview of KRL, a Knowledge Representation Language

899 Citations1977Daniel G. Bobrow, Terry Winograd

KRL is an attempt to integrate procedural knowledge with a broad base of declarative forms to give flexibility in associating procedures with specific pieces of knowledge, and to control the relative accessibility of different facts and descriptions.

A logic of implicit and explicit belief

537 Citations1984Hector J. Levesque

This paper point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally.

ComputerKrypton: A Functional Approach to Knowledge Representation

363 Citations1983Brachman, Fikes +1 more

The authors have developed a design strategy for avoiding these types of problems and have implemented a representation system based on it, called Krypton, which clearly distinguishes between definitional and factual information.

The tractability of subsumption in frame-based description languages

338 Citations1984Ronald J. Brachman, Hector J. Levesque

Evidence is presented as to how the cost of computing one kind of inference is directly related to the expressiveness of the representation language.

National Conference on Artificial IntelligenceRABBIT: an intelligent database assistant

103 Citations1982Frederich N. Tou, Michael D. Williams +3 more

RABBIT particularily facilitates users who approach a database with only a vague idea of what it is that they want and who thus, need to be guided in the (re)formulation of their queries.

Elsevier eBooksA PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS

90 Citations1979Hector J. Levesque, John Mylopoulos

An approach to the representation of knowledge that formalizes traditional semantic network concepts within a procedural framework is described and it is demonstrated that each type must have different inheritance rules, which can be expressed quite simply in the representation.

Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Belief and incompleteness

81 Citations1984Kurt Konolige

The chess scenario is an anecdotal example of the way inaccurate cognitive models can lead to behavior that is less than intelligent in artificial agents.