|
The following is an interpretation of the “Planning Inference Model” from the CommonKads book: If the data object “requirements” is asserted first, the inference “operationalize” could trigger (if the conditions are met), or the if the data object “planGoal” is asserted first then the inference “generate could trigger first (if its conditions are met). The inferencing engine would NOT arbitrarily determine which inference would trigger first, it is determined by what has been made known to the Rete in the form of rules and the order of the asserted facts. Of course, if one wants to build the (deterministic) procedural programming aspect into the Rete then we have destructed the non-deterministic nature of the rules engine. Q.E.D. |
<<clip_image002.gif>>
