Sunteți pe pagina 1din 3

Inteligencia Artificial Examen 2

Andr´es L´opez Mart´ınez Facultad de Ciencias, Universidad Nacional Aut´onoma de M´exico

Febrero 14, 2016

1. Define con tus propias palabras los t´erminos: estado, espacio de estados, ´arbol de b´usqueda, nodo de b´usqueda, objetivo, acci´on, funci´on sucesor y factor de ramificaci´on. Soluci´on:

Estado: Un estado es una captura instant´anea 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.funci´on sucesor y factor de ramificaci´on. Soluci´on: Espacio de estados: Es una gr´afica cuyos nodos

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.del mundo que hace el agente para su toma de decisiones. ´ Arbol de b´usqueda: Es

´

Arbol de b´usqueda: Es una gr´afica conexa y ac´ıclica (un ´arbol), en donde el nodo ra´ız representa el estado inicial, y el conjunto de nodos hijos de cada nodo consiste en estadosson acciones que llevan a un agente de un estado a otro. ´ alcanzables mediante la

alcanzables mediante la toma de alguna acci´on.

Nodo de b´usqueda: Es un nodo en el ´arbol de b´usqueda; es decir, algun estado alcanzable desde el nodo ra´ız.en estados alcanzables mediante la toma de alguna acci´on. Objetivo: Es el estado al que el

Objetivo: Es el estado al que el agente est´a tratando de llegar.es decir, algun estado alcanzable desde el nodo ra´ız. Acci´on: Es una decisi´on tomada por el

Acci´on: Es una decisi´on tomada por el agente que lo puede llevar de un estado a otro.Es el estado al que el agente est´a tratando de llegar. Funci´on sucesor: Describe las opciones

Funci´on sucesor: Describe las opciones de un agente. Dado un estado, la funci´on regresa un conjunto de pares (acci´on, estado), donde cada estado es un estado alcanzable mediante la ejecuci´on de su acci´on correspondiente.por el agente que lo puede llevar de un estado a otro. Factor de ramificaci´on: Es

Factor de ramificaci´on: Es el n´umero de acciones disponibles para el agente en un ´arbol de decisi´on.mediante la ejecuci´on de su acci´on correspondiente. 2. Explica por qu´e la formulaci´on del problema debe

2. Explica por qu´e la formulaci´on del problema debe seguir a la formulaci´on del objetivo. Soluci´on: En la formulaci´on del objetivo se deciden qu´e aspectos del mundo nos interesan, y cu´ales son los que podemos ignorar o representar de otra manera. As´ı, en la formulaci´on del pro- blema podemos decidir c´omo manipular s´olo los aspectos importantes. Si primero se hiciera la formulaci´on del problema no podr´ıamos saber qu´e aspectos del mundo incluir y cu´ales ignorar. A´un con esto, puede existir un ciclo de iteraciones entre formulaci´on del objetivo, formulaci´on del problema y resoluci´on del problema, hasta que se llegue a una soluci´on suficientemente util´ y eficiente.

1

3. Consideremos el problema de las n-reinas usando la formulacion eficiente incremental de

n! y estime el

valor m´as grande para n para el cual es factible la exploraci´on exhaustiva. (Consejo: saque una cota inferior para el factor de ramificaci´on considerando el n´umero m´aximo 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 m´as 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:

Ia p´agina 75. Explique por que el tama˜no del espacio de estados es al menos

3

S =

[n/3]1

(n 3i)

i=0

Ahora bien, notemos que:

n! = n(n 1)(n 2)(n 3)

De manera que, se sigue:

(2)(1)

(n)(n)(n)(n 3)(n 3)(n 3)

n! S

3

(4)(4)(4)(1)

= S 3

Un valor m´aximo razonable para n, suponiendo que se pueden expandir aproximadamente 1000 nodos/segundo, es n = 20, lo cual tardar´ıa al rededor de 1345 segundos [22 minutos]. Para n = 25 el tiempo se dispara a 250,000 segundos [3 d´ıas], lo cual ya no se considera factible.

segundos [3 d´ıas], lo cual ya no se considera factible. Figura 1: Crecimiento del tiempo en

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? ¿Qu´e tipos de espacios de estados siempre conducen a ´arboles de b´usqueda finito? Soluci´on: No, un estado de estados finito no siempre conduce a un ´arbol de b´usqueda infinito. Consid´erese un espacio de estados con unicamente´ 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 definici´on no pueden existir ciclos, por lo tanto el ´arbol de b´usqueda ser´a finito. De hecho, cualquier estructura que no contenga ciclos con un n´umero finito de estados, tambi´en tendr´a un ´arbol de b´usqueda finito. Las gr´aficas dirigidas ac´ıclicas (finitas) entran en esta descripci´on ya que, por definici´on no contienen ciclos, y al ser dirigidas las acciones que van de un estado a otro no son sim´etricas, de forma que no se puede saltar entre estados adyacentes indefinidamente.

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

a) Coloree un mapa plano utilizando s´olo cuatro colores, de tal modo que dos regiones adya- centes no tengan el mismo color. Soluci´on:

Estados: Mapa con cada regi´on coloreada, o bien, ninguna coloreada.regiones adya- centes no tengan el mismo color. Soluci´on: Estado inicial: No hay regiones coloreadas. Funci´on

Estado inicial: No hay regiones coloreadas.Mapa con cada regi´on coloreada, o bien, ninguna coloreada. Funci´on sucesor: Escoger una regi´on sin colorear

Funci´on sucesor: Escoger una regi´on sin colorear y colorearla con un color distinto a aquel de sus regiones adyacentes.coloreada. Estado inicial: No hay regiones coloreadas. Test objetivo: Se colorean todas las regiones del mapa,

Test objetivo: Se colorean todas las regiones del mapa, donde regiones adyacentes no tienen el mismo color.con un color distinto a aquel de sus regiones adyacentes. Costo del camino: Podr´ıa ser 1

Costo del camino: Podr´ıa ser 1 por cada color utilizado.adyacentes. Test objetivo: Se colorean todas las regiones del mapa, donde regiones adyacentes no tienen el

3