Tema 5 - dccia

Fundamentos IA 5. Satisfacción de Restricciones
@DCCIA
Definición de CSP
• Solución: encontrar asignaciones de valor a
las variables que satisfagan todas las
restricciones.
(X = 2, Y = 2, Z = 1)
Cada restricción tiene asociado un
operador de proyección:
P k ()=
• Solución al problema: ρ sol, la relación naria
que satisface todas las restricciones
de ρ:
ρ sol = {|v i ∈ Di ∧ P k () ∈ ρ k , ∀i, 1≤ i ≤ n , ∀k 1≤ k
≤ m}
• Dependiendo de los requerimientos del
problema hay que encontrar todos los
elementos de ρ sol o bien sólo alguno de
ellos.
4