Editing Rete algorithm (section)

=== Handling ORed conditions ===
When defining productions in a rule set, it is common to allow conditions to be grouped using an OR [[Logical connective|connective]]. In many production systems, this is handled by interpreting a single production containing multiple ORed patterns as the equivalent of multiple productions.   The resulting Rete network contains sets of terminal nodes which, together, represent single productions.   This approach disallows any form of short-circuiting of the ORed conditions.    It can also, in some cases, lead to duplicate production instances being activated on the agenda where the same set of WMEs match multiple internal productions.   Some engines provide agenda de-duplication in order to handle this issue.