The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
Equivalence classes, expert systems, rule-based systems, validation testing.
CITATION
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
107 ms
(Ver )