Catalogue of Artificial Intelligence Techniques
Aliases: Antecedent Theorem, If-added Method
Keywords: inference rules
Categories: Inference and Reasoning
Author(s): AIWORD.DOC file (online: ARPA-net)
A part of a program which is automatically triggered when particular
condition(s) occur; for instance a knowledge manipulation program
might implement inference rules as demons.
Whenever a new piece of knowledge is input, some of the demons
(depending on the nature of the particular piece of knowledge) would
activate and create additional pieces of knowledge by applying their
sets of inference rules to it. These new pieces of knowledge in turn
might result in more demons begin activated, as the inference process
filters down through chains of logic. In the meantime, the main program can continue with whatever is its primary task. See Data-directed Control.=-1
- Nilsson, N.J., Principles of Artificial Intelligence
, Tioga Pub. Co., Palo Alto, California, 1980.