Ingeniera en Sistemas Computacionales

Inteligencia Artificial I
Rafael Rivera Lpez
Departamento de Sistemas y Computacin 1 Ago-Dic 2008 Veracruz, Ver.

Unidad IV

Tcnicas de Bsqueda y Satisfaccin de Restricciones

2

IV-2

Satisfaccin de Restricciones
3

Introduccin
Los problemas pueden resolverse buscando en un espacio de estados. Desde el punto de vista del algoritmo de bsqueda, cada estado es una caja negra sin estructura interna discernible. Solo es accesada por las rutinas especficas del problema (la funcin de sucesor, la funcin heurstica y la prueba de meta).
4

Introduccin
En los problemas de satisfaccin de restricciones (PSR), los estados tienen una representacin estndar, estructurada y muy simple. Los algoritmos de bsqueda pueden ser definidos de tal manera que tomen ventaja de la estructura de los estados y usen heursticas de propsito general en vez de especficas del problema, para permitir la 5 solucin de problemas grandes.

Problemas de Satisfaccin de Restricciones Un problema de satisfaccin de restricciones (o PSR) se define por un conjunto de variables, X1, X2, , Xn, y un conjunto de restricciones, C1, C2, , Cm. Cada variable Xi tiene un dominio no vaco Di de posibles valores. Cada restriccin Ci involucra algn subconjunto de las variables y especifica las combinaciones permisibles de valores de ese subconjunto. 6

Problemas de Satisfaccin de Restricciones Un estado del problema se define por una asignacin de valores a alguna o todas las variables, {Xi = vi, Xj = vj, }. Una asignacin que no viola ninguna restriccin es llamada consistente o legal. Una asignacin completa es una en la cual cada variable es mencionada. Una solucin a un PSR es una asignacin completa que satisface todas las restricciones. 7

Problemas de Satisfaccin de Restricciones

Problema: Colorear el mapa de Australia, usando los colores rojo, verde o azul, de tal forma que dos regiones vecinas no tengan el mismo color.
Australia del Oeste

Territorio del Norte

Queensland

Australia del Sur

Nueva Gales del Sur Victoria

Tasmania

Problemas de Satisfaccin de Restricciones Formulacin como PSR:

n

Variables: las regiones de Australia

w AO (Australia del Oeste) w TN (Territorio del Norte) w Q (Queensland) w NGS (Nueva Gales del Sur) w V (Victoria) w AS (Australia del Sur) w T (Tasmania)
9

Problemas de Satisfaccin de Restricciones Formulacin como PSR:

Dominios: El dominio de cada variable es el conjunto {rojo, verde, azul}. n Restricciones: Las restricciones requieren que regiones vecinas tengan distintos colores. Por ejemplo, las combinaciones permisibles para AO y TN son los pares: {(rojo, verde), (rojo, azul), (verde, rojo), (verde, azul), (azul, rojo), (azul, verde)} n Esta restriccin puede representarse como AO 10 TN.
n

Problemas de Satisfaccin de Restricciones Formulacin como PSR:

n

Solucin: Hay muchas soluciones posibles, como

{AO = rojo, TN = verde, Q = rojo, NGS = verde, V = rojo, AS = azul, T = rojo}

11

Problemas de Satisfaccin de Restricciones

Es til visualizar un PSR como un grafo de restricciones. Los nodos del grafo corresponden a las variables del problema, y los arcos corresponden a las restricciones.

TN Q AO AS NGS V T
12

Problemas de Satisfaccin de Restricciones

Es til visualizar un PSR como un grafo de restricciones. Los nodos del grafo corresponden a las variables del problema, y los arcos corresponden a las restricciones.
TN Q AO AS NGS V

13

Problemas de Satisfaccin de Restricciones

El tipo ms simple de PSR involucra variables que son discretas y tienen dominios finitos. Los problemas de coloreo de mapas son de este tipo. Incluso el problema de las 8 reinas puede plantearse como PSR: n Variables: Q , , Q (Posiciones de cada reina en las columnas 1 8
n

1, , 8). Dominios: Cada variable tiene el dominio {1, 2, 3, 4, 5, 6, 7, 8}.

Los PSR de dominios finitos incluyen a los PSR booleanos, cuyas variables son verdadero o falso.

14

Problemas de Satisfaccin de Restricciones

Los tipos de restricciones que se pueden tener son:
n

Restricciones unarias: restringen el valor de una sola variable.

w Ejemplo: A la gente de Australia del Sur no le gusta el color

verde. AS verde

w Cada restriccin unaria puede eliminarse simplemente

preprocesando el dominio de la variable correspondiente para eliminar cualquier valor que viole la restriccin.
n

Restricciones binarias: relacionan dos variables.

w Ejemplo: Australia del Sur y Nueva Gales del Sur no pueden

tener el mismo color. AS NGS

Un PSR binario es uno que tiene slo restricciones binarias, y se puede representar con un grafo de restricciones.
15

Bsqueda backtracking para los PSR Usando la formulacin antes mencionada para PSR, cualquier algoritmo de bsqueda visto anteriormente puede ser usado para resolverlos. Suponiendo que se usa bsqueda primero por amplitud, el factor de ramificacin en el nivel superior es nd, en el siguiente nivel es (n 1)d, y as sucesivamente para los n niveles. Se genera un rbol de n!dn 16 hojas.

Bsqueda backtracking para los PSR La bsqueda backtracking es una bsqueda primero en profundidad que elige valores para una variable a la vez y regresa (backtraks) cuando a una variable no le quedan valores legales para asignarle.

17

Bsqueda backtracking para los PSR

AO = rojo

AO = verde

AO = azul

AO = rojo TN = verde AO = rojo TN = verde Q = rojo

AO = rojo TN = azul AO = rojo TN = verde Q = rojo

18

Bsqueda backtracking para los PSR La bsqueda backtracking simple es un algoritmo no informado, asi que no se espera que sea efectivo para problemas grandes.

19

Bsqueda backtracking para los PSR Propagando informacin a travs de las restricciones
n

Forward checking
w Cuando una variable X es asignada, el proceso FC observa a cada variable sin asignar Y que est conectada a X por una restriccin y borra del dominio de Y cualquier valor que sea inconsistente con el valor elegido para X.

20

Bsqueda backtracking para los PSR

Propagando informacin a travs de las restricciones n Forward checking

AO
Dominios Iniciales Despus que AO=rojo

TN
RVA VA

Q
RVA RVA

NGS
RVA RVA

V
RVA RVA

AS
RVA VA

T
RVA RVA

RVA R

Despus que Q=verde

R A

RVA

RVA

Despus que V=azul

---

RVA

21