Tema 5 - dccia

Fundamentos IA 5. Satisfacción de Restricciones
@DCCIA
Reconocimiento de figuras IV
• Red de restricciones
V={f 1, f 2, f 3}
D j={F 1, F 2, F 3, F 4, F 5, F 6} ∀j, 1 ≤ j ≤ 3
E={e 1, e 2, e 3}
ρ k(f i)={ | unaria(F i)}
ρ k(f i,f j)={ | (F i ≠ F j) ∧ binaria(F i ,F j)}
c(e 1)= < f 1, f 2>, c(e 2)=< f 1, f 3 >, c(e 3)=< f 2, f 3 >
l(e k) ⊆{|(i ≠ j) ∧ binaria(F i ,F j) (i,j ∈{1, 2,
3, 4, 5, 6 })} ∀ k = 1, 2 ,3
a= < f 1, f 2, f 3 >
20