Tema 5 - dccia

More documents

Recommendations

Info

Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Backtracking básico • Inicialización de la raíz del árbol de búsqueda i= 0; modo = forward; S = {} Acciones si el estado actual es consistente Si modo = forward entonces FinSi i=i+1; (1.1) V + i = nuevo_candidato(S, E, c, l, a) Si V + i ≠∅entonces Sino S= S ∪ expandir(S, V + i ) Si i=n entonces salir_con_éxito sino ir a FinSi modo = backtracking FinSi Acciones si se detecta inconsistencia Si modo = backtracking entonces FinSi Si i= 0 entonces salir_con_fracaso Sino i= i-1 S = cambiar(S, V + i ) modo = forward ir a (1.1) FinSi 14
Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Backtracking recursivo funcion bt (x variable): booleano Para todo a ∈ D(x) hacer x a si test (x, pasadas) retorna FALSO pasadaspasadas + {x} si bt(siguiente(x)) retorna CIERTO sino pasadas pasadas – {x} pasadas: variables ∈ solución parcial, tienen valor asignado funcion test (x variable, P conjunto): booleano para todo y ∈ P hacer si (val(x), val(y))∉rel(R xy ) retorna FALSO retorna CIERTO la función test comprueba que el valor de la variable actual (x) sea consistente con la solución parcial 15
Page 1 and 2: Fundamentos IA 5. Satisfacción de
Page 13: 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?