skip to main content
Corticon Studio: Rule Modeling Guide : Logical analysis and optimization : Validating and testing Rulesheets in Corticon Studio : The completeness checker

Try Corticon Now
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 227. 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 228. 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:
* Automatically Determining the Complete Values Set
* Automatic Compression of the New Columns
* Limitations of the Completeness Checker
* Renumbering Rules
* Letting the expansion tool work for you: tabular rules
* Memory management