Behavior of Interpreter
Enforce consistency of bindings across clauses.
Must match conditions efficiently:
- Large numbers of rules cannot be searched linearly: need some form of indexing
- trade-off betw. expressiveness of language/ease of match
Needs conflict resolution strategy when more than one rule can fire.
- E.g. fire all vs. fire exactly one (based on: rules, objects, or actions?)
May require additional capabilities to, e.g., combine certainty factors.