The completeness checker

While our rules are expanded, let's check for incompleteness. Again, the mechanics of this process are described in the Corticon Studio Tutorial: Basic Rule Modeling. Our discussion here will be limited to correlating results with the previous manual methods of logical analysis.

Clicking the Check for Completeness button, the message window is displayed:

Figure 222. Completeness Check Message Window

Clicking to dismiss the message window, we see that the Completeness Check has produced a new column (3), shaded in green:

Figure 223. New Rule Added by Completeness Check

This new rule, the combination of age>55 AND smoker=false corresponds to the intersection of column 2 and row 2 in Rule 2 Expected Outcome and test case #4 in Test Cases Extracted from Cross Product. The Completeness Checker has discovered our missing rule! To do this, the Completeness Checker employs an algorithm which calculates all mathematical combinations of the Conditions' values (the Cross Product), and compares them to the combinations defined by the rule writer as other columns (other rules in the Rulesheet). If the comparison determines that some combinations are missing from the Rulesheet, these combinations are automatically added to the Rulesheet. As with the Conflict Check, the Action definitions of the new rules are left to the rule writer. The rule writer should also remember to enter new plain-language Rule Statements for the new columns so it is clear what logic is being modeled. The corresponding rule statement might look like this:

In this section: