Rule-Based (Production) Systems

• Rules (productions): antecedents and consequents
• Deduction and reaction systems
• Assertions and working memory
• Pattern matching
• Rule firing
• Variables, binding, and instantiation
• Forward chaining
• Conflict resolution
  • Rule ordering
  • Context limiting
  • Specificity ordering
  • Recency ordering
• Depth-first search
• Breadth-first search
• Unification
• ACT* and SOAR