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.
G. W. Rosenwald and C. Liu, "Rule-Based System Validation through Automatic Identification of Equivalence Classes," in IEEE Transactions on Knowledge & Data Engineering, vol. 9, no. , pp. 24-31, 1997.