Académique Documents
Professionnel Documents
Culture Documents
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
EJEMPLOS 1
Variables: s,e,n,d,m,o,r,y Dominios: s,e,n,d,m,o,r,y{0,,9} Restricciones
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, ...
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.
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
CSP
Problemas de Satisfaccin de Restricciones CSP
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
10
Modelizacin 1
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
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).
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.
16
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
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
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
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:
e) Diseo final:
23
X5 X3
24
C24567
X4
X5 X7
X6
25
Un nodo (xi) es consistente si al menos un valor en su dominio es consistente con la restriccin unaria del nodo:
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 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