Técnicas de resolución de problemas de satisfacción de restricciones

Autores: Felip Manyà Serres , Carla Gomes
Localización: Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 7, Nº. 19, 2003, págs. 169-180
Idioma: español
Enlaces
- Texto completo
Resumen
- Muchos de los problemas que se plantean en Inteligencia Artifgicial pueden formalizarse como un problema de satisfaccion de restricciones (CSP) y, luego, resolverse utilizando las tecnicas de resolucion que se han desarrollado para CSPs. En este articulo, empezamos definiendo el concepto de CSP y presentando algunos ejemplos de modelizacion de problemas combinatorios como CSPs. A continuacion, describimos en detalle las tecnicas de resolucion de CSPs mas utilizadas: algoritmos de propagacion de restricciones (nodo consistencia, arco consistencia y k-consistencia), algoritmos de busqueda (generate and test, backtracking, backjumping y conict-directed backjumping) y algoritmos hibridos (forward checking y maintaining arc consistency).