Universidad Rey Juan Carlos Curso 2007–2008 Inteligencia Artificial Ingenier´ıa Inform´

Universidad Rey Juan Carlos
Inteligencia Artificial
Ingenierı́a Informática
Hoja de Problemas 6
Planificación
Curso 2007–2008
1. Marca las respuestas correctas a las preguntas planteadas. Si existe más de una
respuesta correcta márquelas todas:
1. La Anomalı́a de Susmann descubre el hecho de que:
(a) En la planificación con heurı́stica STRIPS es anormal que existan estados
repetidos.
(b) La planificación con heurı́stica STRIPS no siempre es completa.
(c) La planificación con heurı́stica STRIPS no siempre es óptima.
(d) Ninguna de las anteriores.
2. Para regresar un estado S por un operador de planificación op tipo STRIPS se
debe:
(a) Borrar todas las propiedades que aparecen en la lista “Añadir” (A) de S.
(b) Borrar todas las propiedades que aparecen en la lista “Eliminar” (E) de S.
(c) Borrar todas las propiedades que aparecen en la lista “Precondición”(PC)
de S.
(d) Añadir todas las propiedades que aparecen en la lista “Eliminar” (E) de S.
3. El algoritmo no determinista de planificación con la heurı́stica STRIPS:
(a) Es completo.
(b) No encuentra una solución si el coste de los operadores son funciones no
acotadas.
(c) Encuentra una solución siempre sólo si el número de metas finales es 1.
(d) Ninguna de las anteriores.
2. Expresa el siguiente escenario en la representación tipo STRIPS:
En una habitación hay un mono, una caja y un plátano, tal como indica la figura
(situación inicial). El objetivo del mono es tener el plátano. El mono puede:
ir de una posición a otra.
empujar la caja de una posición a otra si está en la misma posición que ella y
no está sobre ella.
subirse a la caja si está en la misma posición que ella.
coger el plátano si está encima de la caja.
Página 1 de 4
Hoja de Problemas 6
Planificación
(a) Modela con operadores STRIPS las posibles acciones del mono, ası́ como la
situación inicial.
(b) Aplicar la planificación STRIPS y dar como resultados el árbol, el plan y los
estados intermedios.
Solución
(M) = Mono
(Pl) = Plátano
(C) = Caja
Estado Inicial { Está(M,p1) Está(Pl,p2) Está(C,p3) Libre(C) Libre(Pl) }
Operadores
Ir(M,px ,py )
PC: Está(M,px )
E: Está(M,px )
A: Está(M,py )
Empujar(M,C,px ,py )
PC: Está(M,px ) ∧ Está(C,px ) ∧ Libre(C)
E: Está(C,px ) ∧ Está(M,px )
A: Está(M,py ) ∧ Está(C,py )
Subir(M,C)
PC: Está(M,px ) ∧ Está(C,px ) ∧ Libre(C)
E: Libre(C)
A: Sobre(M,C)
Coger(M,Pl)
PC: Está(M,px ) ∧ Está(C,px ) ∧ Está(Pl,px ) ∧ Sobre(M,C) ∧ Libre(Pl)
E: Libre(Pl)
Página 2 de 4
Hoja de Problemas 6
Planificación
A: Tiene(M,Pl)
3. Aplicar la planificación STRIPS para desde el estado inicial llegar al estado meta de
la figura 1 (resuelto en clase). Obtener las metas en el siguiente orden: 1o on(A,T), 2o
on(C,B) y 3o on(B,A). Dar como resultados el árbol, el plan y los estados intermedios.
Solución
Página 3 de 4
Hoja de Problemas 6
Planificación
Página 4 de 4