Catalogue of Artificial Intelligence Techniques


Jump to: Top | Entry | References | Comments

View Maths as: Images | MathML


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



Add Comment

No comments.