CSDL Home IEEE Transactions on Knowledge & Data Engineering 1997 vol.9 Issue No.01 - January-February
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. 1, pp. 24-31, January-February 1997, doi:10.1109/69.567043