KL-ONE
KL-ONE is a knowledge representation system in the tradition of semantic networks and frames of artificial intelligence . KL-ONE is a structured inheritance network .
The system tries to avoid semantic ambiguity in semantic network representations and to represent conceptual information explicitly as a structured inheritance network.
There is a whole family of KL-ONE type systems.
The system emerged from the dissertation of Ronald J. Brachman (Harvard 1977) and was also the root of the logic of description .
overview
Frames are called concepts in KL-ONE. These form hierarchies through the use of subsume relations (“Concept A includes concept B” is synonymous with “Concept A is upper class of concept B”, thus upper classes include subclasses). Multiple inheritance is also allowed. A concept is only considered to be well-formed if its inherited properties come from at least two different classes. Thus, all concepts, except the start concept (basic concept, top concept, includes all others and has no properties), have at least one super class.
Descriptions in KL-ONE are divided into two basic classes of concepts: primitive ( primitive ) and defined concepts ( defined ). Primitive are domain concepts that have not been fully defined. If you have given all the properties of a concept, this is not enough to classify it. Descriptions can also be viewed as incomplete definitions. Defined concepts, on the other hand, are complete definitions.
If the properties of a concept are given, descriptions represent necessary and sufficient conditions for classifying a concept.
The slot concept is called a role . Roles can have values; these values are comparable to values for slots in frames. There are different types of roles that are used in different situations. The most common and most important role type is the generic role set, the purpose of which is to be assigned more than one value.
credentials
- RJ Brachman, J. Schmolze: An Overview of the KL-ONE Knowledge Representation System . Cognitive Sci 9 (2), 1985.
- DA Duce, GA Ringland: Approaches to Knowledge Representation, An Introduction . Research Studies Press, 1988. ISBN 0-86380-064-5 .