Inco2017-Grupo05-TP07

Vista previa del material en texto

17-10-2017 
 
 
TRABAJO 
PRACTICO N°7 
INGENIERÍA DEL CONOCIMIENTO: 
FORMALIZACIÓN 
Grupo N.º: 5 
• Pérez, Ricardo Daniel. 6590. 36225295. Ing. Informática. 
• Ramos, Abel Armando. 6459. 37104877. Ing. Informática. 
• Ramos, Pablo Nicolás. 6969. 35309435. Ing. Informática. 
• Quispe, Jairo Joel. 6297. 34912244. Ing. Informática. 
• Sandoval, Iván Leandro. 6756. 37105. Ing. Informática. 
• Guanca, Jorge Daniel Antonio. 6770. 37094295. Ing. Informática. 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 1 | 7 
 
Trabajo Práctico N°7 
1.- 
a) ¿Qué relación existe entre las fases de conceptualización y formalización? 
Explique de forma breve y clara. 
 
Tiene en común que ambos modelan el problema, sin embargo, lo hacen desde 
diferente punto de vista. La conceptualización modela el problema desde el punto 
de vista del usuario, del dominio. Se trabaja a nivel de conocimientos. Mientras que 
la formalización es la modelización desde el punto de vista del sistema. El trabajo 
se desarrolla en un nivel simbólico. 
 
b) ¿Cuál es el objetivo de la fase de formalización? ¿Qué se obtiene al finalizarla? 
 
El objetivo de la fase de formalización es modelar el problema desde el punto de 
vista del sistema. Al finalizar la fase formalización se obtiene una representación 
simbólica, más cercana a la implementación, del problema. 
 
c) ¿Por qué es tan importante la elección de un formalismo adecuado? ¿Qué se 
debe tener en cuenta al seleccionarlo? 
 
La elección de un formalismo adecuado es importante porque garantiza que con 
aquel formalismo elegido es posible representar todo el dominio del problema. Y por 
consiguiente se puede desarrollar el sistema. Al momento de elegir un formalismo 
se debe tener en cuenta los siguiente: 
• La generalidad de la representación. 
• La eficiencia computacional. 
• La completitud y consistencia de la representación. 
• La naturalidad de la representación. 
 
d) Enumere los diferentes formalismos vistos en teoría. 
Los formalismos vistos en teoría son: 
✓ Esquemas Lógicos. 
✓ Redes Semánticas. 
✓ Sistemas de Producción. 
✓ Marcos. 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 2 | 7 
 
2.- Utilice el método de inferencia de esquemas lógicos para determinar si Alfredo va 
al Torneo Sudamericano de Ajedrez (TSA). Se sabe además que Alfredo es 
inteligente y sabe jugar ajedrez. 
¬ inteligente(x) ∨ ¬ gustaAjedrez(x) ∨ va(x, TSA) 
va(x, TSA) ∨ ¬ gustaAjedrez(x) 
¬ sabeAjedrez(x) ∨ gustaAjedrez(x) 
1) ¬ inteligente(x) ∨ ¬ gustaAjedrez(x) ∨ va(x, TSA) 
2) va(x, TSA) ∨ ¬ gustaAjedrez(x) 
3) ¬ sabeAjedrez(x) ∨ gustaAjedrez(x) 
4) inteligente(Alfredo) 
5) sabeAjedrez(Alfredo) 
6) ¬ va(x, TSA) 
7) de 3 y 5 
gustaAjedrez(Alfredo) 
{x/Alfredo} 
8) de 2 y 7 
va(Alfredo, TSA) 
{x/Alfredo} 
9) de 6 y 8 
□ (cláusula vacía) 
Respuesta: Alfredo sí va al Torneo Sudamericano de Ajedrez (TSA). 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 3 | 7 
 
3.- Dada la siguiente red semántica responda: 
 
• Indique lo que representan los nodos Dumbo y Mael. 
Ambos representan conceptos e instancias de la clase Elefante. Además, 
Dumbo es una instancia de la clase Macho y Mael es una instancia de la clase 
Hembra. 
 
• Identifique dos arcos descriptivos y dos estructurales. 
Arcos Descriptivos: 
o Ballena es de color Gris. 
o Animal necesita Oxigeno. 
 
Arcos Estructurales: 
o Generalización: Mamífero subclase de Animal. 
o Instancia: Dumbo instancia de Elefante. 
 
• ¿De qué color es Dumbo? 
Dumbo es de color gris. 
 
• ¿Qué puede decir de Dumbo? 
Dumbo es un elefante macho de color gris. Como todo animal mamífero necesita 
oxígeno. 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 4 | 7 
 
4.- Aplique encadenamiento hacia adelante con la Base de Reglas siguiente. 
Considere que la Base de Hechos inicial es 𝐵𝐻 = {𝑎} y el objetivo es x. En caso de 
conjunto de conflicto resuélvalo disparando primero la regla con subíndice 
mayor. 
 
Encadenamiento hacia adelante: 
BH: {a} 
Paso 1: 
CC: {1, 2} 
Regla a disparar: 2 
BH: {a, h} 
Paso 2: 
CC: {1, 8} 
Regla a disparar: 8 
BH: {a, h, d} 
Paso 3: 
CC: {1, 4} 
Regla a disparar: 4 
BH: {a, h, d, e} 
Paso 4: 
CC: {1} 
Regla a disparar: 1 
BH: {a, h, d, e, c} 
Paso 5: 
CC: {3, 9} 
Regla a disparar: 9 
BH: {a, h, d, e, c, b} 
Paso 6: 
CC: {3, 10} 
Regla a disparar: 10 
BH: {a, h, d, e, c, b, f} 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 5 | 7 
 
Paso 7: 
CC: {3, 5, 7} 
Regla a disparar: 7 
BH: {a, h, d, e, c, b, f} 
Paso 8: 
CC: {3, 5} 
Regla a disparar: 5 
BH: {a, h, d, e, c, b, f, x} 
Encadenamiento hacia atrás: 
BH: {a} 
Paso 1 
Reglas para obtener el objetivo x: {R5} 
Antecedentes necesarios para R5: b, f 
Subobjetivos: b, f 
Paso 2 
Reglas para obtener el subobjetivo b: {R6, R7, R9} 
Antecedentes necesarios para R6: d, g 
Subobjetivos: d, g 
Antecedentes necesarios para R7: c, f 
Subobjetivos: c, f 
Antecedentes necesarios para R9: a, c, h 
Subobjetivos: c, h 
Reglas para obtener el subobjetivo f: {R10} 
Antecedentes necesarios para R10: a, b, c, h 
Subobjetivos: b, c, h 
Paso 3 
Reglas para obtener el subobjetivo c: {R1} 
Antecedentes necesarios para R1: a 
Disparo regla 1 
BH: {a, c} 
Reglas para obtener el subobjetivo h: {R2} 
Antecedentes necesarios para R2: a 
Disparo regla 2 
BH: {a, c, h} 
 
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 6 | 7 
 
Paso 4 
Disparo regla 9 
BH: {a, c, h, b} 
Paso 5 
Disparo regla 10 
BH: {a, c, h, b, f} 
Paso 6 
Disparo regla 5 
BH: {a, c, h, b, f, x} 
5.- Represente el dominio Música mediante una red de marcos que contenga al 
menos 4 marcos clase, 3 marcos instancia, una relación ad-hoc y 5 atributos de 
instancia (indique la documentación en la que se basó para construir la red). 
 
 
Documentación: 
✓ https://es.wikipedia.org/wiki/ID3 
✓ https://es.wikipedia.org/wiki/Reguet%C3%B3n 
✓ https://es.wikipedia.org/wiki/Daddy_Yankee 
✓ https://es.wikipedia.org/wiki/Barrio_fino 
✓ https://es.wikipedia.org/wiki/Gasolina_(canci%C3%B3n) 
https://es.wikipedia.org/wiki/ID3
https://es.wikipedia.org/wiki/Reguet%C3%B3n
https://es.wikipedia.org/wiki/Daddy_Yankee
https://es.wikipedia.org/wiki/Barrio_fino
https://es.wikipedia.org/wiki/Gasolina_(canci%C3%B3n)
INCO 2017 GRUPO 05 
Pérez, Ramos, Ramos, Quispe, Sandoval, Guanca P á g i n a 7 | 7 
 
✓ https://es.wikipedia.org/wiki/Hip_hop 
✓ https://es.wikipedia.org/wiki/Eminem 
✓ https://es.wikipedia.org/wiki/Recovery_(%C3%A1lbum_de_Eminem) 
✓ https://es.wikipedia.org/wiki/Not_Afraid 
✓ https://es.wikipedia.org/wiki/M%C3%BAsica_electr%C3%B3nica 
✓ https://es.wikipedia.org/wiki/David_Guetta 
✓ https://es.wikipedia.org/wiki/Pop_Life 
✓ https://es.wikipedia.org/wiki/Love_Is_Gone 
https://es.wikipedia.org/wiki/Hip_hop
https://es.wikipedia.org/wiki/Eminem
https://es.wikipedia.org/wiki/Recovery_(%C3%A1lbum_de_Eminem)
https://es.wikipedia.org/wiki/Not_Afraid
https://es.wikipedia.org/wiki/M%C3%BAsica_electr%C3%B3nica
https://es.wikipedia.org/wiki/David_Guetta
https://es.wikipedia.org/wiki/Pop_Life
https://es.wikipedia.org/wiki/Love_Is_Gone