Editing Rete algorithm (section)

== Miscellaneous considerations ==
Although not defined by the Rete algorithm, some engines provide extended functionality to support greater control of [[Truth maintenance systems|truth maintenance]].   For example, when a match is found for one production, this may result in the assertion of new WMEs which, in turn, match the conditions for another production.  If a subsequent change to working memory causes the first match to become invalid, it may be that this implies that the second match is also invalid. The Rete algorithm does not define any mechanism to define and handle these [[logical truth]] dependencies automatically.  Some engines, however, support additional functionality in which truth dependencies can be automatically maintained.  In this case, the retraction of one WME may lead to the automatic retraction of additional WMEs in order to maintain logical truth assertions.

The Rete algorithm does not define any approach to justification. Justification refers to mechanisms commonly required in expert and decision systems in which, at its simplest, the system reports each of the inner decisions used to reach some final conclusion. For example, an expert system might justify a conclusion that an animal is an elephant by reporting that it is large, grey, has big ears, a trunk and tusks. Some engines provide built-in justification systems in conjunction with their implementation of the Rete algorithm.

This article does not provide an exhaustive description of every possible variation or extension of the Rete algorithm.   Other considerations and innovations exist.    For example, engines may provide specialised support within the Rete network in order to apply pattern-matching rule processing to specific [[data types]] and sources such as [[Object (computer science)|programmatic objects]], [[XML]] data or [[Table (database)|relational data tables]].   Another example concerns additional time-stamping facilities provided by many engines for each WME entering a Rete network, and the use of these time-stamps in conjunction with conflict resolution strategies.   Engines exhibit significant variation in the way they allow programmatic access to the engine and its working memory, and may extend the basic Rete model to support forms of parallel and distributed processing.