Rule-based system validation through automatic identification of equivalence classes

The proposed validation method identifies equivalence classes for fundamental tasks in a rule based system to help identify incorrect knowledge and rule inconsistencies. The proposed method validates the entire input domain of a pre existing rule based system by using symbolic execution to determine the conditions under which tasks may be instantiated.