Issue No. 01 - January-February (1997 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.567043
<p><b>Abstract</b>—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.</p>
Equivalence classes, expert systems, rule-based systems, validation testing.
Gary W. Rosenwald, Chen-Ching Liu, "Rule-Based System Validation through Automatic Identification of Equivalence Classes", IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 24-31, January-February 1997, doi:10.1109/69.567043