Tema 5 - dccia
Tema 5 - dccia
Tema 5 - dccia
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Fundamentos IA 5. Satisfacción de Restricciones<br />
@DCCIA<br />
Generación y test VS Backtracking<br />
• Problema:<br />
X<br />
1<br />
1<br />
1<br />
1<br />
2<br />
2<br />
2<br />
• X::{1,2}, Y::{1,2}, Z::{1,2}<br />
X = Y, X ≠ Z, Y > Z<br />
Generación y test<br />
Y<br />
1<br />
1<br />
2<br />
2<br />
1<br />
1<br />
2<br />
Z<br />
1<br />
2<br />
1<br />
2<br />
1<br />
2<br />
1<br />
test<br />
falla<br />
falla<br />
falla<br />
falla<br />
falla<br />
falla<br />
acierta<br />
X<br />
1<br />
2<br />
Backtracking<br />
Y<br />
1<br />
2<br />
1<br />
2<br />
Z<br />
1<br />
2<br />
1<br />
test<br />
falla<br />
falla<br />
falla<br />
falla<br />
acierta<br />
16