Académique Documents
Professionnel Documents
Culture Documents
Octubre 2010
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
1 / 11
Planicacin en IA
Plan: secuencia de acciones individuales que permiten alcanzar una meta a partir de una situacin inicial Planicacin en IA: procedimiento automtico para encontrar un plan para un problema concreto Se pueden aplicar directamente los mtodos conocidos de bsqueda en espacio de estados pero en ocasiones presentan problemas de eciencia
Acciones no relevantes alto factor de ramicacin
Introduccin a STRIPS
STRIPS: STanford Research Institute Problem Solver [Fikes y Nilsson 1971] Planicador automtico usado en aplicaciones de robtica Utiliza un formalismo basado en lgica para representar estados y operadores
Estado = conjunto de predicados lgicos Operador aade y/o elimina predicados al estado actual Sirvi como modelo a la mayor parte de planicadores posteriores
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
3 / 11
Operadores STRIPS
Operador STRIPS: representa una accin mediante 3 componentes precondiciones (PC): lista de tomos que tienen que ser ciertos en el estado para que la accin pueda sera aplicada lista borrar (B): lista de tomos que dejan de ser ciertos una vez aplicada la accin lista aadir (A): lista de tomos que pasan a ser ciertos una vez aplicada la accin Nota: listas A y B pueden unirse (lista Efectos) indicando los atomos de B negados Solo especica lo que cambia en el mundo con la ejecucin de la accin Operadores parametrizables: tomos en listas PC, A y B pueden contener variables que se instanciarn al aplicar el operador
IA1011 (CCIA) Seminario planicacin Octubre-2010 4 / 11
Ejemplos STRIPS
Apilar el bloque en el brazo sobre otro
APILAR(x,y) P: LIBRE(y), COGIDO(x) B: LIBRE(y), COGIDO(x) A: BRAZO_LIBRE, SOBRE(x,y), LIBRE(x)
Estado inicial
Estado nal
C B
A B
C D
Demo: http://www.aispace.org/planning/version4.0.0/planning.zip
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
5 / 11
Finaliza cuando se alcanza un objetivo que sea cierto en el estado inicial Mejora la eciencia: saca ventaja de la descomposicin del problema en subproblemas (reduce factor ramic.)
Espacio de estados sigue siendo grande
IA1011 (CCIA) Seminario planicacin Octubre-2010 6 / 11
Esquema general
Estados = planes parciales Operadores = modicaciones que renan los planes parciales
aadir operador reordenar operadores instanciar un operador (aplicarlo a un caso particular)
Ventaja: El algoritmo puede trabajar en varios subojetivos de forma independiente, resolvendolos en varios subplanes,
Octubre-2010
7 / 11
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
9 / 11
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
10 / 11
Temas a desarrollar
Descripcin/comparacin de otros algoritmos de planicacin reas de aplicacin de los mtodos de planicacin Ejemplos de usos prcticos de la planicacin Planicacin en sistemas multiagente Planicacin en juegos etc,... Referencias Captulo 11 de Inteligencia Articial: un enfoque moderno (Russell & Norvig), 2da edicin
Disponible en ingls en: http://aima.cs.berkeley.edu/
IA1011 (CCIA)
Seminario planicacin
Octubre-2010
11 / 11