| Título: |
CRIB: A Method for Integrity Constraint Checking on Knowledge Bases CRIB: Método para la Comprobación de Restricciones de Integridad en Bases de Conocimiento |
| Autores: |
CLEMENTE, JULIA DE ANTONIO, ANGÉLICA RAMÍREZ, JAIME |
| Fecha: | 1969-12-31 |
| Publicador: | Revistas UNAM |
| Fuente: |
 |
| Tipo: | |
| Tema: |
Verification; Knowledge Based-System; Consistency VERIFICACIÓN; SISTEMA BASADO EN EL CONOCIMIENTO; CONSISTENCIA |
| Descripción: |
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 O 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 (RIS) 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 |
| Idioma: | Inglés |
1 Ordered Hunt Schemes for Overlaid CDMA Cellular Systems,Esquemas de ordenamiento en sistemas celulares sobrepuestos CDMA por Castañeda Camacho, J; Benemérita Universidad Autónoma de Puebla, Puebla, México,Lara Rodríguez, D; IPN | 6 Model for Adjustment of Aggregate Forecasts using Fuzzy Logic,Modelo para el ajuste de pronósticos agregados utilizando lógica difusa por Escobar Gómez, E N; Instituto Tecnológico de Tuxtla Gutiérrez Chiapas,Díaz Núñez, J J; Universidad Autónoma de Ciudad Juárez Chihuahua,Taracena Sanz, L F; Instituto Tecnológico de Querétaro, Querétaro |
2 Volatile Organic Compound Emissions from Light-Duty Vehicles During Cold-Starts,Emisiones de compuestos orgánicos volátiles durante arranques en frío de automóviles ligeros por Mendoza Domínguez, A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,León Romero, M A; Tecnológico de Monterrey, Campus Monterrey, Nuevo León, México,Caballero Mata, P | 7 Matrix Formulation of Foundations for Vibrating Machinery in Frequency Domain,Formulación matricial de cimentaciones para maquinaria vibratoria en el dominio de la frecuencia por Carbajal Romero, M F; Instituto Politécnico Nacional. México DF,Rodríguez Castellanos, A; Instituto Mexicano del Petróleo. México DF,Rodríguez Sánchez, J E; Instituto Mexicano del Petróleo. México DF,Flores Méndez, E; IPN |
3 Hydrogen Sorption Properties of the Intermetallic Mg2Ni Obtained by Using a Simoloyer Ball Milling,Propiedades de ab-desorción de hidrógeno del intermetálico Mg2Ni obtenido empleando un molino de bolas Simoloyer por Martínez Franco, E; IPN,Klassen, T; GKSS, Research Center Geesthacht, Germany,Jaramillo Vigueras, D; IPN,Bormann, R; GKSS, Research Center Geesthacht, Germany | 8 Numerical Approach to an Outflow Hydrograph of a Dambreak,Estimación numérica del hidrograma de salida de una presa debido a su ruptura por Fuentes Mariles, O A; Universidad Nacional Autónoma de México,Arganis Juárez, M L; UNAM,De Luna Cruz, F; UNAM,Franco, V; UNAM |
4 Electrical Parameters Extraction of CMOS Floating-Gate Inverters,Extracción de parámetros eléctricos de inversores CMOS de compuerta flotante por Molinar Solís, J E; Universidad Autónoma del Estado de México,Ponce Ponce, V H; IPN,García Lozano, R Z; Universidad Autónoma del Estado de México,Díaz Sanchez, A; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE,Rocha Pérez, j M; Instituto Nacional de Astrofísica, Óptica y Electrónica INAOE | 9 Back Work Ratio of Brayton Cycle,La relación de trabajo de retroceso de un ciclo Brayton por Malaver de la Fuente, M; Universidad Marítima del Caribe, Venezuela |
5 Active Rectifier with Extended Functions: An Option to Voltage Sags Ride Through and Power Quality Improvement,Rectificador activo con funciones ampliadas: una alternativa para la compensación de sags de voltaje y mejorar la calidad de la red eléctrica por Núñez Gutiérrez, C A; Universidad Autónoma de San Luis Potosí, SLP,Lira Pérez, J; Universidad Autónoma de San Luis Potosí, SLP,Pazos Flores, F; Universidad Autónoma de San Luis Potosí, SLP,Echavarría Solís, R; Universidad Politécnica de Victoria, Ciudad Victoria, Tamaulipas | 10 Flood Predictions Combining Regional and Single Site Hydrometric Information,Predicción de crecientes combinando información hidrométrica local y regional por Campos Aranda, D F; Universidad Autónoma de San Luis Potosí |