This Article 
 Bibliographic References 
 Add to: 
Rule-Based System Validation through Automatic Identification of Equivalence Classes
January-February 1997 (vol. 9 no. 1)
pp. 24-31

Abstract—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.

[1] F. Coenen and T. Bench-Capon, Maintenance of Knowledge-Based Systems: Theory, Techniques, and Tools.London: Academic Press, 1993.
[2] U.G. Gupta, Validating and Verifying Knowledge-Based Systems.Los Alamitos, Calif.: IEEE CS Press, 1991.
[3] G. Guida and G. Mauri, "Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology," IEEE Trans. Knowledge and Data Eng., vol. 5, no. 2, pp. 204-224, Apr. 1993.
[4] S. Kirani, I.A. Zaulkernan, and W.T. Tsai, "Comparative Evaluation of Expert System Testing Methods," Proc. IEEE Int'l Conf. Tools with AI, pp. 334-341, Nov. 1992.
[5] J. Rushby, "Quality Measures and Assurance for AI Software," Technical Report NASA CR-4187, NASA Langley Research Center, 1989.
[6] C.-C. Liu, T.-K. Ma, K.-L. Liou, and M.-S. Tsai, "Practical Use of Expert Systems in Power Systems," Int'l J. Eng. Intelligent Systems for Electrical Eng. and Comm., vol. 2, no. 1, pp. 11-22, Mar. 1994.
[7] M.A. Shwe, S.W. Tu, and L.M. Fagan, "Validating the Knowledge Base of a Therapy Planning System," Methods of Information in Medicine, vol. 28, no. 1, pp. 36-50, Jan. 1989.
[8] N.J. Nilsson, Principles of Artificial Intelligence. Morgan Kaufmann, 1980.
[9] G.W. Rosenwald, C.-C. Liu, B. Wang, S.L. Muchlinski, and D. Sobajic, "Semi-Automated Knowledge Enhancement (SAKE) for Rule-Based Systems," Australian J. Intelligent Information Processing Systems, vol. 3, no. 1, pp. 4-13, Autumn 1996.
[10] B. Wang, Enhanced CRAFT Environments for Testing and Practical Use, MS thesis, Univ. of Washington, 1994.
[11] D. Fensel and F. von Harmelen, "A Comparison of Languages which Operationalize and Formalize KADS Models of Expertise," Knowledge Eng. Rev., vol. 9, no. 2, pp. 105-146, June 1994.
[12] T.-K. Ma, C.-C. Liu, M.-S. Tsai, R. Rogers, S.L. Muchlinski, and J. Dodge, "Operational Experience and Maintenance of an On-Line Expert System for Customer Restoration and Fault Testing," IEEE Trans. Power Systems, vol. 7, no. 2, pp. 835-842, May 1992.
[13] G.W. Rosenwald, C.-C. Liu, and S.L. Muchlinski, "A New Equivalent Class Validation Algorithm and Its Application to Power Systems," Int'l J. Eng. Intelligent Systems for Electrical Eng. and Comm., vol. 2, no. 4, pp. 223-232, Dec. 1994.

Index Terms:
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 and Data Engineering, vol. 9, no. 1, pp. 24-31, Jan.-Feb. 1997, doi:10.1109/69.567043
Usage of this product signifies your acceptance of the Terms of Use.