UTN FRSF Inteligencia Artificial Ao 2011

Sistemas de produccin

Inteligencia Artificial Gua de Ejercicios: Sistemas de producciones y encadenamiento hacia adelante

0B

Ejercicio 1 SOLUCION Reglas:

U

1) Pelos(x) => Mamfero(x) 2) DaLeche(x) => Mamfero(x) 3) Plumas(x) => Ave(x) 4) Vuela(x) => Ave(x) 5) PoneHuevos(x) => Ave(x) 6) Mamfero(x) Comecarne(x) => Carnvoro(x) 7) Mamfero(x) Dientes(x,Afilados) Garras(x) Ojos(x,Adelante) => Carnvoro(x) 8) Mamfero(x) Rumiante(x) => Ungulado(x) 9) Carnvoro(x) Color(x,Amarillento) Manchas(x,Negras) => Leopardo(x) 10) Carnvoro(x) Color(x,Amarillento) Rayas(x,Negras) => Tigre(x) 11) Ungulado(x) Piernas(x,Largas) Cuello(x,Largo) Color(x,Amarillento) Manchas(x,Negras) => Jirafa(x) 12) Ungulado(x) Color(x,Blanco) Rayas(x,Negras) => Cebra(x) 13) Ave(x) NoVuela(x) Patas(x,Largas) Cuello(x,Largo) Color(x,BlancoyNegro) => Avestruz(x) 14) Ave(x) NoVuela(x) Nada(x) Color(x,BlancoyNegro) => Pingino(x) 15) Ave(x) Vuela(x) => Tucn(x)

Memoria de trabajo:
U

Pelos(Matilde) Cuello(Matilde, Largo) Patas(Matilde, Largas) Rumiante(Matilde) Color(Matilde, Amarillento) Manchas(Matilde, Negras) Pelos(Facu) Garras(Facu) Ojos(Facu, Adelante) Color(Facu, Amarillento) Rayas(Facu, Negras) Dientes(Facu, Afilados) Plumas(Mario) Color(Mario, BlancoyNegro) NoVuela(Mario) Nada(Mario) 1er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3} Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario)) Fase de resolucin de conflicto: se seleccionar la regla 1 con los elementos Pelos(Matilde) y Pelos(Facu) Fase de ejecucin: se agrega a la memoria de trabajo: Mamfero(Matilde), Mamfero(Facu) 2er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7 y 8}. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu, Afilados)) Fase de resolucin de conflicto: entre la 7 y la 8 que son las reglas que unifican con valores ms recientes en la MT, se selecciona la 7 por ser ms especfica. Fase de ejecucin: se agrega a la memoria de trabajo: Carnvoro(Facu)

1 de 5

UTN FRSF Inteligencia Artificial Ao 2011

Sistemas de produccin

3er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7, 8, 10}. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu, Afilados), Carnvoro(Facu), Color(Facu,Amarillento)) Fase de resolucin de conflicto: se selecciona la 10 es la regla que unifica con valores ms recientes en la MT Fase de ejecucin: se agrega a la memoria de trabajo: Tigre(Facu) 4er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7, 8, 10}. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu,Afilados), Carnvoro(Facu), Color(Facu,Amarillento)) Fase de resolucin de conflicto: se selecciona la 8 por ser la regla que unifica con valores ms recientes en la MT y no haber sido ejecutada anteriormente. Fase de ejecucin: se agrega a la memoria de trabajo: Ungulado(Matilde) 5er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7, 8, 10, 11}. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu,Afilados), Carnvoro(Facu), Color(Facu,Amarillento), Color(Matilde, Amarillento), Patas(Matilde, Largas), Cuello(Matilde, Largo), Ungulado(Matilde)) Fase de resolucin de conflicto: se selecciona la 11 es la regla que unifica con valores ms recientes en la MT Fase de ejecucin: se agrega a la memoria de trabajo: Jirafa(Matilde) 6er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7, 8, 10, 11}. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu,Afilados), Carnvoro(Facu), Color(Facu,Amarillento)) Fase de resolucin de conflicto: se selecciona la 3 por no duplicacin Fase de ejecucin: se agrega a la memoria de trabajo: Ave(Mario) 7er ciclo: Fase de cotejo: conjunto de reglas activas={1, 3, 7, 8, 10,11, 14 }. Elementos de la MT que unifican con antecedentes: (Pelos(Matilde), Pelos(Facu), Plumas(Mario), Garra(Facu), Ojos(Facu, Adelante), Mamfero(Facu), Mamfero(Matilde), Dientes(Facu,Afilados), Carnvoro(Facu), Color(Facu,Amarillento), Ave(Mario), Color(Mario, BlancoyNegro), Nada(Mario), NoVuela(Mario)) Fase de resolucin de conflicto: se selecciona la 14 es la regla que unifica con valores ms recientes en la MT Fase de ejecucin: se agrega a la memoria de trabajo: Pingino(Mario)

Respuesta:
U

Facundo es un tigre, Matilde es una jirafa y Mario es un pingino

Ejercicio 2 SOLUCION Reglas:

U

2 de 5

UTN FRSF Inteligencia Artificial Ao 2011

Sistemas de produccin

1) CrecePoco(x) PlantaAmarillenta(x) => FaltaNitrgeno(x) 2) CrecePoco(x) HojasRojizas(x) => FaltaNitrgeno(x) 3) HojasRojizas(x) PocaRaz(x) RetrazoMadurez(x) => FaltaFsforo(x) 4) HojasRojizas(x) TalloFusiforme(x) RetrazoMadurez(x) => FaltaFsforo(x) 5) HojasChamuscadas(x) => FaltaPotasio(x) 6) TallosDbiles(x) => FaltaPotasio(x) 7) SemillasFrutosMarchitos(x) => FaltaPotasio(x) Memoria de trabajo:
U U

CrecePoco(Planta) HojasRojizas(Planta) TallosDbiles(Planta) 1er ciclo: Fase de cotejo: conjunto de reglas activas={2,6} Elementos de la MT que unifican con antecedentes: (CrecePoco(Planta), HojasRojizas(Planta), TallosDbiles(Planta)) Fase de resolucin de conflicto: se seleccionar la regla 2 porque es la que unifica con ms valores en la MT, con los elementos CrecePoco(Planta), HojasRojizas(Planta) Fase de ejecucin: se agrega a la memoria de trabajo: FaltaNitrgeno(Planta) 2do ciclo: Fase de cotejo: conjunto de reglas activas={2,6} Elementos de la MT que unifican con antecedentes: (CrecePoco(Planta), HojasRojizas(Planta), TallosDbiles(Planta)) Fase de resolucin de conflicto: no se selecciona la regla 2 porque ya fue activada con los mismos hechos, se seleccionar la regla 6 con TallosDbiles(Planta) Fase de ejecucin: se agrega a la memoria de trabajo: FaltaPotasio(Planta) Respuesta: a la planta le faltan los nutrientes nitrgeno y potasio
U U

Ejercicio 3 - SOLUCION Reglas

U

1) Forma(x,Alargada) Color(x,Verde) => Banana(x) 2) Forma (x, Alargada) Color (x,Amarillo) => Banana(x) 3) Forma (x,Redonda) Dimetro(x,y) Menor(y,16)=> Proviene(x, Arbol) 4) Forma (x,Ovalada) Dimetro (x,y) Menor(y,16)=> Proviene (x, Arbol) 5) Forma (x,Redonda) Dimetro (x,y) Mayor (y,16)=> Proviene (x, Planta) 6) TieneSemilla(x,1) => Semilla(x,Dura) 7) Color (x,Verde) Proviene (x, Planta) => Sanda(x) 8) Color (x,Amarillo) Proviene (x, Planta) => Meln(x) 9) Color (x,Naranja) Semilla (x, Dura) Proviene (x, Arbol) => Damasco(x) 10) Color (x,Naranja) TieneSemilla(x,y) mayor(y,1) Semilla (x, Dura) Proviene (x, Arbol) => Naranja(x) 11) Color (x,Rojo) Semilla (x, Dura) Proviene (x, Arbol) => Cereza(x) 12) Color (x, Naranja) Semilla (x, Dura) Proviene (x, Arbol) => Melocotn(x) 13) Color (x,Rojo) TieneSemilla (x,y) Mayor (y,1) Proviene (x,Arbol) => Manzana(x) 14) Color (x,Amarillo) TieneSemilla (x,y) Mayor (y,1) Proviene (x, Arbol) => Manzana(x) 15) Color (x,Verde) TieneSemilla (x,y) Mayor (y,1) Proviene (x, Arbol) => Manzana(x)

3 de 5

UTN FRSF Inteligencia Artificial Ao 2011

Sistemas de produccin

16) Color (x,Morado) Semilla (x,Dura) Proviene (x,Arbol) => Ciruela(x) Memoria de trabajo: Dimetro(x,4), Forma(x,Redonda), TieneSemilla(x,1), Color(x,Rojo)
U U

de 3) Forma(x,Redonda) Dimetro(x,4) Menor(x,16) => Proviene(x,Arbol) Memoria de trabajo: Dimetro(x,4), Proviene(x,Arbol)

U UD

Forma(x,Redonda),

TieneSemilla(x,1),

Color(x,Rojo),

de 6) TieneSemilla(x,1) => Semilla(x,Dura) Memoria de trabajo: Dimetro(x,4), Forma(x,Redonda), TieneSemilla(x,1), Color(x,Rojo), Proviene(x,Arbol), Semilla(x,Dura)
U U

de 11) Color(x,Rojo) Semilla(x,Dura) Proviene(x,Arbol) => Cereza(x)

Respuesta: x es una cereza

U U

Ejercicio 4 SOLUCION Predicados:

U U

Es(Alicia, Estudiante) Es (Daniel, Vecino) Es (Carlos, Estudiante) Compra(Alicia, CD) Usa(Carlos, Kazaa) Usa( Daniel, Morpheus) Comparte(Daniel, Archivos)

Reglas:
U U

R1: Usa (x,Kazaa) => Intercambia(x,Archivos) R2: Usa (x, Morpheus) => Intercambia(x, Archivos) R3: Compra (x,CD) => paga(x,Musica) R4: Intercambia (x, Archivos) Comparte (x,Archivos) => enjuiciar(x) R5: Intercambia (x, Archivos) es(x, Estudiante) => Enjuiciar(x) R6: Paga(x,Musica) => NoEnjuiciar(x)

1er ciclo:
U

Fase de cotejo: conjunto de reglas activas={1,2,3} Elementos de la MT que unifican con antecedentes: (Usa (Carlos, Kazaa), Usa (Daniel, Morpheus), Compra(Alicia, CD))
U

Fase de resolucin de conflictos: se selecciona la regla 1 por prioridad, es la que aparece primero, con Usa (Carlos, Kazaa)
U

Fase de ejecucin: se agrega a la memoria de trabajo: Intercambia(Carlos,Archivos)

U

2do ciclo:

4 de 5

UTN FRSF Inteligencia Artificial Ao 2011

Sistemas de produccin

Fase de cotejo: conjunto de reglas activas={1,2,3,5} Elementos de la MT que unifican con antecedentes: (Usa(Carlos, Kazaa), Usa(Daniel, Morpheus), Compra(Alicia, CD), Intercambia(Carlos,Archivos), Es(Carlos, Estudiante))
U

Fase de resolucin de conflictos: se selecciona la regla 5 por especificidad, es la que unifica con ms valores en la MT, con: Intercambia(Carlos,Archivos), Es(Carlos, Estudiante)
U U

Fase de ejecucin: se agrega a la memoria de trabajo: Enjuiciar(Carlos)

U U

3er ciclo:
U

Fase de cotejo: conjunto de reglas activas={1,2,3,5} Elementos de la MT que unifican con antecedentes: (Usa(Carlos, Kazaa), Usa(Daniel, Morpheus), Compra(Alicia, CD), Intercambia(Carlos,Archivos), Es(Carlos, Estudiante))
U

Fase de resolucin de conflictos: se selecciona la regla 2 por prioridad con: Usa(Daniel, Morpheus)
U

Fase de ejecucin: se agrega a la memoria de trabajo: Intercambia(Daniel,Archivos)

U

4to ciclo: Fase de cotejo: conjunto de reglas activas={1,2,3,4,5} Elementos de la MT que unifican con antecedentes: (Usa(Carlos, Kazaa), Usa(Daniel, Morpheus), Compra(Alicia, CD), Intercambia(Carlos,Archivos), Es(Carlos, Estudiante), Intercambia(Daniel,Archivos), Comparte(Daniel,Archivos)
U U

Fase de resolucin de conflictos: se selecciona la Intercambia(Daniel,Archivos), Comparte(Daniel,Archivos)

U U U

regla

por

especificidad

con:

Fase de ejecucin: se agrega a la memoria de trabajo: Enjuiciar(Daniel)

5to ciclo: Fase de cotejo: conjunto de reglas activas={1,2,3,4,5} Elementos de la MT que unifican con antecedentes: (Usa(Carlos, Kazaa), Usa(Daniel, Morpheus), Compra(Alicia, CD), Intercambia(Carlos,Archivos), Es(Carlos, Estudiante), Intercambia(Daniel,Archivos), Comparte(Daniel,archivos)
U U

Fase de resolucin de conflictos: se selecciona la regla 3 por no duplicacin con: Compra(Alicia, CD)
U

Fase de ejecucin: se agrega a la memoria de trabajo: Paga(Alicia, Musica)

U

6to ciclo:
U

Fase de cotejo: conjunto de reglas activas={1,2,3,4,5,6} Elementos de la MT que unifican con antecedentes: (Usa(Carlos, Kazaa), Usa(Daniel, Morpheus), Compra(Alicia, CD), Intercambia(Carlos,Archivos), Es(Carlos, Estudiante), Intercambia(Daniel,Archivos), Comparte(Daniel,Archivos), Paga(Alicia, Musica)
U

Fase de resolucin de conflictos: se selecciona la regla 6 por novedad con : Paga(Alicia,Msica)

U

Fase de ejecucin: se agrega a la memoria de trabajo: NoEnjuiciar(Alicia)

U

5 de 5