Frame language

Frames (English for: frame) are constructs for knowledge representation, which are complementary to the representation of knowledge by means of logic (eg predicate logic). As the inventor of the frames shall Marvin Minsky. They can essentially be thought of as objects without methods, that is, frames are embedded in a natural and hierarchical inheritance structure and have attributes called slots (about: drawers ). Parent frames can thereby pass on their current slot values ​​, the so-called filler, to subordinate frames. Closely related to the non- logic -based frames are the semantic networks.

As a cognitive equivalent of frames stereotypes and prototypes / archetypes can be considered in humans. Man has to most situations, events, objects, and so certain ideas, " such as these have to be ." Example, we expect when entering a phone booth a payment option by coin or phone card to be found. If instead only the collection of 50 euro bills offered, this would lead to some surprise. The payment option can be understood within a frame as a slot, the specific value ranges can take that are acceptable for a frame of the type to be represented. A throw-in opportunity for coins would be a filler in the given example. In general situations, events, objects, etc., represented by a plurality of slots.

The finding that typings of this kind our everyday actions and think to a large extent underlie led to the development of the frames. Particular they are used in connection with methods of artificial intelligence.

Frame - based languages ​​and systems

Ocelot, Ontolingua, EcoCyc, RiboWeb, Protégé (ontology editor), OntoBroker, OntoStudio (ontology editor)

F- Logic

F- Logic, a formalism, the inference to object - or frame - based data permits, was introduced in 1989. F- Logic is therefore to be regarded as an extension of frames.