Tema 5 - dccia

More documents

Recommendations

Info

Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Propagación de Restricciones • Transformar el problema en otro más sencillo sin inconsistencias de arco. • Propiedad de consistencia de arista Una arista dirigida c(e p) = es consistente si y sólo si para todo valor asignable a V i existe al menos un valor en V j que satisface la restricción asociada a la arista. • Un CSP puede transformarse en una red consistente mediante un algoritmo sencillo (AC3) que examina las aristas, eliminando los valores que causan inconsistencia del dominio de cada variable. 26
Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Algoritmo AC3 Q = {c(e p ) = |e p ∈ E, i ≠ j} Mientras Q ≠ Ø hacer = seleccionar_y_borrar(Q) cambio = falso Para todo v k ∈ D k hacer Si no_consistente (v k , D m ) entonces FinSi FinPara borrar (v k , D k ) cambio = cierto Si Dk = Ø entonces salir_sin_solución FinSi Si cambio = cierto entonces Q = Q ∪ {c(e r ) = | e r ∈ E, i ≠ k, i ≠ m} FinSi FinMientras • Después del proceso: ✓ No hay solución ✓ Hay más de una solución ✓ Hay una única solución 27
Page 1 and 2: Fundamentos IA 5. Satisfacción de
Page 25: Fundamentos IA 5. Satisfacción de
Page 37: Fundamentos IA 5. Satisfacción de

Tema 5 - dccia

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?