Rule Interpreter(forward chaining) Identify triggered rules, creating rule instances Choose one rule instance(called conflict resolution) Fire the chosen rule instance 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 rule instance: rule with variables filled in8 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, most specific 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, most specific 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