CRIB: A Method for Integrity Constraint Checking on Knowledge Bases

• Julia Clemente ^[2] ; Angélica de Antonio ^[1] ; Jaime Ramírez ^[1]
  1. [1] Universidad Politécnica de Madrid

     Universidad Politécnica de Madrid

     Madrid, España

     
  2. [2] Universidad de Alcalá de Henares Escuela Universitaria Politécnica
• Localización: Computación y Sistemas (CyS), ISSN 1405-5546, ISSN-e 2007-9737, Vol. 8, Nº. 4, 2005, págs. 265-280
• Idioma: inglés
• Títulos paralelos:
  • CRIB: Método para la Comprobación de Restricciones de Integridad en Bases de Conocimiento
• Enlaces
  • Texto completo
• Resumen
  • español

    La necesidad de herramientas de verificación para Sistemas Basados en el Conocimiento (SBCs), que ayuden a garantizar un cierto grado de calidad y fiabilidad de estos sistemas aumentará en el futuro conforme más sistemas críticos sean desarrollados en áreas tales como la industria, la ciencia, los negocios, etc. Uno de los objetivos de la verificación de SBCs es asegurar la consistencia y la completitud de la Base de Conocimientos (BC). En este artículo se describe una técnica para detectar posibles inconsistencias o situaciones conflictivas entre los objetos de la BC, y se presenta una herramienta llamada CRIB, que implementa esta técnica. La generalidad de esta técnica, basada en la comprobación de las Restricciones de Integridad (Rls) declaradas en la BC, permite aplicarla a diferentes tipos de SBCs. Asimismo, la flexibilidad y la potencia del lenguaje de especificación de RIs hará posible detectar un amplio abanico de inconsistencias en una BC.

  • English

    The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems will increase in the future when more critical systems are developed in areas such as industry, science, business, etc. One of the objectives of the KBSs verification is to assure the consistency and completeness of the Knowledge Base (KB). In this paper, a technique to detect possible inconsistencies or conflicting situations between the objects of the KB is described, and a tool called CRIB, that implements this technique, is presented. The generality of this technique, based on the checking of the Integrity Constraints (ICs) declared on the KB, will allow to apply it to different kinds of KBSs. In addition, the flexibility and the power of the ICs specification language will make it possible to detect a wide range of inconsistencies in a KB.

• Referencias bibliográficas
  • Plaza, E. (1993). KBS Validation: From Tools to Methodology. IEEE Expert. 8. 45-47
  • Hoppe, T,Meseguer, P. (1993). VVT Terminology: A proposal. IEEE Expert. 8. 48-55
  • Laurent, J. (1992). Proposals for a valid terminology. KBS Validation: Proceedings ECAI 92. 829-834
  • Adrion, W. (1982). Validation, verification, and testing of computer software. ACM Computer Surveys. 14. 159-192
  • (1983). ANSI/IEEE Standard 729. Standard Glossary of Software Engineering Terminology.
  • Suen, Ch. Y,Grogono, P.D,Shinghal, R. (1990). Verifying, Validating, and Measuring the performance of Expert Systems. Expert Systems With...
  • Green, C,Keyes, M. (1987). Verification and Validation of expert systems. Proceedings Western Conference on Expert Systems.
  • Rousset, M. (1988). On the Consistency of Knowledge Bases: The COVADIS System. 79-84
  • Ginsberg, A. (1988). Knowledge-Base Reduction: A New Approach to checking Knowledge Bases for Inconsistency and Redundancy. 585-589
  • Beauvieux, A,Dague, P. (1990). A General Consistency (Checking and Restoring) Engine for Knowledge Bases. 77-82
  • Loiseau, S. (1992). Refinement of Knowledge Bases Based on Consisten y Proceedings ECAI 92. 845-849
  • Meseguer, P. (1992). lncremental Verification of Rule-Based Expert Systems. 840-844
  • Van Melle, W,Shortliffe, H,Buchanan, G. (1984). EMYCIN: A Knowledge Engineer's Tool for Constructing Rule-Based Systems. Rule-Based Expert...
  • Suwa, M,Scott, A.C,Shortliffe, E.H. (1982). An approach to verifying completeness and consistency in a rule based expert system. Al Magazine....
  • Steinmetz, R,Theissen, S. (1985). Integration of Petri Nets into a Tool for Consistency Checking of Expert Systems with Rule-Based Knowledge...
  • Murata, T,Matsuyama, K. (1986). Inconsistency Check of a Set of Clauses Using Petri Net Reductions: EECS #86-12 Dept. Universityof Illinois...
  • Meseguer, P. (1990). A New Method to checking Rule Bases for Inconsistency: A Petri Net Approach. 437-442
  • He, X,Chu, W. C,Yang, H,Yang, S. J. H. (1999). A New Approach to Verify Rule-Based Systems using Petri Nets. Proceedings of the Twenty-Third...
  • Nguyen, T.A,Perkins, W.A,Pecora, D. (1987). Knowledge Base Verification. Al Magazine. 8. 69-75
  • Nguyen, T.A. (1987). erifying Consistency of Production Systems. Proceedings of the 3rd. conference on Artificial Intelligence Aplications.
  • Nazareth, D.L. (1988). An Analysis of Techniques for Verification of Lodical Correctness in Rule Based Systems, Ph D. diss.. Departament of...
  • Nazareth, D.L,Kennedy, M.H. (1990). Static and dynamic verification, Validation and testing: he Evolution of a Discipline. Procedings of the...
  • Barr, V.B. (1993). Incorporating Uncertainty in a DAG-Based Approach to Static and Dynamic Verification of Rule-Based Systems: Proceedings...
  • Ramaswamy, M,Sarkar, S,Chen Ye, Sho. (1997). Using directed hypergraphs to verify rule-based expert systems. IEEE Transactions on Knowledgeand...
  • Gursaran, G. S,Kanungo, S,Sinha, A. K. Rule-base content verification using a digraph-based modelling approach. Artificial Intelligence in...
  • de Antonio, A. (1990). Sistema para la verificación estructural y detección de inconsistencias en Bases de Conocimientos. FIM, UPM.
  • Dahl, M,Williamson, K. (1992). A verification Strategy for Long-term Maintenance of Large Rule-Based Systems: Workshop Notes of the AAAI'92...
  • Ayel, M. (1988). Protocols for Consistency Checking in Expert System Knowledge Bases. Proceedings of the th. European Conference on Artificial...
  • Ayel, M,Laurent, J. P. (1991). SACCO-SYCOJET: Two Different Ways of Verifying Knowledged-Based Systems. Validation, Verification and Test...
  • de Kleer, J. (1986). An Assumption Based TMS. Artificial Intelligence. 28. 127-162
  • de Antonio, A. (1994). Una interpretación Algebraica de la Verificación de Sistemas basados en el Conocimiento. Facultad de Informática, Universidad...
  • Laita, L. M,Roanes-Lozano, E,Roanes-Macías, E,Díaz, A. (1997). From Computer Algebra to Al. Application to Verification and Automated Proving...
  • Laita, L. M,Roanes Lozano, E,de Ledesma, L,Maojo, V. (1999). Computer Algebra based Verification and knowledge extraction in RBS application...
  • Antoniou, G. (1997). Verification and Correctness Issues for Nonmonotonic Knowledge Bases. International Journal of Intelligent Systems. 12....
  • Wu, C. H,Lee, S. J. (1997). Knowledge Verification with an Enhanced High-Level Petri-Net Model: IEEE Expert. 73-80
  • O'Leary, D. E. (1996). Verification of uncertain knowledge based systems: an empirical verification approach. Management Science. 42....
  • Lee, S,O'Keefe, R. M. (1993). Subsumption anomalies in hybrid knowledge based systems. Intemational Joumal of Expert Systems. 6. 299-320
  • Mukherjee, R,Gamble, R. F,Parkinson, J. A. (1997). lassifying and detecting anomalies in hybrid knowledge-based systems. Decision-Support-Systems....
  • Cardeñosa, J,Juristo, N. (1993). General Overview of the Valid Project: Proceedings European Symposium on the Validation and Verification...
  • (1989). VALID team, Deliverable D4. VETA definition, in ESPRIT II 2148 VALID project.
  • (1990). VALID team, Deliverable D10. Report on Valid Environment: ESPRIT II 2148 VALID project.
  • Martínez, L. (1993). CCR2: Un Modelo Genérico de Representación del Conocimiento. FIM, UPM.