Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML

Procedural Attachment

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):

Two methods of attachment were identified: Both traps and triggers may be either servants or demons (c.f. `methods' in CONNIVER and `theorems' in Micro-PLANNER).



Add Comment

No comments.