Problem – Describing an Inferred Fact
The deduction of facts from other facts is a basic feature of rule processing. When no calculation is involved in deriving the new fact, then a declaration must be made that one fact implies the existence of another fact. The configuration and classification of entities often rely on the ability to infer one fact from another.
Inferred facts may be declared though definition of a formal grammar structure. The individual rules production rules declared with grammar may be organized into rule sets. The base facts become typed antecedents and consequents used in induction and deduction operations. The declaration of these rules makes no assumptions with respect to how they will be used. However this business rule pattern parameterizes this aspect as well. For example, addressing configuration problems is typical use for forward chaining inferencing. Classification problems are best suited for backward chaining inferencing. However, the intent of this section is to describe the nature of this common business rule pattern and not to digress into the realm of expert systems and rule inferencing algorithms.
|Rule Set||Residential Property|
|Search Strategy||Backward Chain|
Previous | Table of Contents | Next