Tema 5 - dccia

More documents

Recommendations

Info

Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Variables CSP binario V = {V 1 , V 2 , …, V n } Dominios discretos y finitos D = {D 1 , D 2 , …, D n } Restricciones binarias {R ij } • Solución : Asignación de valores a cada una de las variables satisfaciendo todas las restricciones • Generalidad : Todo problema n-ario se puede formular como un problema binario • Ejemplos: Coloreado de mapas Asignación de tareas para un robot N-reinas Crucigramas Criptoaritmética 6
Fundamentos IA 5. Satisfacción de Restricciones @DCCIA Ejemplo: Coloreado de mapas V={V 1 , V 2 , V 3 , V 4 } D i ={rojo, azul, verde}, ∀ i, 1 ≤ i ≤ 4 E= {e 1 , e 2 , e 3 , e 4 , e 5 } ρ k (V i , V j )= {| v i ∈ D i, v j ∈ D j, v i ≠ v j }, ∀ k, 1 ≤ k ≤ 5 c(e 1 )=, c(e 2 )=, c(e 3 )=, ... l(e j )={, , , , , } a={V 1 , V 4 , V 2 , V 3 } 7
Page 1 and 2: Fundamentos IA 5. Satisfacción de
Page 5: 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?