Abstract

Verification of knowledge bases is an important aspect of the development procedure of rule-based expert systems. The objective of verification is to assure producing a successful intelligent computer system that reaches correct recommendations. This research introduces an attribute-rule dependency matrix verification method and its associated Java implementation program. The method can help knowledge engineers and domain experts in the automated verification process of rule-based knowledge bases for both consistency and completeness. The method can also help in the documentation of expert systems' facts and If-Then rules. A wide variety of knowledge bases has been successfully debugged and analyzed using the introduced verification method.

References

• Schalkoff R. J. 2009. Intelligent Systems: Principles, Paradigms and Pragmatics. Jones & Bartlett Publishers.
• Ignizio J. 1991. Introduction to Expert Systems: The Development and Implementation of Rule-Based Expert Systems. McGraw Hill, Inc.
• D. Zhang and D. Nguyen, “PREPARE: A Tool for Knowledge Base Verification,” IEEE Trans. Knowledge and Data Eng., Vol. 6, no. 6, pp. 983-989, 1994.
• N. Zlatareva and A. Preece, “State of the Art in Automated Validation of Knowledge-Based Systems,” Expert Systems with Applications, Vol. 7, no. 2, pp. 151-167, 1994.
• P. Meseguer and A. Verdaguer, “Verification of Multi-Level Rule-Based Expert Systems: Theory and Practice,” Int’l J. Expert Systems, Vol. 6, no. 2, pp. 163-192, 1993.
• R.M. O’Keefe and D.E. O’Leary, “Expert System Verification and Validation: A Survey and Tutorial,” Artificial Intelligence Rev., Vol. 7, pp. 3-42, 1993.
• D. Zhang and D. Nguyen, “A Tool for Knowledge Base Verification,” N. Bourbakis, ed., Knowledge Eng. Shells¦Systems and Techniques, Advanced Series on Artificial Intelligence, Vol. 2, World Scientific, pp. 455-486, 1993.
• N. Botten, “Complex Knowledge Base Verification Using Matrices,” Lecture Notes in Artificial Intelligence, F. Belli and F.J. Radermacher, eds., pp. 225-235, Springer-Verlag, Berlin, 1992.
• T.J. Lydiard, “Overview of Current Practice and Research Initiatives for the Verification and Validation of KBS,” Knowledge Eng. Rev., Vol. 7, no. 2, pp. 101-113, 1992.
• A. Preece, R. Shinghal, and A. Batarekh, “Verifying Expert Systems: A Logical Framework and A Practical Tool,” Expert Systems with Applications, Vol. 5, nos. 2-3, pp. 421-436, 1992.
• M. Ayel and J.P. Laurent, “SACCO-SYCOJET: Two Different Ways of Verifying Knowledge-Based Systems,” Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, eds., John Wiley and Sons, Chichester, U.K., pp. 63-76, 1991.
• Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, eds., John Wiley and Sons, Chichester, U.K., 1991.
• E. Charles and O. Dubois, “MELODIA: Logical Methods for Checking Knowledge Bases,” Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, eds., John Wiley and Sons, Chichester, U.K., pp. 95-105, 1991.
• L. De Raedt, G. Sablon, and M. Bruynooghe, “Using Interactive Concept Learning for Knowledge-Base Validation and Verification,” Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, ed., pp. 177-190, John Wiley and Sons, Chichester, U.K., 1991.
• Validating and Verifying Knowledge-Based Systems, U.G. Gupta, ed., IEEE CS Press, Los Alamitos, Calif., 1991.
• D. Hamilton, K. Kelley, and C. Culbert, “State-of-the-Practice in Knowledge-Based System Verification and Validation,” Expert Systems With Applications, Vol. 3, pp. 403-410, 1991.
• P. Lafon, “A Descriptive Model of Predicates for Verifying Production Systems,” Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, eds., John Wiley and Sons, Chichester, U.K., pp. 149-162, 1991.
• D.E. O’Leary, “Design, Development, and Validation of Expert Systems: A Survey of Developers,” Validation, Verification, and Test of Knowledge-Based Systems, M. Ayel and J.P. Laurent, eds., John Wiley and Sons, Chichester, U.K., pp. 3-19, 1991.
• Musa Jafar and A. Terry Bahill, "Validator, A Tool for Verifying and Validating Personal Computer Based Expert Systems", Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies, D.E. Brown & C.C. White (Eds). Kluwer Academic Publishers, Boston, pp. 373-385, 1990.
• D.L. Nazareth, “Issues in the Verification of Knowledge in Rule-Based Systems,” Int’l J. Man-Machine Studies, Vol. 30, pp. 255-271, 1989.
• J. Rushby, “Formal Verification of Artificial Intelligence Software,” NASA Contractor Report 181827, Feb. 1989.
• A. Ginsberg, “Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy,” Proc. Seventh Nat’l Conf. Artificial Intelligence, pp. 585-589, 1988.
• M.C. Rousset, “On the Consistency of Knowledge Bases: The COVADIS System,” Proc. Eighth European Conf. Artificial Intelligence, pp. 79-84, 1988.
• B.J. Cragun and H.J. Steudel, “A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems,” Int’l J. Man-Machine Studies, Vol. 26, pp. 633- 648, 1987.
• Ignizio, J. P., "Identification of Incompleteness in Knowledge Bases via a Rule Dependency Matrix", Technical Paper, Department of Industrial Engineering, University of Houston, July 1987.
• T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, “Knowledge Base Verification,” AI Magazine, Vol. 8, No. 2, pp. 69-75, 1987.
• Nguyen T. A., Perkins W. A., and Pecora D., "Checking an Expert System's Knowledge Base for Consistency and Completeness", Proceedings of the Ninth International Joint Conference on Artificial Intelligence, AAAI, Menlo Park, CA, USA, pp. 375-378, 1985.
• Jansen P., TIOBE Programming Community Index, TIOBE Software. http://www.tiobe.com (accessed December 2011).
• Ramesh K., The Most Popular Programming Languages, Sudobits Blog. http://blog.sudobits.com/2011/04/14/the-most-popular-programming-languages (accessed December 2011).
• D.S. Malik, "Java Programming: From Problem Analysis to Program Design", 3rd Edition, Thomson Course Technology, 2008.
• M. Ayman Al Ahmar, "A Prototype Student Advising Expert System Supported with an Object-Oriented Database", International Journal of Advanced Computer Science and Applications, Special Issue on Artificial Intelligence, pp. 100-105, 2011.
• M. Ayman Al Ahmar, "Rule Based Expert System For Selecting Software Development Methodology", Journal of Theoretical and Applied Information Technology, Vol. 19, No. 2, pp. 143-148, 2010.
• M. Ayman Al Ahmar, "An Object-Oriented Expert System for Diagnosis of Fungal Diseases of Date Palm", International Journal of Soft Computing, Vol. 4, No. 5, pp. 201-207, 2009.