Busqueda Estado

Inteligencia Artificial Clase #4 Bsqueda Ciega
Dr. Wladimir Rodrguez Postgrado en Computacin wladimir@ula.ve
Agenda
Dr. Wladimir Rodriguez
Agente Solucionador de Tareas Bsqueda en Espacio de Estados Conceptos Bsicos de Bsqueda Algoritmo de Bsqueda Bsqueda a lo Ancho Bsqueda en Profundidad Bsqueda en Profundidad Iterativa Bsqueda de Costo Uniforme
2
Inteligencia Artificial
Agente Solucionador de Problemas

1. estado Inicial sensar/leer estado 2. meta seleccionar/leer meta 3. sucesor seleccionar/leer modelos de accin 4. problema (estado inicial, meta, sucesor) 5. solucin bsqueda (problema) 6. ejecutar (solucin}
Bsqueda en Espacio de Estados
Arbol de Bsqueda
Dr. Wladimir Rodriguez 4 Inteligencia Artificial
Conceptos Bsicos de Bsqueda
Arbol de Bsqueda Nodo de Bsqueda Expansin de Nodos Estrategia de Bsqueda: Permite determinar para
cada paso cual nodo expandir
Diferencia entre Nodos de Bsqueda y Estados

8 3 5 2 4 1 7 6

8 3 5 2 4 1 7 6
8 3 5
2 4 1 8 3 5
7 6 2 4 1 7 6

8 3 5 2 4 1 7 6
8 3 5
2 4 1 8 3 5
7 6 2 4 1 7 6
3 5 8 4 1 2 7 6 8 4 3 5 1 2 7 6 8 3 5 2 4 1 7 6

El rbol de bsqueda puede ser infinito, aun si el espacio de estado es finito
8 3 5 2 4 1 7 6
8 3 5
2 4 1 8 3 5
7 6 2 4 1 7 6
3 5 8 4 1 2 7 6 8 4 3 5 1 2 7 6 8 3 5 2 4 1 7 6
Algoritmo de Bsqueda
Idea Bsica:
Fuera del mundo real, simular una exploracin del espacio de estados...
sucesores de los ...generandollama EXPANDIRestados ya explorados (a eso se le estados)
funcin Bsqueda Generalizada(problema, estrategia) retorna solucin oofracaso funcin Bsqueda Generalizada(problema, estrategia) retorna solucin fracaso inicializar el rbol de bsqueda usando el estado inicial del problema inicializar el rbol de bsqueda usando el estado inicial del problema si no hay candidatos en la cola_de_candidatos aaexpandir entonces si no hay candidatos en la cola_de_candidatos expandir entonces retornar fracaso Fin retornar fracaso Fin elegir un nodo hoja para expandir siguiendo una dada estrategia elegir un nodo hoja para expandir siguiendo una dada estrategia si el nodo contiene un estado meta entonces si el nodo contiene un estado meta entonces retornar la solucin correspondiente Fin retornar la solucin correspondiente Fin en el otro caso en el otro caso expandir el nodo yy expandir el nodo aadir los nodos resultantes aala cola_de_candidatos aadir los nodos resultantes la cola_de_candidatos retornar retornar
10
Un estado es una representacin de una

configuracin fsica
Un nodo es una estructura de datos parte de un

rbol de bsqueda en incluye:
Los estados CARECEN de esas cosas La funcn Expandir crea nuevos nodos, llenado
varios campos y usando la funcin sucesor del problema para crear esos estados
11 Dr. Wladimir Rodriguez Inteligencia Artificial
padres, hijos, profundidad y costo del paso
funcin Bsqueda Generalizada(problema, Funcin Cola_ de_ Candidatos) retorna una solucin, funcin Bsqueda Generalizada(problema, Funcin Cola_ de_ Candidatos) retorna una solucin, oofracaso fracaso nodos Hacer-Cola(Hacer-Nodo(Inicial-Estado[problema])) nodos Hacer-Cola(Hacer-Nodo(Inicial-Estado[problema])) Hacer bucle Hacer bucle si nodos ==vacos entonces si nodos vacos entonces retornar fracaso Fin retornar fracaso Fin nodos Remover-de-Frontera(nodos) nodos Remover-de-Frontera(nodos) si Prueba-de-Meta[problema] tiene buen xito aplicado aaEstado[nodo] entonces si Prueba-de-Meta[problema] tiene buen xito aplicado Estado[nodo] entonces retornar nodo Fin retornar nodo Fin en el otro caso en el otro caso nodos Funcin-Cola-de-Candidatos(nodos, Expandir(nodoe, Operadores[problema])) nodos Funcin-Cola-de-Candidatos(nodos, Expandir(nodoe, Operadores[problema])) Retornar Retornar
12
Criterios de Evaluacin
1. Est garantizado encontrar una solucin? 2. Existen condiciones bajo las cuales la bsqueda no terminara? 3. Es la solucin encontrada siempre ptima? 4. Qu tan eficiente es la bsqueda en trminos de tiempo y uso de memoria? 5. Qu caractersticas debe tener el espacio de estados para que se pueda aplicar la tcnica?
Bsqueda a lo Ancho
Expandir todos los nodos del siguiente nivel
antes de proceder con niveles mas profundos.
Garantiza el encontrar una solucin si esta existe A medida que se incrementa el nmero de nodos
sucesores, se requiere de ms tiempo y memoria
14
nodos hijos antes de Cheque todos los un nivel msde un nivel bsqueda por expandir el rbol profundo, nivel. Algoritmo: Poner el nodo inicial en la lista. Si el nodo inicial es la meta, fin. Si la lista esta vaca, no hay solucin. De lo contrario: seleccionar primer nodo de la lista. Si el nodo seleccionado es la meta, fin. De lo contrario: expandir el nodo seleccionado y vvvagregar todos sus sucesores al final de la lista. Repetir
Algoritmo de Bsqueda a lo Ancho
15
Bsqueda a lo Ancho
Estado Inicial A
D Estado Meta
16
Bsqueda a lo Ancho
A
Tamao de la Cola: 1 Nodos Expandidos: 0

Cola: A
17 Inteligencia Artificial
Bsqueda a lo Ancho
A

Cola: B, C, D, E, F
Bsqueda a lo Ancho
A

Cola: C, D, E, F, G, H
Bsqueda a lo Ancho
A

Cola: D, E, F, G, H, I, J
Bsqueda a lo Ancho
A

Cola: E, F, G, H, I, J, K, L
Bsqueda a lo Ancho
A

Cola: F, G, H, I, J, K, L, M, N
Bsqueda a lo Ancho
A

Cola: G, H, I, J, K, L, M, N, O, P
Bsqueda a lo Ancho
A

Cola: H, I, J, K, L, M, N, O, P, Q
Bsqueda a lo Ancho
A

Cola: I, J, K, L, M, N, O, P, Q, R
Bsqueda a lo Ancho
A

Cola: J, K, L, M, N, O, P, Q, R, S
Bsqueda a lo Ancho
A

Cola: K, L, M, N, O, P, Q, R, S, T
Bsqueda a lo Ancho
A

Cola: L, M, N, O, P, Q, R, S, T, U
Bsqueda a lo Ancho
A

Cola: vaca
Propiedades de la Bsqueda a lo Ancho
Completa?
S, mientras b sea finito 1 + b + b2 + b3 + . . . + bd = O(bd) O(bd) (todos los nodos en memoria) S (con costo unitario por paso), subptima en general
Complejidad temporal? Complejidad espacial? ptima? FIFO

Algoritmo de Bsqueda en Profundidad
El mismo que para la bsqueda a lo ancho, excepto que los sucesores son agregados al inicio de la lista. Bsqueda en profundidad utiliza una pila (FIFO), mientras que la bsqueda a lo ancho utiliza una cola (LIFO) Algoritmo: Poner el nodo inicial en la lista. Si el nodo inicial es la meta, fin. Si la lista esta vaca, no hay solucin. De lo contrario: seleccionar primer nodo de la lista. Si el nodo seleccionado es la meta, fin. De lo contrario: expandir el nodo seleccionado y vvvagregar todos sus sucesores al inicio de la lista. Repetir
Bsqueda en Profundidad
Estado Inicial A
D Estado Meta
32
A

Cola: A
A

Cola: B, C, D, E, F
A

Cola: G, H, C, D, E, F
A

Cola: Q, H, C, D, E, F
A

Cola: H, C, D, E, F
A

Cola: R, C, D, E, F
A

Cola: C, D, E, F
A

Cola: I, J, D, E, F
A

Cola: S, J, D, E, F
A

Cola: J, D, E, F
A

Cola: T, D, E, F
A

Cola: D, E, F
A

Cola: K, L, E, F
A

Cola: U, L, E, F
A

Cola: L, E, F
A

Cola: vaca
Propiedades de la Bsqueda en Profundidad
Completa?
No; falla en espacio de infinita profundidad o con lazos O(bm): terrible si m es mucho mayor que d O(bm) (i.e., espacio lineal) No
Complejidad temporal? Complejidad espacial? ptima? LIFO

Dr. Wladimir Rodriguez 49
Bsqueda en Profundidad Iterativa
Combina aspectos de la bsqueda a lo ancho y

en profundidad.
Conduce bsqueda en profundidad dentro de una

profundidad limitada, donde la profundidad se incremente iterativamente igual que la bsqueda a lo ancho pero con requerimientos menores de memoria. al incrementar el lmite de profundidad.
50
Es ptima y garantiza el encontrar la solucin al Los nodos pueden ser expandidos muchas veces
Dr. Wladimir Rodriguez Inteligencia Artificial
Algoritmo de Bsqueda en Profundidad Iterativa
Fijar limite_profundidad = 0
Conducir bsqueda en profundidad hasta el lmite especificado Si se encuentra la solucin Retornar De lo contrario incrementar lmite en 1 Repetir hasta encontrar la solucin
51

Estado Inicial A
D Estado Meta
52

Nivel Cero
A

Cola: A

Nivel Cero
A

Cola: Vaca

Primer Nivel
A

Cola: A
Primer Nivel

Cola: B, C, D, E, F

Primer Nivel
A

Cola: C, D, E, F

Primer Nivel
A

Cola: D, E, F

Primer Nivel
A

Cola: E, F

Primer Nivel
A

Cola: F

Primer Nivel
A

Cola: Vaca

Segundo Nivel
A

Cola: A

Segundo Nivel
A

Cola: B, C, D, E, F

Segundo Nivel
A

Cola: G, H, C, D, E, F

Segundo Nivel
A

Cola: H, C, D, E, F

Segundo Nivel
A

Cola: C, D, E, F

Segundo Nivel
A

Cola: I, J, D, E, F

Segundo Nivel
A

Cola: J, D, E, F

Segundo Nivel
A

Cola: D, E, F

Segundo Nivel
A

Cola: K, L, E, F

Segundo Nivel
A

Cola: L, E, F

Segundo Nivel
A

Cola: vaca
Propiedades de la Bsqueda en Profundidad Iterativa
Completa?
S
Complejidad temporal?
O(bd)
Complejidad espacial? ptima?

O(bd) (todos los nodos en memoria) Si, mientras el costo de cada paso sea unitario
73
Bsqueda de Costo Uniforme
Variacin de a lo ancho para CAMINO MAS

BARATO COSTO
Cada cambio de estado tiene asociado un Garantiza encontrar la solucin de costo menor Siempre se expande el nodo de menor costo
siempre y cuando el costo nunca disminuya a lo largo del camino
Algoritmo de Bsqueda de Costo Uniforme

Poner el nodo inicial en la lista. Si meta, fin, de lo contrario costo(inicio) = 0 Si la lista esta vaca, no hay solucin. Seleccionar primer nodo de la lista con costo (nodo) mnimo. Si el nodo seleccionado es la meta, fin. De lo contrario: expandir el nodo seleccionado. Costo de cada sucesor = costo del padre + costo del operador Remplazar cada sucesor en la lista Repetir hasta encontrar meta (fin) o lista vaca (no existe solucin)

A
10
15
76
Tamao de la Cola: 1 Nodos Expandidos:0

Cola: I

A
15
Tamao de la Cola: 3 Nodos Expandidos:1

Cola: A1, B5, C15


A
10
15

Cola: B5, M11, C15


A
10
15

Cola: M10, M11, C15


A
10
15

Cola: vaca
Propiedades de la Bsqueda de Costo Uniforme Completa? b sea finita S, mientras

Complejidad temporal? costo de la solucin Nmero de nodos con g(n)
ptima
Complejidad espacial?g(n) costo de la solucin Nmero de nodos con

ptima
ptima? el costo de ruta no disminuya siguiendo S, mientras

cualquier ruta o sea que g(Successor(n)) g(n), para todo n
Bsqueda Bidireccional
83
Estados Repetidos
No Pocos Muchos
1 2 3 4 5 7 8 6
84
Estados Repetidos
Requiere comparar las descripciones de los

estados
Bsqueda a lo Ancho
Registrar todos los estados generados el estado Si nodo de un nodo ya existe, entonces descartar el
85
Estados Repetidos
Solucin 1

Registrar todos los estados generados, del rbol actual Si el estado de un nodo ya existe, entonces descartar el nodo
Evitar Lazos Solucin 2
Registrar todos los estados generados, del rbol actual Si el estado de un nodo ya existe, entonces descartar el nodo
Complejidad espacial como la bsqueda a lo ancho

Resumen
Arbol de Bsqueda Espacio de Estados Estrategias de Bsqueda: A lo Ancho, En

Profundidad y variantes
Evaluacin de las Estrategias: Completitud, Evitar estados repetidos
optimalidad, complejidad espacial y temporal
87

Busqueda Estado

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Busqueda Estado

Enviado por

Direitos autorais:

Formatos disponíveis

Inteligencia Artificial Clase #4 Bsqueda Ciega

Dr. Wladimir Rodrguez Postgrado en Computacin wladimir@ula.ve

Dr. Wladimir Rodriguez

Agente Solucionador de Problemas

Dr. Wladimir Rodriguez

Bsqueda en Espacio de Estados

Conceptos Bsicos de Bsqueda

Dr. Wladimir Rodriguez

Diferencia entre Nodos de Bsqueda y Estados

Dr. Wladimir Rodriguez

Diferencia entre Nodos de Bsqueda y Estados

Dr. Wladimir Rodriguez

Diferencia entre Nodos de Bsqueda y Estados

Dr. Wladimir Rodriguez

Diferencia entre Nodos de Bsqueda y Estados

Dr. Wladimir Rodriguez

Dr. Wladimir Rodriguez

Un estado es una representacin de una

Un nodo es una estructura de datos parte de un

padres, hijos, profundidad y costo del paso

Dr. Wladimir Rodriguez

Expandir todos los nodos del siguiente nivel

antes de proceder con niveles mas profundos.

Dr. Wladimir Rodriguez

Algoritmo de Bsqueda a lo Ancho

Dr. Wladimir Rodriguez

Dr. Wladimir Rodriguez

Tamao de la Cola: 1 Nodos Expandidos: 0

Tamao de la Cola: 5 Nodos Expandidos: 1

Tamao de la Cola: 6 Nodos Expandidos: 2

Tamao de la Cola: 7 Nodos Expandidos: 3

Tamao de la Cola: 8 Nodos Expandidos: 4

Tamao de la Cola: 9 Nodos Expandidos: 5

Tamao de la Cola: 10 Nodos Expandidos: 6

Tamao de la Cola: 10 Nodos Expandidos: 7

Tamao de la Cola: 10 Nodos Expandidos: 8

Tamao de la Cola: 10 Nodos Expandidos: 9

Tamao de la Cola: 10 Nodos Expandidos: 10

Tamao de la Cola: 10 Nodos Expandidos: 11

Tamao de la Cola: 0 Nodos Expandidos: 11

Propiedades de la Bsqueda a lo Ancho

Complejidad temporal? Complejidad espacial? ptima? FIFO

Algoritmo de Bsqueda en Profundidad

Dr. Wladimir Rodriguez

Dr. Wladimir Rodriguez

Tamao de la Cola: 1 Nodos Expandidos: 0

Tamao de la Cola: 5 Nodos Expandidos: 1

Tamao de la Cola: 6 Nodos Expandidos: 2

Tamao de la Cola: 6 Nodos Expandidos: 3

Tamao de la Cola: 5 Nodos Expandidos: 4

Tamao de la Cola: 5 Nodos Expandidos: 5

Tamao de la Cola: 4 Nodos Expandidos: 6

Tamao de la Cola: 5 Nodos Expandidos: 7

Tamao de la Cola: 5 Nodos Expandidos: 8

Tamao de la Cola: 4 Nodos Expandidos: 9

Tamao de la Cola: 4 Nodos Expandidos: 10

Tamao de la Cola: 3 Nodos Expandidos: 11

Tamao de la Cola: 4 Nodos Expandidos: 12

Tamao de la Cola: 4 Nodos Expandidos: 13

Tamao de la Cola: 3 Nodos Expandidos: 14

Tamao de la Cola: 0 Nodos Expandidos: 15

Propiedades de la Bsqueda en Profundidad

Complejidad temporal? Complejidad espacial? ptima? LIFO

Bsqueda en Profundidad Iterativa