Está en la página 1de 18

Soluciones exmenes UNED

Cdigo asignatura

Nombre asignatura

0153209
Fecha alta y origen 02/06/2010 Pgina Asignatura

Introduccin a la Inteligencia Artificial


Convocatoria

Junio 08 (Original)

Universidad Nacional de Educacin a Distancia Ingeniera Tcnica en Informtica de Sistemas Introduccin a Inteligencia Artificial (2 !urso" Solucin e#menes $unio 2%%&

E$ercicio '( )rimera Semana( Considere el grafo de la figura, donde A es el nodo inicial y Z el nico nodo meta. Cada arco lleva asociado su coste y en cada nodo aparece la estimacin de la menor distancia desde ese nodo a la meta. Aplicar paso a paso el algoritmo A* al grafo dado.
1

A 25
1 1 2 1 1

B
20 19

E 1!
1

F 12
20

G 2
1

Z 0

"#$%C&'( !iclo '* &nicialmente) A*&+,-A) A.0+25/ C+,,A0A)


A 25

!iclo 2* $a nica posi1ilidad es e2pandir A) A*&+,-A) B.1+20/, C.1+19/, D.2+1 /, E. +1!/ C+,,A0A) A
1

A 25
1 2 1

B
20 19

E 1!

!iclo +* +l nodo m3s prometedor de A*&+,-A es D, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/, C.1+19/, E.251+1!/ C+,,A0A) A, D
1

A 25
1 1 2 1

B
20 19

E 1!

0e1ido a la e2pansin de D, se 6a a1ierto un nuevo camino desde C 6asta A, aun4ue no es me7or 4ue el ya e2istente anteriormente. -am1i8n se 6a a1ierto un nuevo camino entre E y A, 4ue s9 es me7or 4ue el anterior.

!iclo ,* +l nodo m3s prometedor de A*&+,-A es E, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/, C.1+19/, F.25151+12/ C+,,A0A) A, D, E
1

A 25
1 1 2 1

B
20 19

E 1!
1

F 12

!iclo -* +l nodo m3s prometedor de A*&+,-A es F, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/, C.1+19/, G.25151520+2/ C+,,A0A) A, D, E, F
1

A 25
1 1 2 1

B
20 19

E 1!
1

F 12
20

G 2

!iclo .* +l nodo m3s prometedor de A*&+,-A es C, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/, G.15152/ C+,,A0A) A, D, E, F, C
1

A 25
1 1 2 1 1

B
20 19

E 1!
1

F 12
20

G 2

0e1ido a la e2pansin de C, se 6a a1ierto un nuevo camino desde G 6asta A, me7or 4ue el ya e2istente anteriormente. !iclo /* +l nodo m3s prometedor de A*&+,-A es G, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/, Z.15151+0/ C+,,A0A) A, D, E, F, C, G
1

A 25
1 1 2 1 1

B
20 19

E 1!
1

F 12
20

G 2
1

Z 0

!iclo &* +l nodo m3s prometedor de A*&+,-A es Z, 4ue es seleccionado para su e2pansin. A*&+,-A) B.1+20/ C+,,A0A) A, D, E, F, C, G, Z Al ser Z un nodo meta, finali:a el algoritmo. +l camino encontrado es A C G Z. E$ercicio 2( )rimera Semana( +numere los e7emplos de red asociativa 4ue cono:ca. ;ara cada e7emplo descri1a 1revemente los tipos de enlace 4ue proporciona. ;ara cada tipo de enlace ponga un e7emplo asociado al mundo real 4ue d8 idea de cmo se utili:a dic6o enlace para representar una determinada relacin. "#$%C&'( +2isten tres tipos de redes asociativas) las redes sem3nticas, las redes de clasificacin y las redes causales. 1. ,+0+" "+<A(-&CA". 1. =,A>#" ,+$AC&#(+" 1. <odelo de <emoria "em3ntica, de ?uillian. 2. "istema "C@#$A,, de Car1onell. A. =rafos de 0ependencia Conceptual, de "c6anB. 2. ,+0+" ;,#;#"&C&#(A$+" 1. ,edes de "6apiro. 2. =rafos de "oCa. 2. ,+0+" 0+ C$A"&>&CAC&'( A. ,+0+" CA%"A$+" 1. +l sistema +2perto CA"(+2. ,edes *ayesianas. +l modelo de memoria sem3ntica de ?uillian es un e7emplo de red sem3ntica 4ue proporciona seis tipos de enlaces) 1/ Subclase) une un nodo tipo con la clase a la 4ue pertenece. ;or e7emplo,
A$&<+(-# C#"A

2/ Modificacin) une dos nodos r8plica de modo 4ue el segundo modifica el alcance del primero. ;or e7emplo, +"-,%C-%,A D&DA. A/ Disyuncin) une dos o m3s nodos de forma disyuntiva. ;or e7emplo,
# A&,+ A=%A

/ Conjuncin) une dos o m3s nodos de forma con7untiva. ;or e7emplo,


E A&,+ A=%A

5/ Propiedad) une un nodo relacin, un nodo su7eto y un nodo o17eto. ;or e7emplo,
-#<A ;$A(-A A$&<+(-#

!/ Referencia al tipo) une un nodo r8plica a su correspondiente nodo tipo. ;or e7emplo,
A$&<+(-# A$&<+(-#

+l sistema "C@#$A, de Car1onell es un e7emplo de red sem3ntica similar a los marcos, donde cada enlace une un elemento con la clase 4ue lo representa, a modo similar de los enlaces referencia al tipo en el modelo de memoria sem3ntica de ?uillian. ;or e7emplo,
A,=+(-&(A A,=+(-&(A

$os grafos de dependencia conceptual de "c6anB son un e7emplo de red sem3ntica con enlaces 4ue dan origen a diecis8is reglas sint3cticas, algunas de las cuales son) 1/ Sujeto !erbo)
A(A *&(=+"-*

2/ "erbo objeto)
*&(=+"-* # D&(#

A# Posesin o parte de)


*,AF# A(A

/ Direccin)
*&(=+"-* 0 &(-+,&#, *#CA

5/ Recepcin)
*A-,A("* G%A( , A$=%&+(

!/ Causalidad)

HGuan enfermI

HGuan muereI

$as redes de "6apiro son un e7emplo de red sem3ntica con varios tipos de enlaces gramaticales) a$ente, !erbo, objeto, %ie%bro o clase, entre otros. A modo de e7emplo,
<1 Agente $uis <2 Der1o oscuJ recer <A #17eto lapiJ cero <iem1ro -CeeJ ty < Clase p37aJ ro

$os grafos de "oCa son un e7emplo de red sem3ntica seme7ante a las redes de "6apiro, pero cuyos enlaces son algo diferentes. Consid8rense los siguientes e7emplos)
;+,"#(A) ;edro A=D+ #*G ;+$KC%$A) *

$as redes de clasificacin contienen dos tipos de enlaces) los 4ue unen una su1clase con la clase en la 4ue est3 incluida .por e7emplo, C#C@+ D+@KC%$#/ y los 4ue unen un elemento con la clase a la 4ue pertenece .por e7emplo, >#,0 >#C%" 0000 *** C#C@+/. +l sistema e2perto CA"(+- es un e7emplo de red causal con los siguientes tipos de enlaces)

1/ ,elaciones de inclusin dentro del plano de enfermedades, por e7emplo, =$A%C#<A 0+ L(=%$# A*&+,-# =$A%C#<A 2/ ,elaciones de causalidad dentro del plano de estados patofisiolgicos, por e7emplo, +$+DAC&'( 0+ $A ;,+"&'( &(-,A#C%$A, +0+<A C#,(+A$. Cada enlace lleva asociado un factor aij 4ue indica Hgrado de cone2in causalI. A/ +nlaces entre el plano de enfermedades y el de estados fisiopatolgicos, por e7emplo, =$A%C#<A 0+ L(=%$# C+,,A0# ,+0%CC&'( 0+$ CA<;# D&"%A$. / +nlaces entre el plano de estados fisiopatolgicos y el de o1servaciones, por e7emplo, +0+<A C#,(+A$ A=%0+FA D&"%A$. $as redes 1ayesianas son un e7emplo de red causal donde cada enlace determina una relacin de causalidad o simplemente de dependencia pro1a1ilista, por e7emplo, >%<A0#, CL(C+, 0+ ;%$<'(. Asociada a los arcos 4ue unen un nodo con sus padres e2iste una ta1la de pro1a1ilidades condicionales. ;or e7emplo, en el enlace anterior, P.C&'CER DE P()M*' M F(MAD+R/ e2presar9a la pro1a1ilidad de tener c3ncer de pulmn dado 4ue se es fumador. E$ercicio +( )rimera Semana( ,ealice un estudio comparativo de los siguientes m8todos de representacin de conocimiento) Redes Bayesianas y Marcos. @aga especial 8nfasis en los siguientes aspectos) a/ -ipo de conocimiento 4ue permiten modelar 1/ -ipo de inferencias 4ue permiten reali:ar c/ 0ominios del mundo real en 4ue aplicar9a dic6os m8todos "#$%C&'( a/ -anto redes 1ayesianas como marcos .nos referiremos a la versin m3s actual, no a la desarrollada por <arvin <insBy/ son dos tipos de redes formadas por nodos y arcos. +n una red 1ayesiana, uno nodo es una varia1le aleatoria, mientras 4ue en una 7erar4u9a de marcos puede ser una clase de o17etos o una instancia .e7emplo o elemento/ de una clase. +n una red 1ayesiana cada varia1le puede tomar un con7unto de valores e2clusivos y e26austivos, mientras 4ue un marco est3 formado por un con7unto de campos o propiedades 4ue pueden tomar valores de muy distinta naturale:a) univaluados, multivaluados, con restricciones, con factores de certe:a asociados, etc. +n una red 1ayesiana, los arcos determinan relaciones de dependencia condicional entre varia1les, mientras 4ue en una 7erar4u9a de marcos representan relaciones de inclusin de una su1clase en una clase, o de pertenencia de una instancia a una clase. 1/ %na red 1ayesiana permite calcular la pro1a1ilidad a posteriori de cual4uier varia1le de la red, dada la evidencia. ;ara ello se pueden utili:ar algoritmos de diferente naturale:a, 4ue e2plotan el 6ec6o de 4ue la pro1a1ilidad con7unta de las varia1les de una red 1ayesiana factori:a en funcin de las ta1las de pro1a1ilidades condicionales asociadas a sus nodos. ;or e7emplo, si la red 1ayesiana tienen formar de 3r1ol, se puede utili:ar un algoritmo eficiente 1asado en el paso de mensa7es pro1a1ilistas entre nodos vecinos. +n una 7erar4u9a de marcos, cada clase o instancia 6ereda los campos de sus ascendientes, a falta de informacin en el propio marco en relacin a los campos 6eredados. 0e esta forma se reali:a una especie de ra:onamiento por defecto. ;or otra parte, los llamados HdemoniosI son un con7unto de funciones asociadas a campos, 4ue permiten mantener la consistencia del sistema ante cual4uier tipo de cam1io 4ue se produ:ca en la 7erar4u9a. c/ $as redes 1ayesianas se aplican a dominios caracteri:ados por la e2istencia de incertidum1re. "e aplican a tareas de diagnstico o prediccin. %n posi1le campo de aplicacin es el diagnstico m8dico.

$os marcos sirven para organi:ar de forma estructurada y eficiente el conocimiento so1re los o17etos 4ue aparecen en un dominio. "e pueden utili:ar, por e7emplo, en la construccin de la 1ase de afirmaciones de un sistema e2perto. E$ercicio '( Segunda Semana( (0aloracin* , 1untos"

+n el grafo de la figura A, es el nodo inicial y F el nico nodo meta. Cada arco lleva asociado su coste y en cada nodo aparece la estimacin de la menor distancia desde ese nodo a la meta.

a" (m#( + 1untos" Aplicar los siguientes algoritmos a este grafo) 1s4ueda en amplitud, 1s4ueda en profundidad, primero el me7or y A*. 0escri1ir cada uno de los pasos seguidos
indicando el contenido de las listas A*&+,-A y C+,,A0A y di1u7ando en cada etapa del algoritmo el su1grafo parcial creado. 0evolver igualmente el camino solucin. 2" (m#( ' 1unto" N+s montona la 6eur9stica empleadaO ,a:onar la respuesta e indicar 4u8 consecuencias tiene en el proceso de 1s4ueda cuando se utili:a el algoritmo A*.

S34U!I5N a" 67s8ueda en am1litud @acemos 1s4ueda de i:4uierda a derec6a. %tili:amos una estructura tipo cola
!iclo ') +2pandimos A C#$A) P*,C,0,+Q

!iclo 2* +2pandimos * C#$A)PC,0,+,>Q

!iclo +* +2pandimos C

C#$A) P0, +, >Q

!iclo ,) +2pandimos 0

C#$A) P+,>Q

!iclo -* +2pandimos +

C#$A) P>, @Q

!iclo .* +2pandimos >

C#$A) P@, =Q

!iclo /* +2pandimos @

C#$A) P=,FQ #1tenemos F . +s nodo meta. CA<&(# "#$%C&'() AEHZ

2" 67s8ueda en 1rofundidad #rden de e2pansin de los nodos sucesores de i:4uierda a derec6a. %tili:amos una estructura de tipo ;&$A
!iclo '* +2pandimos A ;&$A)P*,C,0,+Q

!iclo 2* +2pandimos *

;&$A) P>,C,0,+Q

!iclo +* +2pandimos >

;&$A) P=,@,C,0,+Q

!iclo ,* +2pandimos =

;&$A) P@,C,0,+Q

!iclo -* +2pandimos @

;&$A) PF,C,0,+Q #1tenemos F. +s <eta. CA<&(# "#$%C&'() A B F H Z

c" 67s8ueda 1rimero el me$or


!iclo '* +2pandimos A C+,,A0ARPAQ A*&+,-ARP*.S5/,C.!5/,0.55/,+.S0/Q

!iclo 2* +2pandimos 0

C+,,A0ARPA,0Q A*&+,-ARP*.S5/,C.!5/,+.S0/,>.50/Q

!iclo +* +2pandimos >

C+,,A0ARPA,0,>Q A*&+,-ARP*.S5/,C.!5/,+.S0/,=.50/,@. 0/Q

!iclo ,* +2pandimos @

C+,,A0ARPA,0,>,@Q A*&+,-ARP*.S5/,C.!5/,+.S0/,=.50/,F.0/Q #1tenemos F. +s meta. CA<&(# "#$%C&'() A D F H Z

d" 67s8ueda A9
!iclo %* A es el nodo inicial C+,,A0ARPQ A*&+,-ARPA.T0/Q

!iclo '* +2pandimos A

C+,,A0ARPAQ A*&+,-ARP*. 5S5/,C.105!5/,0.10555/,+.155S 0/Q

!iclo 2* +2pandimos 0

C+,,A0ARPA,0Q A*&+,-ARP*. 5S5/,C.105!5/,+.155S0/,>.1051 0550/Q

!iclo +* +2pandimos >

C+,,A0ARPA,0,>Q A*&+,-ARP*. 5S5/,C.105!5/,+.155S0/,=.1051 05A5550/,@.105105A05 0/Q

!iclo ,* +2pandimos C

C+,,A0ARPA,0,>,CQ A*&+,-ARP*. 5S5/,+.155S0/,=.105105A5550/, @.105105A05 0/Q

!iclo -* +2pandimos *

C+,,A0ARPA,0,>,C,*Q A*&+,-ARP+.155S0/,=. 555A5550/,@. 555A0 5 0/Q. @ay una redireccin. Ea 4ue al e2pandir el nodo * 6emos encontrado un camino con menor coste para ir desde el nodo A 6asta el >.

!iclo .* +2pandimos @

C+,,A0ARPA,0,>,C,*,@Q A*&+,-ARP+.155S0/,=. 555A5550/,F. 555A05 250/Q

!iclo /* +2pandimos F

+s meta CA<&(# "#$%CK#( .de coste 1/) A B F HZ

'(2" $a funcin de evaluacin 6eur9stica no es montona puesto 4ue no se cumple 4ue) n,n- . n coste n,n- /. n- donde nU es un nodo sucesor de n y coste.n,nU/ representa el coste del enlace entre n y nU. ;or e7emplo) . A = T0 /. B = S9 Como consecuencia, 6a sido necesario revisar la e2istencia de reorientaciones de enlaces.

E$ercicio 2( Segunda Semana( (0aloracin* + 1untos"

$a 1ase de conocimiento de un sistema 1asado en reglas contiene las siguientes reglas) ,1) "i 62 entonces 6 ,2) "i 61 entonces 6A ,A) "i 6A y 6T entonces 65 , ) "i 6A y 610 entonces 65 ,5) "i 6A y 611 entonces 62 ,S) "i 610 entonces 61 ,T) "i 62 entonces 615 ,9) "i 61 entonces 61A ,11) "i 61 y 6T entonces 610 ,12) "i 61T entonces 6T ,!) "i 610 y 61! entonces 61A ,10) "i 6 entonces 6S

donde 6i representa un 6ec6o. Cada 6ec6o se almacena en la *ase de Afirmaciones de la siguiente forma) 6i.t/, 4ue significa 4ue 6i fue inferido en el ciclo t. &nicialmente, *A0R P61, 69, 611Q. a/ "uponiendo 4ue nuestro o17etivo es o1tener 61A, indicar detalladamente cmo evoluciona la e7ecucin del m8todo de encadenamiento 6acia adelante, a partir de *A0. N+s posi1le o1tener 61AO N@asta 4u8 ciclo llegar9amosO Como mecanismo de control consideramos el criterio de refractariedad .no se puede e7ecutar en el presente ciclo una regla 4ue fue e7ecutada en el ciclo anterior/ y tienen preferencia las reglas de menor su19ndice. 1/ Considerando la misma 1ase de conocimiento y la 1ase de afirmaciones *AR P61, 611Q, averiguar, aplicando un m8todo de encadenamiento 6acia atr3s, si en algn momento podr9amos llegar a tener 6S.

S34U!I5N a/ -eniendo en cuenta la 1ase de afirmaciones inicial *A0R P61, 69, 611Q)

Ciclo 1) ;odr9amos aplicar las siguientes reglas .con7unto conflicto/) P,2,,9Q. ,esolucin de conflictos) Como es el primer ciclo slo de1emos tener en cuenta la preferencia de las reglas con menor su19ndice. Aplicamos por tanto, la regla ,2. $a 1ase de afirmaciones ser9a) *A1R P61.0/, 69.0/, 611.0/,6A.1/Q Ciclo 2) ;odr9amos aplicar las siguientes reglas) P,2,,9,,5Q.-ras refractariedad el con7unto conflicto es P,5,,9Q. ;or el criterio de preferencia de las reglas con menor su19ndice, aplicamos la regla ,5. $a 1ase de afirmaciones ser9a) *A2R P61.0/, 69.0/, 611.0/,6A.1/,62.2/Q. Ciclo A) ;odr9amos aplicar las siguientes reglas) P,1,,2,,9,,5,,TQ. -ras refractariedad el con7unto conflicto es P,1,,2,,9,,TQ. ;or el criterio de preferencia de las reglas con menor su19ndice, aplicamos la regla ,1. $a 1ase de afirmaciones ser9a) *A2R P61.0/, 69.0/, 611.0/,6A.1/,62.2/,6 .A/Q Ciclo ) ;odr9amos aplicar las siguientes reglas) P,1,,2,,5,,T,,9,,10Q. -ras refractariedad el con7unto conflicto es P,2,,5,,T,,9,,10Q. ;or el criterio de preferencia de las reglas con menor su19ndice, aplicamos la regla ,2. $a 1ase de afirmaciones ser9a) *A2R P61.0/, 69.0/, 611.0/,6A. /,62.2/,6 .A/Q ;odemos compro1ar 4ue seguir9amos aplicando sucesivamente las reglas ,1 y ,2 con lo 4ue no podr9amos llegar nunca a aplicar ,T y o1tener por tanto el o17etivo 615.

1/ "uponemos a6ora 4ue nuestro o17etivo es 6S. Aplicando encadenamiento 6acia atr3s y

teniendo en cuenta la regla ,10, o1tendr9amos como su1o17etivo el 6ec6os 6 . +n la 1ase de afirmaciones no se encuentra 6 as9 4ue, teniendo en cuenta la regla ,1 o1tenemos como nuevo su1o7etivo el 6ec6o 62. -eniendo en cuenta la regla ,5 o1tenemos como nuevos su1o7etivos los 6ec6os 6A y 611. +l 6ec6o 611 lo tenemos en la 1ase de afirmaciones dada, as9 4ue nuestro o17etivo a6ora es ver si podemos o1tener 6A. Dolviendo a aplicar encadenamiento 6acia atr3s, y teniendo en cuenta la regla ,2, vemos 4ue podemos o1tener 6A ya 4ue tenemos 61en la 1ase de afirmaciones dada. ;or tanto, s9 podemos llegar a o1tener 6S con la 1ase de afirmaciones inicial y aplicando encadenamiento 6acia atr3s.
E$ercicio +( Segunda semana( (0aloracin* + 1untos"

Considere el siguiente te2to)


El perro es un ani%al %a%0fero y co%o tal su san$re es caliente y su piel est1 recubierta de pelo2 3res caracter0sticas i%portantes de cual4uier perro es 4ue una de sus partes es el rabo, su sonido es el ladrido y sus .ijos son los cac.orros2 5ac6o es un perro2 (n perro fa%oso, es )assie 4ue es un pastor ale%1n y ade%1s es actor de tele!isin2 ,epresente la informacin contenida en el te2to en forma de <arcos, ,edes "em3nticas y $gica de ;redicados

S34U!I5N

:edes semnticas

;arcos clase mam9fero es su1claseJde nilV sangreRsangreJcalienteV recu1iertaWpielRpeloV fin clase perro es su1claseJde mam9fero parteRra1oV sonidoRladridoV 6i7osRcac6orrosV fin clase pastor es su1claseJde perroV fin instancia GacBo es instanciaJde perroV fin instancia $assie es instanciaJde pastor alem3nV actividadRactor -D fin

:eglas

7perro 7 parte 7,rabo 8 7perro 7 sonido 7,ladrido 8 7perro 7 .ijos 7,cac.orros 8 7perro 7 %a%ifero 7 8 7%a%ifero 7 san$re 7,san$re caliente 8 7%a%ifero 7 recubierta piel 7,pelo 8 7pastor ale%an 7 perro 7 8 pastor ale%an )assie 8 acti!idad )assie,actor t! perro 5ac6o 8