Unidad 4 4 bsqueda y satisfaccin de restricciones

4.1 Problemas y Espacios de estados. 4.2 Espacios de estados determ inisticos y Espacios no determinsticos. 4.3 Bsqueda sistem tica. 4.3.1 Bsqueda de metas a profundidad. 4.3.2 Bsqueda de metas en anchura 4.3.3 Bsqueda ptim a. 4.4 Satisfaccin de restricciones. 4.5 Resolucin de problemas de juegos.

Unidad 4 inteligencia artificial

SATISFACCIN DE RESTRICCIONES

Problemas de satisfaccin de restricciones es un tipo especial de problemas que satisfacen algunas propiedades adicionales. Las restricciones pueden involucrar una o varias variables al mismo tiempo. A veces en estos problemas conviene hacer una verificacin hacia adelante (forward checking) para detectar estados sin solucin (e.g., las 8-reinas). Muchas veces lo que conviene es analizar la variable ms restringida, esto es, asignarle un valor a la variable que est involucrada en la mayor cantidad de restricciones. Otra heurstica comn es seleccionar un valor que elimine el menor nmero de valores en las otras variables asociadas a la variable por medio de una restriccin.

A veces la descripcin del estado contiene toda la informacin necesaria para llegar a una solucin (e.g., las 8-reinas) y se utilizan algoritmos que hacen mejoras iterativas. La idea general es empezar con una configuracin completa y hacer modificaciones para mejorar su calidad. Normalmente, en problemas de maximizacin se trata de moverse hacia el pico ms alto. Los mtodos iterativos normalmente guardan slo su estado actual y no ven mas all de sus vecinos inmediatos. Aqu podemos mencionar a gradiente descendiente (hill-climbing) y a recocido simulado (pero esos los veremos ms adelante).

Unidad 4 inteligencia artificial

4.1 PROBLEMAS Y ESPACIOS DE ESTADOS

Muchos de los problemas que pueden ser resueltos aplicando tcnicas de inteligencia artificial se modelan en forma simblica y discreta definiendo las configuraciones posibles del universo estudiado. El problema se plantea entonces en trminos de encontrar una configuracin objetivo a partir de una configuracin inicial dada, aplicando transformaciones vlidas segn el modelo del universo. La respuesta es la secuencia de transformaciones cuya aplicacin sucesiva lleva a la configuracin deseada. Los ejemplos ms caractersticos de esta categora de problemas son los juegos (son universos restringidos fciles de modelar). En un juego, las configuraciones del universo corresponden directamente a las configuraciones del tablero. Cada configuracin es un estado que puede ser esquematizado grficamente y representado en forma simblica. Las transformaciones permitidas corresponden a las reglas o movidas del juego, formalizadas como transiciones de estado. Entonces, para plantear formalmente un problema, se requiere precisar una representacin simblica de los estados y definir reglas del tipo condicin accin para cada una de las transiciones vlidas dentro del universo modelado. La accin de una regla indica como modificar el estado actual para generar un nuevo estado. La condicin impone restricciones sobre la aplicabilidad de la regla segn el estado actual, el estado generado o la historia completa del proceso de solucin. El espacio de estados de un juego es un grafo cuyos nodos representan las configuraciones alcanzables (los estados vlidos) y cuyos arcos explicitan las movidas posibles (las transiciones de estado). En principio, se puede construir cualquier espacio de estados partiendo del estado inicial, aplicando cada una de las reglas para generar los sucesores inmediatos, y as sucesivamente con cada uno de los nuevos estados generados (en la prctica, los espacios de estados suelen ser demasiado grandes para explicitarlos por completo). Cuando un problema se puede representar mediante un espacio de estados, la solucin computacional corresponde a encontrar un camino desde el estado inicial a un estado objetivo.

Unidad 4 inteligencia artificial

Ejemplo de espacio de estados Descripcin del problema: Un arriero se encuentra en el borde de un rio llevando un puma, una cabra y una lechuga. Debe cruzar a la otra orilla por medio de un bote con capacidad para dos (el arriero y alguna de sus pertenecias). La dificultad es que si el puma se queda solo con la cabra la devorar, y lo mismo suceder si la cabra se queda sola con la lechuga. Cmo cruzar sin perder ninguna pertenencia? Representacin de las configuraciones del universo del problema: Basta precisar la situacin antes o despus de cruzar. El arriero y cada una de sus pertenencias tienen que estar en alguna de las dos orillas. La representacin del estado debe entonces indicar en que lado se encuentra cada uno de ellos. Para esto se puede utilizar un trmino simblico con la siguiente sintaxis: estado(A,P,C,L), en que A, P, C y L son variables que representan, respectivamente, la posicin del arriero, el puma, la cabra y la lechuga. Las variables pueden tomar dos valores: i y d, que simbolizan respectivamente el borde izquierdo y el borde derecho del rio. Por convencin se elige partir en el borde izquierdo. El estado inicial es entonces estado(i,i,i,i). El estado objetivo es estado(d,d,d,d). Definicin de las reglas de transicin: El arriero tiene cuatro acciones posibles: cruzar solo, cruzar con el puma, cruzar con la cabra y cruzar con la lechuga. Estas acciones estn condicionadas a que ambos pasajeros del bote estn en la misma orilla y a que no queden solos el puma con la cabra o la cabra con la lechuga. El estado resultante de una accin se determina intercambiando los valores i y d para los pasajeros del bote.

Unidad 4 inteligencia artificial

Generacin del espacio de estados En este ejemplo se puede explicitar todo el espacio de estados (el nmero de configuraciones est acotado por 24).

Este espacio de estados tambin se puede representar mediante un grafo equivalente.

Unidad 4 inteligencia artificial

Solucin del problema El camino que pasa por la siguiente secuencia de estados es una solucin del problema: estado(i,i,i,i) cruza con cabra estado(d,i,d,i) cruza solo estado(i,i,d,i) cruza con puma estado(d,d,d,i) cruza con cabra estado(i,d,i,i) cruza con lechuga estado(d,d,i,d) cruza solo estado(i,d,i,d) cruza con cabra estado(d,d,d,d)

Unidad 4 inteligencia artificial

4.2 ESPACIOS DE DETERMINSTICOS.

ESTADOS

DETERMINSTICOS

ESPACIOS

NO

Un ambiente determinstico es aquel en el cual 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 Un sistema es determinstico si, para un estado 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

Unidad 4 inteligencia artificial

4.3 Bsqueda sistemtica

Tambin llamad rbol de bsqueda. EE representable por un rbol Raz asignacin vaca A cada nivel asociamos una variable Sucesores valores de la variable del nivel. Rama define una asignacin. Complejidad exponencial rbol de bsqueda tiene todos los estados Recorrido exhaustivo implica mtodo completo Si hay solucin la encuentra Si no hay de muestra que no existe

Unidad 4 inteligencia artificial

4.3.1Bsqueda de metas a profundidad

Si el conjunto open se maneja como una lista LIFO, es decir, como un stack, siempre se estar visitando primero los ltimos estados en ser generados. Esto significa que si A genera B y C, y B genera D, antes de visitar C se visita D, que est ms alejado de la raiz A, o sea ms profundo en el rbol de bsqueda. El algoritmo tiene en este cas o la tendencia de profundizar la bsqueda en una rama antes de explorar ramas alternativas. procedure Bsqueda_en_profundidad { open [estado_inicial]

closed {} while (open no est vaca) { remover el primer estado X de la lista open if (X es un estado objetivo) return xito else { generar el conjunto de sucesores del estado X agregar el estado X al conjunto closed eliminar sucesores que ya estn en open o en closed agregar el resto de los sucesores al principio de open } } return fracaso } Considerando que la cantidad promedio de sucesores de los nodos visitados es B (llamado en ingls el branching factor y en castellano el factor de ramificacin), y suponiendo que la profundidad mxima alcanzada es n, este algoritmo tiene una complejidad en tiempo de O(Bn) y, si no se considera el conjunto closed, una complejidad en espacio de O(B n). En vez de usar el conjunto closed, el control de ciclos se puede hacer descartando aquellos estados que aparecen en el camino generado hasta el momento (basta que cada estado generado tenga un puntero a su padre). El mayor problema de este algoritmo es que puede "perderse" en una rama sin encontrar la solucin. Adems, si se encuentra una solucin no se puede garantizar que sea el camino ms corto.

Unidad 4 inteligencia artificial

Bsqueda profunda Recorrido A-B-D-E-C-F-G Consistencia Bsqueda en profundidad en cada nodo, arco consistencia sobre todas las restricciones rbol de bsqueda: Binario Encada nivel una variable x 1 Dos opciones: a a Se puede cambiar de variable sin agotar balo Encada nodo, AC del subproblema actual

10

Unidad 4 inteligencia artificial

4.3.2 BSQUEDA DE METAS EN ANCHURA bsqueda 1 en anchura se expande primero el nodo raz, a continuacin se expande todos los sucesores del nodo raz, despus los sucesores en general, se expanden todos los nodos a una profundidad en el rbol de bsqueda antes de expandir cual nodo del prximo nivel (FIFO) cola porque primero que entra primero que sale en nodos primero visitados primero expandidos, si la solucin esta ana profundidad d, el peso de los nodos expandidos todos excepto el ultimo nodo(porque el nodo objetivo no se expande) generando b(d +1)- b nodos en el nivel d + 1

En la figura 20 la bsqueda por anchura es A-B-C-D-E-F-G Desventaja consume mucho tiempo y memoria para completar una bsqueda

11

Unidad 4 inteligencia artificial

4.4 SATISFACCIN DE RESTRICCIONES

Un problema de satisfaccin de restricciones (PSR) viene definido por lo siguientes elementos 1) Conjunto finito de variables {x1xN } 2) Conjunto finito de dominios D asociado a cada variable x especificando los posibles valores que pueden tomar. 3) Un conjunto finito de restricciones C 1,Cn que definen una serie de propiedades que deben verificar los valores asignados a las variables.

Una solucin al problema es una asignacin de valores a las variables.{x1 = v1, .xn = vn} tal que v e D y se verifican las restricciones. Esta formulacin permite una representacin simple del problema y el uso de heursticas de propsito general, independiente del problema. Tipos de problemas Clasificacin segn el tipo de restricciones. Restricciones de obligacin (hard contraints) Restricciones de preferencia (Soft contraints) Clasificacin segn dominio Dominio discreto (finito o infinito) Dominio contino Clasificacin segn el nmero de variables implicadas en la restriccin Restricciones binarias Restricciones mltiples Aplicaciones para IA Restricciones: forma general de representacin del conocimiento Satisfaccin de restricciones: razonamiento automtico Ejemplo coloreado de mapas ver figura 21 Variables cada ciudad del mapa Dominio {rojo, azul, verde} Restricciones p = q para par de provincias vecinas p y q. Problema con dominio finito y restricciones binarias (de obligacin) 12

Unidad 4 inteligencia artificial

4.5 RESOLUCION DE PROBLEMAS DE JUEGO

Las torres de Hanoi arcos son los movimientos permitidos para mover el disco por disco desde su origen a su destino Reglas Se debe mover un solo disco a la vez colocando en otro poste si y solo si no hay un disco de menor tamao en este. Objetivo mover los 3 discos de a a c, en el orden de menor a mayor con la menor cantidad de movimientos posibles 2n -1 para n=3 se tiene 7

inicio 1 2 3

13

Unidad 4 inteligencia artificial

Pas 1

Paso 2

2 3 1 3 2 1

Pas 3

Paso 4

1 3 2

1 2 3

Paso 5

Paso 6

2 1 2 3 1 3

Paso 7 1 14 2 3 Unidad 4 inteligencia artificial

Bibliografa

http://www.dcc.uchile.cl/~abassi/Cursos/IA/Apuntes/c5.html

http://www.scribd.com/doc/6772113/Problemas-y-Espacio-de-Estados

http://www.monografias.com/trabajos10/trabajos/trabajos.shtml

15

Unidad 4 inteligencia artificial