1

Problemas de Satisfaccin de Restricciones (CSP) Contenidos:

Definicin

del problema de satisfaccin de restricciones (CSP). reas de aplicacin. Especificacin de un problema CSP: variables, dominios y restricciones. Tipologa de restricciones (discretas y continuas, fuertes y dbiles, restricciones lineales, disyuntivas, etc.).

CSP

Constraint Satisfaction is a simple but powerful idea

Rina Dechter, In 'Constraint Processing' Morgan Kaufmann Pub. (2003)

EJEMPLOS 1
Variables: s,e,n,d,m,o,r,y Dominios: s,e,n,d,m,o,r,y{0,,9} Restricciones

Objetivos Consistencia Soluciones

send +more money

103(s+m)+102(e+o)+10(n+r)+d+e=104m+103o+102n+y

Coloreado de Mapas Variables: x,y,z,w Dominios: x,y,z,w :{r,v,a} Restricciones: binarias x y, yz, z w, ...

El Problema de las 8 Reinas

EJEMPLOS 2
Juan, Pepe y Paco nacieron y viven en ciudades diferentes (Mlaga, Madrid y Valencia). Adems, ninguno vive en la ciudad donde naci. Juan es ms alto que el que vive en Madrid. Paco es cuado del que vive en Valencia. El que vive en Madrid y el que naci en Mlaga tienen nombres que comienzan por distinta letra. El que naci en Mlaga y el que vive ahora en Valencia tienen nombres que comienzan por la misma letra.

Donde naci y vive cada uno?

EJEMPLOS 3

"Juan va de su casa al trabajo en coche (30-40 minutos) o en tren (al menos una hora). Luis va en coche (20-30 minutos) o en metro (40-50 minutos). Hoy Juan parte de casa entre las 8:10 y las 8:20 y Luis llega al trabajo entre las 9:00 y las 9:10. Adems, sabemos que Juan lleg al trabajo entre 10 y 20 minutos despus de que Luis saliera de casa Cuestiones:
Esta informacin es consistente? Es posible que Juan haya usado el tren y Luis haya usado el Metro? Cuales son los posibles tiempos en los que Luis pudo haber salido de casa?, etc.

EJEMPLOS 4

Variables: altura de viga, longitud de viga, canto de forjado Dominios continuos: altura, longitud : [0, 10] Restricciones: vibraciones, refuerzos, conexiones, etc. Consistencia

Objetivos

Intervalos de tolerancia Soluciones etc

CSP
Problemas de Satisfaccin de Restricciones CSP

Metodologa de Resolucin de problemas INTELIGENCIA ARTIFICIAL

Definicin de CSP

Un Problema de Satisfaccin de Restricciones (CSP) se puede representar como: Un Conjunto de Variables: X={x1, x2, ..., xn} Dominios de Interpretacin (D = <D1,,Dn> ) para las variables: xiDi Un Conjunto de Restricciones entre las variables: C ={c1, c2, ..., cm}

Modelizacin CSP
Variables Dominios Restricciones (EXPRESIVIDAD)

1)

MODELACIN CSP

2)

RESOLUCIN CSP

Tcnicas Resolucin CSP (EFICICIENCIA)

10

Modelizacin 1

Variables: s,e,n,d,m,o,r,y Dominios: s,e,n,d,m,o,r,y:{0,,9} send Restricciones +more money

Especificacin CSP

Variables: s, e, n, d, m, o, r, y Dominios: s, e, n, d, m, o, r ,y : {0,,9} Restricciones: Todas Diferentes, 103(s+m) + 102(e+o) + 10(n+r) + d + e= 104m + 103o + 102n + 10e+y

11

Modelizacin 2
Variables: s, e, n, d, m, o, r, y Dominios: s, e, n, d, m, o, r ,y : {0,,9} Restricciones:
send + more money

se, sn, sd, sm, so, sr, sy, en, ed, em,.. d+e = y+10c1 c1+n+r = e+10c2 c2+e+o = n+10c3 c3+s+m = 10m+o

12

Resolucin

MODELACIN CSP

RESOLUCIN CSP

s end + more money

13

Objetivos

Consistencia del problema (existe solucin). Obtener una o todas las soluciones del problema. Obtener los dominios mnimos. La solucin que optimiza una funcin objetivo o multi-objetivo.

14

Objetivos

Objetivo de un CSP:
Tiene solucin? Consistencia. Obtener una solucin. Obtener todas las soluciones. Obtener una solucin ptima, o al menos una buena solucin, medida por alguna funcin objetivo (funcin de evaluacin).

Algoritmos para CSP:

Tcnicas de Bsqueda (Algoritmos CSP): Obtienen una solucin, guiados por heursticas. Tcnicas Inferenciales (Algoritmos de propagacin): Obtienen las consecuencias de las restricciones explcitamente conocidas del problema.

15

Conceptos bsicos

Dado un CSP (X, Di, C), Una instanciacin (o asignacin) de las variables X es una asignacin de valores a las variables en sus dominios: x1=v1, x2=v2, ..., xn=vn / viD Una solucin del CSP es una instanciacin consistente de las variables, de forma que se satisfacen todas las restricciones del problema. Un valor v es un valor consistente (o posible) para xi si existe una solucin del CSP en la cual participa la asignacin xi=v.

Un CSP es consistente sii tiene al menos una solucin.

16

Conceptos bsicos Variables

Un CSP discreto es aquel en el que todas las variables son discretas, es decir, toman valores en dominios discretos. Un CSP continuo es un CSP en el que todas las variables son continuas, es decir, tienen dominios continuos. Un CSP mixto consta de variables continuas y discretas. Un CSP binario es aquel en el que todas las restricciones tienen a los sumo dos variables respectivamente. Un CSP no binario o n-ario es aquel en el que las restricciones tienen ms de dos variables.

17

Conceptos bsicos Restricciones

Discretas: las variables participantes estn acotadas en dominios discretos. Continuas: las variables participantes estn acotadas en dominios continuos. Binarias: son restricciones en las que slo participan dos variables. N-arias: son restricciones en las que participan N variables (N>2). Fuertes (hard): son restricciones cuya satisfabilidad es imprescindible. Dbiles (soft): son restricciones cuya satisfabilidad no es imprescindible. Difusas (fuzzy): son restricciones definidas sobre niveles de preferencia. Disyuntivas: son restricciones compuestas por un conjunto disjunto de restricciones.

18

N-reinas

Definicin: posicionar n reinas en un tablero de ajedrez n x n, de forma que no se ataquen. Formulacin: 1 reina por fila variables: reinas, Xi reina en la fila i-sima dominios: columnas posibles {1, 2, . . . , n} restricciones: no colocar dos reinas en la misma columna la misma diagonal Caractersticas: CSP binario, discreto y finito

19

Coloreado de Grafos

Definicin: Dado un grafo, n nodos m colores, asignar un color a cada nodo de forma que no haya dos nodos adyacentes con el mismo color. Formulacin: variables: nodos dominios: colores posibles restricciones: nodos adyacentes Caractersticas: CSP binario, discreto y finito

20

Crucigrama

Definicin: Dada una rejilla y un diccionario, construir un crucigrama compatible.

Formulacin: variables: grupo de casillas para una palabra (slots) dominios: palabras del diccionario con la longitud adecuada restricciones: misma letra en la interseccin de dos palabras Caractersticas: CSP binario, discreto y finito (dominios grandes)

21

Restricciones Temporales

Definicin: dado un conjunto de sucesos que ocurren en intervalos temporales con ciertas relaciones, encontrar una asignacin temporal consistente.
"Juan va de su casa al trabajo en coche (30-40 minutos) "Juan va de su casa al trabajo en coche (30-40 minutos) oo en tren (al menos una hora). Luis va en coche (20-30 en tren (al menos una hora). Luis va en coche (20-30 minutos) oo en metro (40-50 minutos). minutos) en metro (40-50 minutos). Hoy Juan parte de casa entre las 8:10 yy las 8:20 yy Luis Hoy Juan parte de casa entre las 8:10 las 8:20 Luis llega al trabajo entre las 9:00 yy las 9:10. Adems, llega al trabajo entre las 9:00 las 9:10. Adems, sabemos que Juan lleg al trabajo entre 10 yy 20 minutos sabemos que Juan lleg al trabajo entre 10 20 minutos despus de que Luis saliera de casa" despus de que Luis saliera de casa"
{[30, 40], [60, ]} T1 {[10, 20]} {[10, 20]} T2

T3 {[60, 70]} T0

{[20, 30], [40, 50]} T4

Formulacin: variables: sucesos dominios: intervalo temporal para cada suceso restricciones: distancia temporal permitida entre sucesos; relaciones temporales antes, despus, solapado, etc. Caractersticas: CSP binario, continuo, con restricciones disyuntivas

T0: Tiempo inicial (en este caso, 8:00 h.) T1 / T2: Tiempo en que Juan sale de casa / llega al trabajo. T3/T4: Tiempo en que Luis sale de casa / llega al trabajo.

22

Problema de diseo

Definicin: el problema consiste en llevar a cabo el diseo de un puente que debe constar de pocos arcos siendo preferible que los pilares no toquen el agua y los pilares sean lo ms bajos posibles. Formulacin: variables: partes y elementos del diseo dominios: valores permitidos para cada parte y elemento restricciones: propiedades que las partes deben satisfacer. Caractersticas: CSP no binario, mixto, con restricciones hard, soft y difusas.
a) Solucin por defecto para los arcos dados:

b) Versin teniendo en cuenta aspectos estticos y geotecnolgicos:

c) Bases para disear los detalles de los pilares:

? ?

Backtracking sobre los detalles de diseo de los pilares

d1) Pilares demasiado cerca

d2) Pilares sobre el peralte

d3) Pilares en el agua

e) Diseo final:

23

CSPs binarios & n-arios Binario

Un CSP binario se suele representar mediante un grafo, donde: Nodos: Variables Arcos: Relaciones binarias entre las variables. X2 X1 R12 x3 R35 x1 R15 x4 R42 x4 R45 x2 R25 x2 x5 x5 x2 x5 x5 X1 X4

X5 X3

24

CSPs binarios & n-arios No Binario

Un CSP no binario no se suele representar mediante un grafo, sino como un hiper-grafo perdiendo toda la funcionalidad existente sobre la teora de grafos. donde: Nodos: Variables Arcos: Relaciones binarias entre las variables. C123 X1 X2 X3

C24567

X4

X5 X7

X6

25

Consistencia: Niveles 1-consistencia

Consistencia de nodo (1-consistencia)

Un nodo (xi) es consistente si al menos un valor en su dominio es consistente con la restriccin unaria del nodo:

10xi 15, D(Xi):{0, 10}

Un grafo red es nodo-consistente sii todos sus nodos son consistentes: xiCSP, viD / (xi ci0) se cumple para xi=vi (ie: Dci0{})

26

Consistencia: Niveles 2-consistencia

Consistencia de arco (2-consistencia): Un arco (xi {cij} xj) es consistente si y solo si para cada asignacin de xi en su dominio, existe una asignacin para xi, tal que la restriccin {cij} se satisface. Por ejemplo el arco: xi [3,6]

Cij

xj [8,10]

es consistente, pero no lo sera si cij en vez de fuese Un grafo es arco-consistente si todos sus arcos son consistentes. cij CSP, vidi vjdj / (xi cij xj) se cumple para xi=vi, xj=vj

27

Backtracking: ejemplo

28

Backtracking: ejemplo

29

Backtracking: ejemplo

30

Backtracking: ejemplo