Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Facultad de Ciencias Informáticas: Administracion de Base de Datos
Facultad de Ciencias Informáticas: Administracion de Base de Datos
TRABAJO N*02
FECHA: 07 de julio del 2020
TEMA: CLIPT
ESTUDIANTE:
CRISTINA ELIZABETH ANCHUNDIA FERNANDEZ
DOCENTE: ING. OSCAR GONZALES
MANTA-MANABI
Primer periodo 2020(1)
EJERCICIO 1
Hechos:
1. El orden vale 3.
Reglas:
1. 𝐒𝐢(ordenvale3) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬(esuntriángulo)
2. 𝑺𝐢(trinaguloY1ángulorecto) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬(esuntriángulorectángulo).
3. 𝐒𝐢(triánguloYdosladosmismotamaño)𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬(esuntriánguloisósceles).
4. 𝐒𝐢(triángulorectánguloYtriánguloisósceles)𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬(triángulorectánguloisóscel
es).
Ingresamos los hechos
Ingresamosas
l reglas
En estaparte“AGENDA”Me
En estapartese mostrará los antiguos y nuevos hechos que muestra las reglas activadas
se vayan generando respectivamente con las reglas para ser ejecutadas
ejecutadas(es_triangulo);(es_triangulo_rectangulo)
;(es_trian
EJERCICIO 2
gulo__rectangulo_ isosceles)
CONCLUSION
En este problema el sistema fue capaz de probar estas 4 reglas, lo que significa que la
meta inicial de que TRIANGULO RECTANGULO ISOSCELES es probada, ENTONCES
POR LA REGA 4
Hechos:
1. A es cierto
2. B es cierto
3. D es cierto
4. E es cierto
5. F es cierto
6. H es cierto
7. I es cierto
Reglas:
1. 𝐒𝐢 (A y B) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬 (𝐶).
2. 𝑺𝐢 (𝐷 𝑦 𝐸 𝑦 𝐹) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬 (G).
3. 𝐒𝐢 (H y I) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬 (J).
4. 𝐒𝐢 (C Y G) 𝐄𝐧𝐭𝐨𝐧𝐜𝐞𝐬 (K).
6. 𝑺𝒊 (𝐾 𝑦 𝐿) 𝑬𝒏𝒕𝒐𝒏𝒄𝒆𝒔 (𝑀).
Ingresamos los hechos
CONCLUSION
En este problema el sistema fue capaz de probar estas 6 reglas, lo que significa que la
meta inicial de que M, ES CIERTO es probada, ENTONCES POR LA REGA 6
CONCLUIMOS QUE “M” ES CIERTO
EJERCICIO 3
Con los siguientes Hechos y Reglas y aplicando las técnicas de inferencia y hacia atrás).
Inferir y comprobar que X es cierto aplicando encadenamiento hacia adelante.
Hechos
A es cierto
B es cierto
Reglas
R1: Si A y C entonces E
R2: Si F y C entonces H
R3: Si B y E entonces H
R4: Si B entonces C
R5: Si H entonces X
REGLAS
Hechos:
1. A
2. B
3. C
4. D
Reglas:
1. SI a ENTONCES e
2. SI b Y f ENTONCES g
3. SI c y e ENTONCES f
CONCLUSION: Al ejecutar las reglas el sistema fue capaz de probarlas, las premisas, lo
que significa que la meta inicial de que “G” es probada
Hechos:
a.-nariz_moquea(mary)
b.-puntos_rojos(mary)
c.-rigidez_en_el_cuello(John)
Con los Hechos que tenemos en la base de conocimiento podemos inferir que Mary es
contagiosa. Mediante los hechos podemos conocer que tiene fiebre y puntos rojos: Por
lo que se infiere que tiene Sarampión por la regla 1(R1) Después se infiere que es
Contagioso por la regla 5(R5)
Ingresamos los hechos