10.05.2013 Views

Tema 5 - dccia

Tema 5 - dccia

Tema 5 - dccia

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!