First page Back Continue Last page Overview Graphics
The Inference Process
Antecedent Matching
- matches facts in working memory against antecedents of rules
- each combination of facts that satisfies a rule is called an instantiation
- each matching rule is added to the conflict set or agenda