Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Búsqueda en Espacio de Estados
Búsqueda en Espacio de Estados
Inteligencia Artificial
Representación
como espacio
de estados
Abstracción
Lenguaje de
programación
Implementación
Problema Solución
del problema
Algoritmos
de búsqueda
Interpretación
Búsqueda de del resultado
solución
1 2 3
1 2 3 1 2 3 1 2 3
1 2 3 1 2 3 1 2 3
1 2 3 1 2 3 1 2 3
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
1a2 2a1
1a3
1a2 2a3
1a3 3a1
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
2a3 3a2
1a3
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
1a2 2a1
1a3
1a2 2a3
1a3 3a1
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
2a3 3a2
1a3
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
1a2 2a1
1a3
1a2 2a3
1a3 3a1
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
2a3 3a2
1a3
1a2 2a3
1 2 3 2a1 1 2 3 3a2 1 2 3
3a1
Un árbol de búsqueda:
▶ Se construye de manera incremental.
▶ Dispone de un conjunto de nodos analizados (explorados o
cerrados) y de nodos por analizar (frontera o abiertos).
▶ Controla la repetición de nodos, para evitar bucles infinitos.
explored nodes
unexplored nodes
2 3
4 5 6 7
8 9 10 11 12 13 14
15 16
3 13
4 12 14
5 7 15 16
6 8 10
9 11
Parámetros de complejidad:
▶ 𝑟: factor de ramificación.
▶ 𝑝: profundidad mínima de una solución.
▶ 𝑚: profundidad del árbol de búsqueda.
Parámetros de complejidad:
▶ 𝑟: factor de ramificación.
▶ 𝑝: profundidad mínima de una solución.
▶ 𝑚: profundidad del árbol de búsqueda.
Anchura Profundidad
Completa Sí No en general
Sí con número finito de estados
Minimal Sí No
Tiempo Ο(𝑟𝑝+1 ) Ο(𝑟𝑚+1 )
Espacio Ο(𝑟𝑝+1 ) Ο(𝑟𝑚+1 )
Anchura Profundidad
Completa Sí No en general
Sí con número finito de estados
Minimal Sí No
Tiempo Ο(𝑟𝑝+1 ) Ο(𝑟𝑚+1 )
Espacio Ο(𝑟𝑝+1 ) Ο(𝑟𝑚+1 )
Anchura Profundidad
Completa Sí No en general
Sí con número finito de estados
Minimal Sí No
Tiempo Ο(𝑟𝑝+1 ) Ο(𝑟𝑚+1 )
Espacio Ο(𝑟𝑝+1 ) Ο(𝑟𝑚)
Búsqueda en profundidad: para evitar bucles infinitos solo es
necesario guardar los nodos de la rama que se está explorando.
Por tanto, 𝑓 (𝑛) estima el coste de una solución óptima que pasa
por el nodo 𝑛.
CCIA, US Búsqueda en espacio de estados IA 30 / 35
Heurísticas admisibles
ℎ∗ (𝑛) denota el coste exacto de una solución óptima desde el
estado de 𝑛 hasta un estado final.
Teorema
1. La búsqueda 𝐴∗ es completa.
2. Si ℎ es una heurística admisible, entonces la solución
devuelta por 𝐴∗ es óptima.
Teorema
Si ℎ2 es mas informada que ℎ1 , entonces todo nodo explorado
por 𝐴∗ usando ℎ2 también es explorado por 𝐴∗ usando ℎ1 .
CCIA, US Búsqueda en espacio de estados IA 32 / 35
Complejidad de 𝐴∗
Otras técnicas:
▶ Combinación de heurísticas admisibles.
▶ Uso de información estadística.
Ejemplos:
Valor heurístico: 8
1 2 3
Valor heurístico: 4
1 2 3