Inteligencia Artificial

Examen 2
Andres Lopez Martnez
Facultad de Ciencias, Universidad Nacional Autonoma de Mexico

Febrero 14, 2016

1. Define con tus propias palabras los terminos: estado, espacio de estados, arbol de b
usqueda,
nodo de b
usqueda, objetivo, acci
on, funcion sucesor y factor de ramificacion.
Solucion:

Estado: Un estado es una captura instantanea de un sistema. Para el caso de IA, un

estado es una situaci
on particular en la que puede encontrarse un agente; de donde se
pueden distinguir dos tipos distintos: los estados del mundo (o entorno) y los estados
representados (abstractos). El primero de estos representa las situaciones que de hecho
ocurren en el mundo real, mientras que la segunda tiene que ver con las descripciones
abstractas del mundo que hace el agente para su toma de decisiones.
Espacio de estados: Es una gr afica cuyos nodos representan el conjunto de todos los estados,
mientras que sus aristas son acciones que llevan a un agente de un estado a otro.

Arbol de b
usqueda: Es una gr afica conexa y acclica (un arbol), en donde el nodo raz
representa el estado inicial, y el conjunto de nodos hijos de cada nodo consiste en estados
alcanzables mediante la toma de alguna accion.
Nodo de busqueda: Es un nodo en el arbol de b
usqueda; es decir, algun estado alcanzable
desde el nodo raz.
Objetivo: Es el estado al que el agente esta tratando de llegar.
Accion: Es una decisi
on tomada por el agente que lo puede llevar de un estado a otro.
Funcion sucesor: Describe las opciones de un agente. Dado un estado, la funcion regresa un
conjunto de pares (acci on, estado), donde cada estado es un estado alcanzable mediante
la ejecuci
on de su acci
on correspondiente.
Factor de ramificaci
on: Es el n
umero de acciones disponibles para el agente en un arbol
de decisi
on.

2. Explica por que la formulaci

on del problema debe seguir a la formulacion del objetivo.
Soluci on: En la formulacion del objetivo se deciden que aspectos del mundo nos interesan, y
cuales son los que podemos ignorar o representar de otra manera. As, en la formulacion del pro-
blema podemos decidir c omo manipular solo los aspectos importantes. Si primero se hiciera la
formulacion del problema no podramos saber que aspectos del mundo incluir y cuales ignorar.
Aun con esto, puede existir un ciclo de iteraciones entre formulacion del objetivo, formulaci on
del problema y resolucion del problema, hasta que se llegue a una solucion suficientemente u til
y eficiente.

1
3. Consideremos el problema de las n-reinas usando la formulacion eficienteincremental de
Ia pagina 75. Explique por que el tama no del espacio de estados es al menos 3 n! y estime el
valor mas grande para n para el cual es factible la exploracion exhaustiva. (Consejo: saque una
cota inferior para el factor de ramificacion considerando el n umero maximo de cuadrados que
una reina puede atacar en cualquier columna.)
Soluci on: La formulaci on consiste en poner una reina por columna (de un tablero de ajedrez de
n n), colocando cada nueva reina solo en una casilla que no se encuentre atacada por ninguna
otra reina. Para n muy grande, cada reina que se coloque en el tablero reduce aproximadamente
en 3 casillas el espacio soluci
on de las nuevas reinas que se coloquen (horizontal, diagonal hacia
arriba, diagonal hacia abajo) para cada una de las columnas subsecuentes. En algunos casos
colocar una nueva reina supone eliminar menos de 3 casillas (por ejemplo, si se pone en las
partes superior o inferior del tablero); sin embargo, dado que nos interesa establecer una cota
inferior en el espacio de estados, el eliminar casillas extra (haciendo mas chico el espacio de
estados) no afecta nuestro an alisis.
As entonces, existen n opciones para poner la primera reina, (n 3) opciones para poner la
segunda, (n 6) para poner la tercera, y as sucesivamente. De esta manera, el tama no total
del espacio de estados S es:
[n/3]1
Y
S= (n 3i)
i=0

Ahora bien, notemos que:

n! = n(n 1)(n 2)(n 3)...(2)(1) (n)(n)(n)(n 3)(n 3)(n 3)...(4)(4)(4)(1) = S 3

De manera que, se sigue:

3
n! S

Un valor maximo razonable para n, suponiendo que se pueden expandir aproximadamente

1000 nodos/segundo, es n = 20, lo cual tardara al rededor de 1345 segundos [22 minutos].
Para n = 25 el tiempo se dispara a 250,000 segundos [3 das], lo cual ya no se considera factible.

Figura 1: Crecimiento del tiempo en horas, con respecto al tama

no de entrada n.

2
4. Conduce siempre un espacio de estados finito a un arbol de b usqueda finito? cuando un espa-
cio de estados finito es un arbol? Que tipos de espacios de estados siempre conducen a arboles
de busqueda finito?
Soluci on: No, un estado de estados finito no siempre conduce a un arbol de b usqueda infinito.
Considerese un espacio de estados con u nicamente dos estados, donde ambos tienen acciones
que llevan al otro. Esto resulta en un arbol de b usqueda infinito, ya que podemos ir y venir un
n
umero arbitrario de veces.
En el caso en el que el espacio de estados finito es un arbol, por definicion no pueden existir
ciclos, por lo tanto el arbol de b usqueda sera finito. De hecho, cualquier estructura que no
contenga ciclos con un n umero finito de estados, tambien tendra un arbol de b usqueda finito.
Las graficas dirigidas acclicas (finitas) entran en esta descripcion ya que, por definicion no
contienen ciclos, y al ser dirigidas las acciones que van de un estado a otro no son simetricas,
de forma que no se puede saltar entre estados adyacentes indefinidamente.

5. Defina una formulacion completa (estados, estado inicial, acciones - funcion sucesor, test obje-
tivo y costo del camino) para el siguiente caso. Escoja una formulacion que sea suficientemente
precisa para ser implementada.

a) Coloree un mapa plano utilizando solo cuatro colores, de tal modo que dos regiones adya-
centes no tengan el mismo color.
Solucion:
Estados: Mapa con cada region coloreada, o bien, ninguna coloreada.
Estado inicial: No hay regiones coloreadas.
Funcion sucesor: Escoger una region sin colorear y colorearla con un color distinto a
aquel de sus regiones adyacentes.
Test objetivo: Se colorean todas las regiones del mapa, donde regiones adyacentes no
tienen el mismo color.
Costo del camino: Podra ser 1 por cada color utilizado.