Home   >   CSC-OpenAccess Library   >    Manuscript Information
Verification and validation of knowledge bases using test cases generated by restriction rules
André de Andrade Bindilatti, Ana Estela Antunes Silva
Pages - 117 - 125     |    Revised - 15-07-2012     |    Published - 10-08-2012
Volume - 3   Issue - 4    |    Publication Date - December 2012  Table of Contents
knowledge based systems, knowledge base inference, restriction rules, validation, verification
Knowledge based systems have been developed to solve many problems. Their main characteristic consists on the use of a knowledge representation of a specific domain to solve problems in such a way that it emulates the reasoning of a human specialist. As conventional systems, knowledge based systems are not free of failures. This justifies the need for validation and verification for this class of systems. Due to the lack of techniques which can guarantee their quality and reliability, this paper proposes a process to support validation of specific knowledge bases. In order to validate the knowledge base, restriction rules are used. These rules are elicit and represented as If Then Not rules and executed using a backward chaining reasoning process. As the result of this process test cases are created and submitted to the knowledge base in order to prove whether there are inconsistencies in the domain representation. Two main advantages can be highlighted here: the use of restriction rules which are considered as meta-knowledge (these rules improve the knowledge representation power of the system) and a process that can generate useful test cases (test cases are usually difficult and expensive to be created).
1 Google Scholar 
2 CiteSeerX 
3 refSeek 
4 Scribd 
5 SlideShare 
6 PdfSR 
AKERKAR, R.; SAJA, P. Knowledge Based Systems. Jones and Bartlet Publishers. 2010.
COENEN, F. Verification and Validation Issues in Expert and Database Systems: The Expert Systems Perspective. Proceedings. Ninth International Workshop on Database and Expert Systems Applications, 1998.
DEBBABI, M.; HASSAÏNE, V. F.; JARRAYA, Y.; SOEANU, A.; ALAWNEH, L..Verification and validation in Systems Engineering: Assessing UML/SYSML Design Models. Springer, 2010.
EAGLESTONE, B. ; RIDLEY, M.Verification, validation and integrity issues in expert and database systems: the database perspective. Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998.
GIARRATANO, J.; RILEY, G..Expert Systems Principles and Programming. Third ed. PSW Pub., 2005.
JIUXIN C.; BIAO, Z.; BO, M.; BO, L.. Constraint Rules-based Recovery for Business Transaction. In: Grid and Cooperative Computing (GCC), 2010 9th International Conference,Pg. 282 – 289, 2010.
KIPER, J. D..Structural Testing of Rule-Based Expert Systems. In: ACM Transactions on Software Engineering and Methodology, Vol. 1, No. 2, Pg. 168-187, April 1992.
LIU, G.; LIU, Q.; XIE, P.Model-based testing and validation on knowledge-based systems. In:Grey Systems and Intelligent Services, 2007. GSIS 2007. IEEE International, 2007. pp. 1242-1245.
MARINESCU, R.; GANEAIN, G..Code.Rules: An Agile Approach for Defining and Checking Architectural Constraints. In: ICCP '10 Proceedings of the Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing,2010.
NEWELL, A.; SHAW, J.C.; SIMON, H. A..Report on a general problem-solving program. In Proceedings of the International Conference on Information Processing. Paris: UNESCO House, Pg. 256-264, 1959.
PALMER, G., & CRAW, S. The Role of Test Cases in Automated Knowledge Refinement.16th BCS SGES Expert Systems Conference, Cambridge, UK. 1996.
SANTOS, J.; RAMOS, C.; VALE, Z. A.; MARQUES, A.. VERITAS-an application for knowledge verification. In: Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE International, 1999, pp. 441-444.
SMITH, S.; KANDEL, A..Verification and validation in fuzzy expert systems. In: Systems, Man and Cybernetic. Intelligent Systems for the 21st Century. Vol. 4: Vancouver, BC, 1995.
SPREEUWENBERG, S.;GERRITS, R.;BOEKENOOGEN, M.: VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. In W.Horn (ed.): ECAI2000,Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press,Amsterdam, 2000, pp.731-735.
TERAGUCHI, M.; YOSHIDA, I.; URAMOTO, N.. Rule-based XML Mediation for Data Validation and Privacy Anonymization. In: IEEE International Conference on Services Computing, 2008.
TSAI, W.; VISHNUVAJJALA, R.; ZHANG, D..Verification and Validation of Knowledge-Based Systems. In: IEEE Transactions on Knowledge and Data Engineering, vol. 11, no. 1,January/February 1999.
VERMESAN, A. I..Software Certification for Industry: Verification and Validation Issues in Expert Systems. In: Proceedings of the 9th International Workshop on Database and Expert Systems Applications: Washington, DC, 1998.
WANGPHANICH, P..A Simple Web-based Expert System for a Supplier Assessment: A Case of a JIT production environments. In: Proceedings of 2011 International Conference on System Science and Engineering, Macau, China, 2011.
Mr. André de Andrade Bindilatti
Federal University of São Carlos - Brazil
Dr. Ana Estela Antunes Silva
State University of Campinas - Brazil