Rule Interpreter(forward chaining Identify triggered rules, creating rule instances antecedents in assertions database rule instance: rule with variables filled in Choose one rule instance(called conflict resolution) Conflict resolution strategies e.g. first instance, random instance, etc Rule Interpreter(forward chaining) Identify triggered rules, creating rule instances triggered rule antecedents in assertions database rule instance: rule with variables filled in Choose one rule instance(called conflict resolution) Conflict resolution strategies e.g. first instance, random instance, etc Fire the chosen rule instance Firing a rule instance means performing the actions ndicated by the rule (e.g. adding a new assertion)9 Rule Interpreter (forward chaining) • Identify triggered rules, creating rule instances • triggered rule: – antecedents in assertions database – can change the database (e.g. add new assertion) • rule instance: rule with variables filled in • Choose one rule instance (called conflict resolution) • Conflict resolution strategies e.g. first instance, random instance, etc. • Fire the chosen rule instance • Firing a rule instance means performing the actions indicated by the rule (e.g. adding a new assertion) • Terminate when no triggered rules or special stop assertion Rule Interpreter (forward chaining) • Identify triggered rules, creating rule instances • triggered rule: – antecedents in assertions database – can change the database (e.g. add new assertion) • rule instance: rule with variables filled in • Choose one rule instance (called conflict resolution) • Conflict resolution strategies e.g. first instance, random instance, etc. • Fire the chosen rule instance • Firing a rule instance means performing the actions indicated by the rule – (e.g. adding a new assertion) • Terminate when no triggered rules or special stop assertion