INTELIGENCIA ARTIFICIAL UNIDAD 5:

PROBLEMAS DE SATISFACCIN DE RESTRICCIONES

Problemas de satisfaccin de restricciones Bsqueda con vuelta atrs (Backtracking) para PSR Bsqueda local para problemas de satisfaccin de restricciones La estructura de los problemas

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

INTRODUCCIN
Hasta Ahora hemos tratado a los estados como si fueran una caja negra sin una estructura perceptible interna. Los representamos por una estructura de datos arbitraria a la que se puede acceder solo son funciones especficas (funcin sucesor, heurstica, test objetivo). Al tratar los estados como ms que solo pequeas cajas negras encontraremos nuevos poderosos mtodos de bsqueda y entender mejor la estructura y complejidad del problema
FCT - UNCA Ing. Hctor Estigarribia 03/04/2014 2

Problemas de Satisfaccin de restricciones

Un problema de satisfaccin de restricciones (PSR) viene denido formalmente por los siguientes elementos: Un conjunto nito de variables X1, . . . , Xn Cada variable tiene un conjunto no vaco D de valores posibles. Un conjunto nito de restricciones C1, . . . , Cm Cada restriccin implica un subconjunto de variables

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Problemas de Satisfaccin de restricciones

Un estado del problema est definido por una asignacin de valores a una o todas las variables {Xi = vi Xj = Vj}. Una asignacin que no viola ninguna restriccin Ci se le llama consistente o legal. Una asignacin completa es una asignacin en la que se menciona cada variable. Una solucin de un PSR es una asignacin completa que satisface todas las restricciones.

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Ejemplo
Colorear cada regin de rojo, verde o azul de modo que ninguna de las regiones vecinas tenga el mismo color.

Variables Regiones: {AO, TN, Q, NGS, V,AS, T}. Dominio de cada variable conjunto de colores: {rojo, verde, azul} Restricciones: que las regiones vecinas tengan colores distintos
FCT - UNCA Ing. Hctor Estigarribia 03/04/2014 5

Problemas de Satisfaccin de restricciones

Es bueno visualizar un PSR como un grafo de restricciones:

Nodos variables Arcos restricciones

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Problemas de Satisfaccin de restricciones

Formulacin incremental de un PSR
Estado inicial ninguna variable asignada

Funcin de sucesor asignar un valor a una variable

Test objetivo asignacin completa Costo del camino constante, por ejemplo 1 para cada paso

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Bsqueda con vuelta atrs (Backtracking) para PSR

Con la formulacin anterior, cualquier algoritmo de bsqueda de los anteriores captulos puede resolver la PSR. El trmino bsqueda con vuelta atrs se utiliza para la bsqueda primero en profundidad que elige valores para una variable a la vez y vuelve atrs cuando una variable no tiene ningn valor legal para asignarle.

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Bsqueda con vuelta atrs (Backtracking) para PSR

Parte del rbol de bsqueda generado por vuelta atrs para el problema de colorear el mapa de Australia

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

Bsqueda con vuelta atrs (Backtracking) para PSR

Parte del rbol de bsqueda generado por vuelta atrs para el problema de colorear el mapa de Australia

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

10

Bsqueda con vuelta atrs (Backtracking) para PSR

Parte del rbol de bsqueda generado por vuelta atrs para el problema de colorear el mapa de Australia

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

11

Bsqueda con vuelta atrs (Backtracking) para PSR

Que variable debe asignarse despus? Cules son las implicaciones de las asignaciones de las variables actuales para las otras variables no asignadas? Cuando un camino falla, puede la bsqueda evitar repetir este fracaso en los caminos siguientes?

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

12

Bsqueda con vuelta atrs (Backtracking) para PSR. Variable y ordenamiento de valor

El algoritmo backtracking simplemente selecciona la siguiente variable no asignada en el orden dado por la lista de variables. Una vez asignada, ayuda a hacer ms eficiente la bsqueda, pues las siguientes variables a asignar ya tienen ms restricciones.

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

13

Bsqueda con vuelta atrs (Backtracking) para PSR. Variable y ordenamiento de valor
Ejemplo: Ao rojo, TN verde, solo queda AS azul. Entonces es mejor asignar azul a AS que azul o rojo a Q. Luego de asignar AS, las opciones para Q, NGS y V estn forzadas. Esta idea intuitiva (escoger la variable con menos valores legales se llama heurstica de mnimos valores restantes (MVR).

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

14

Bsqueda con vuelta atrs (Backtracking) para PSR. Variable y ordenamiento de valor
La heurstica MVR no ayuda en la eleccin de la primera regin a colorear en Australia, por que al principio cada regin tiene 3 colores legales En este caso, el grado heurstico es ms prctico. Intenta seleccionar la variable que est implicada en el mayor nmero de restricciones.

La heurstica MVR normalmente es ms poderosa pero la heurstica del grado puede usarse para romper empates
03/04/2014 15

FCT - UNCA Ing. Hctor Estigarribia

BIBLIOGRAFA
INTELIGENCIA ARTIFICIAL: UN ENFOQUE MODERNO.
o STUART RUSSELL Y PETER NORVIG. o PEARSON EDUCATION o 2da Edicin, 2004. o 1240 pginas

Capitulo 5, Paginas 155 a 180

http://es.wikipedia.org/wiki/Problema_de_satisfacci%C3%B3n_de_restricciones http://users.dsic.upv.es/~msalido/papers/capitulo.pdf http://www.cs.us.es/cursos/ia1/temas/tema-05.pdf http://gpd.sip.ucm.es/rafa/docencia/pr/tema1.html#tema1primerprograma

FCT - UNCA Ing. Hctor Estigarribia

03/04/2014

16