11/3/2014

Mtodos de bsqueda
Los problemas de bsquedas, que generalmente

INTELIGENCIA
ARTIFICIAL

encontramos en Ciencias Computacionales, son

de un estado determinstico. Por ejemplo, en los
algoritmos de bsqueda de anchura y de
bsqueda de profundidad, uno sabe la secuencia
de los nodos visitados en un rbol.

Unidad II

Sin embargo, los problemas de bsqueda en

Inteligencia artificial, son no determinsticos y el
orden de elementos visitados en el espacio de
bsqueda depende completamente en el
conjunto de datos.

El espacio de bsqueda
La

solucin de
consideraciones:

problemas

El espacio de bsqueda
requiere

dos

Representacin

del problema en un espacio

organizado.
La capacidad de probar la existencia del estado
objetivo en dicho espacio.
Las anteriores premisas se traducen en: la

determinacin del estado objetivo y la

determinacin del camino ptimo guiado por este
objetivo a travs de una o ms transiciones dado
un estado inicial.

Se le conoce como una coleccin de estados.

En general los espacios de bsqueda en los

problemas de IA no son completamente

conocidos de forma a priori.
De lo anterior resolver un problema de IA cuenta
con dos fases:
La generacin del espacio de estados
La bsqueda del estado deseado en ese espacio.

El espacio de bsqueda

El espacio de estados

Debido a que todo el espacio de bsqueda de

Espacio de estados

un problema es muy grande, puede causar un

bloqueo de memoria, dejando muy poco espacio
para el proceso de bsqueda.
Para solucionar esto, se expande el espacio
paso a paso, hasta encontrar el estado objetivo.

Modelo del mundo representado por un grafo.

Mundo
Situacin
Situacin
presente
Accin y sus
efectos
Secuencia de
acciones

Modelo
Estado

Representacin
Nodo

Estado inicial

Nodo inicial

Operador

Arco

Plan

Camino

11/3/2014

El espacio de estados

Determinsticos

Problema de bsqueda

Un ambiente determinstico es aquel en el cual

Objetivo
Encontrar el plan ms eficiente que lleve del estado
inicial a un estado meta.

cualquier accin tiene un solo efecto garantizado,

no hay incertidumbre acerca del estado que
resultar de la realizacin de la accin.
El mundo fsico puede ante todos los intentos y
propsitos,
ser
considerado
como
no
determinstico.
Un
ambiente no determinstico presente
problemas ms grandes para el agente
diseador.

No determinsticos

Formulacin del problema

Un sistema es determinstico si, para un estado

8 Reinas

Espacio de estados + actitud del agente

Actitud
Estado meta
Eficiencia de un plan

Representacin
Conjunto de nodos
Costo del camino

dado, al menos aplica una regla a l y de solo

una manera.
Si ms de una regla aplica a cualquier estado
particular del sistema, o si una regla aplica a un
estado particular del sistema en ms de una
manera,
entonces
el
sistema
es
no
determinstico.

Soluciones

El

objetivo
del
problema es colocar
ocho reinas en un
tablero de ajedrez de
tal
manera
que
ninguna reina ataca a
otra.

Soluciones

Existen 4,426,165,368 posibles formas de acomodar las

8 reinas en un tablero de 8 x 8 ( )
Existen 92 soluciones posibles
Si se aplica la regla de que solo una reina puede existir

por columna, entonces se reduce a 16,777,216

combinaciones.
Si se eliminan las permutaciones se tienen 40,320
posibles combinaciones.

11/3/2014

Soluciones

Soluciones

El granjero, zorro, borrego y col

Espacio de estados
Cruza Solo

Cruza con Zorro Cruza con Borrego

Cruza con Col

estado(I,I,I,I)
estado(I,I,I,D)
estado(I,I,D,I)
estado(I,I,D,D)
estado(I,D,I,I)
estado(I,D,I,D)
estado(I,D,D,I)
estado(I,D,D,D)
estado(D,I,I,I)
estado(D,I,I,D)
estado(D,I,D,I)
estado(D,I,D,D)
estado(D,D,I,I)
estado(D,D,I,D)
estado(D,D,D,I)
estado(D,D,D,D)

Espacio de estados
Cruza Solo

Cruza con Zorro Cruza con Borrego

Espacio de estados
Cruza con Col

Cruza Solo

estado(I,I,I,I)

estado(I,I,I,I)

estado(I,I,I,D)

estado(I,I,I,D)

estado(I,I,D,I)

estado(I,I,D,I)

estado(I,I,D,D)

estado(I,I,D,D)

estado(I,D,I,I)

estado(I,D,I,I)

estado(I,D,I,D)

estado(I,D,I,D)

estado(I,D,D,I)

estado(I,D,D,I)

estado(I,D,D,D)

estado(I,D,D,D)

estado(D,I,I,I)

estado(D,I,I,I)

estado(D,I,I,D)

estado(D,I,I,D)

estado(D,I,D,I)

estado(D,I,D,I)

estado(D,I,D,D)

estado(D,I,D,D)

estado(D,D,I,I)

estado(D,D,I,I)

estado(D,D,I,D)

estado(D,D,I,D)

estado(D,D,D,I)

estado(D,D,D,I)

estado(D,D,D,D)

estado(D,D,D,D)

Cruza con Zorro Cruza con Borrego

Cruza con Col

11/3/2014

(I,I,I,I)

Espacio de estados
estado(I,I,I,I)
estado(I,I,I,D)
estado(I,I,D,I)
estado(I,I,D,D)
estado(I,D,I,I)
estado(I,D,I,D)
estado(I,D,D,I)
estado(I,D,D,D)
estado(D,I,I,I)
estado(D,I,I,D)
estado(D,I,D,I)
estado(D,I,D,D)
estado(D,D,I,I)
estado(D,D,I,D)
estado(D,D,D,I)
estado(D,D,D,D)

Cruza Solo
estado(D,I,I,I)
estado(D,I,I,D)
estado(D,I,D,I)
estado(D,I,D,D)
estado(D,D,I,I)
estado(D,D,I,D)
estado(D,D,D,I)
estado(D,D,D,D)
estado(I,I,I,I)
estado(I,I,I,D)
estado(I,I,D,I)
estado(I,I,D,D)
estado(I,D,I,I)
estado(I,D,I,D)
estado(I,D,D,I)
estado(I,D,D,D)

Cruza con Zorro

estado(D,D,I,I)
estado(D,D,I,D)
estado(D,D,D,I)
estado(D,D,D,D)
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
estado(I,I,I,I)
estado(I,I,I,D)
estado(I,I,D,I)
estado(I,I,D,D)

Cruza con Borrego

estado(D,I,D,I)
estado(D,I,D,D)
IMPOSIBLE
estado(I,I,D,D)
estado(D,D,D,I)
estado(D,D,D,D)
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
IMPOSIBLE
estado(I,I,I,I)
estado(I,I,I,D)
IMPOSIBLE
IMPOSIBLE
estado(I,D,I,I)
estado(I,D,I,D)

Cruza con Col

estado(D,I,I,D)
IMPOSIBLE
estado(D,I,D,D)
estado(I,I,D,D)
estado(D,D,I,D)
IMPOSIBLE
estado(D,D,D,D)
IMPOSIBLE
IMPOSIBLE
estado(I,I,I,I)
IMPOSIBLE
estado(I,I,D,I)
IMPOSIBLE
estado(I,D,I,I)
IMPOSIBLE
estado(I,D,D,I)

(I,I,I,I)

(D,I,I,I)

(D,D,I,I)

(D,I,D,I)

(I,I,I,I)

(D,I,I,D)

(D,I,I,I)

(D,D,I,I)

(I,I,I,I)

(D,I,I,I)

(D,D,I,I)

(D,I,D,I)

(D,I,D,I)

(D,I,I,D)

(I,I,I,I)

(D,I,I,D)

(D,I,I,I)

(D,D,I,I)

(I,I,D,I)

(D,I,D,I)

(D,I,I,D)

(I,I,D,I)

(D,D,D,I)

(D,I,D,D)

11/3/2014

(I,I,I,I)

(D,I,I,I)

(D,D,I,I)

(D,I,D,I)

(I,I,I,I)

(D,I,I,D)

(D,I,I,I)

(D,D,I,I)

(I,I,D,I)

(I,D,D,I)

(D,D,D,I)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,D,I,I)

(D,I,D,I)

(I,I,D,D)

(I,D,D,I)

(D,D,D,I)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,I,I,D)

(D,I,I,I)

(D,D,I,I)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,D,I,D)

(D,D,I,I)

(D,I,D,I)

(I,I,D,D)

(I,D,D,I)

(D,I,I,D)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,D,I,I)

(D,I,I,D)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,D,I,D)

(I,D,I,D)

(D,I,I,D)

(D,I,I,I)

(D,D,I,I)

(D,I,D,I)

(D,I,I,D)

(I,I,D,I)

(D,D,D,I)

(D,D,I,I)

(D,D,I,D)

(I,I,D,D)

(I,I,I,I)

(I,I,D,I)

(I,D,D,I)

(D,I,I,D)

(D,D,D,I)

(I,I,I,I)

(D,I,I,I)

(D,I,D,I)

(I,I,D,I)

(D,D,D,I)

(D,D,I,I)

(I,I,D,D)

(I,I,I,I)

(I,I,D,I)

(I,D,D,I)

(D,I,I,D)

(I,I,D,I)

(I,I,I,I)

(D,I,I,I)

(D,I,D,I)

(D,I,I,D)

(I,I,D,D)

(I,D,D,I)

(D,D,D,I)

(D,I,D,D)

(I,D,I,I)

(I,I,I,D)

(D,D,I,I)

(D,D,I,D)

(I,I,D,D)

(D,I,I,D)

(I,D,I,D)

(D,D,D,D)

11/3/2014