Catalogue of Artificial Intelligence Techniques
Aliases: Procedural Embedding
Keywords: CONNIVER, KRL, Micro-PLANNER, servants, traps, triggers
Categories: Knowledge Representation
Author(s): Robert Corlett
It is often necessary in knowledge representation for an executable procedure to be directly associated with one or more data structures, in order to indicate when it should be used. Attached procedures lie dormant until certain conditions are satisfied, when they execute; e.g. in KRL two types of attached procedures are identified (which hold for most systems):
- servants: these are executed when some operation should be applied to a data object (or set of data objects). A selection mechanism may be required to select the right procedure if more than one is available.
- Demons: these are invoked when something has been done or is about to be done, (note that all demons whose conditions are met are activated).
- traps: these are attached to individual data objects and apply to operations and events involving the unit to which they are attached.
- triggers: these are attached to classes of data objects and apply to operations and events involving any objects in the class to which they are attached.
- Bobrow, D.G. and Winograd, T., An overview of KRL, a knowledge representation language Cognitive Science 1 (1977), 3--46, also appears in Readings in Knowledge
Representation, (Brachman, R.J. and Levesque,
H.J., eds.), Morgan Kaufmann,
1985, pp. 263--285