| Journal: | Computación y sistemas |
| Database: | PERIÓDICA |
| System number: | 000344310 |
| ISSN: | 1405-5546 |
| Authors: | Clemente, Julia1 Antonio, Angélica de2 Ramírez, Jaime2 |
| Institutions: | 1Universidad de Alcalá de Henares, Escuela Universitaria Politécnica, Alcalá de Henares, Madrid. España 2Universidad Politécnica de Madrid, Facultad de Informática, Boadilla del Monte, Madrid. España |
| Year: | 2005 |
| Season: | Abr-Jun |
| Volumen: | 8 |
| Number: | 4 |
| Pages: | 265-280 |
| Country: | México |
| Language: | Inglés |
| Document type: | Artículo |
| Approach: | Experimental, aplicado |
| Spanish abstract | 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 abstract | 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 |
| Disciplines: | Ciencias de la computación |
| Keyword: | Tecnología de la información, Sistemas basados en conocimiento, Programas de verificación, Bases de conocimiento, Restricciones de integridad, Consistencia |
| Keyword: | Computer science, Information technology, Knowledge based systems, Verification programs, Knowledge bases, Integrity constraints, Consistency |
| Full text: | Texto completo (Ver HTML) |
