Algoritmos para satisfacción de restricciones Reportar como inadecuado




Algoritmos para satisfacción de restricciones - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Pedro Meseguer ;Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial 2003, 7 (20)

Autor: Javier Larrosa

Fuente: http://www.redalyc.org/


Introducción



Inteligencia Artificial.
Revista Iberoamericana de Inteligencia Artificial ISSN: 1137-3601 revista@aepia.org Asociación Española para la Inteligencia Artificial España Larrosa, Javier; Meseguer, Pedro Algoritmos para Satisfacción de Restricciones Inteligencia Artificial.
Revista Iberoamericana de Inteligencia Artificial, vol.
7, núm.
20, 2003 Asociación Española para la Inteligencia Artificial Valencia, España Disponible en: http:--www.redalyc.org-articulo.oa?id=92572003 Cómo citar el artículo Número completo Más información del artículo Página de la revista en redalyc.org Sistema de Información Científica Red de Revistas Científicas de América Latina, el Caribe, España y Portugal Proyecto académico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto ARTÍCULO Algorithms for constraint satisfaction Javier Larrosa*, Pedro Meseguer♣ * Dpto.
LSI, UPC Jordi Girona Salgado, 1-3 08034 Barcelona, España ♣ IIIA-CSIC Campus UAB 08193 Bellaterra, España e-mail: larrosa@lsi.upc.es, pedro@iiia.csic.es This paper describes the main algorithms for solving constraint satisfaction problems, and includes the corresponding encodings (the main different with respect [3] is that, in their paper, they provide a more informal description of the algorithms).
We consider three main algorithmic approaches: search, inference and hybrid methods.
Search methods can be divided into systematic and non-systematic.
We present backtracking as an example of systematic search, and local search as an example of nonsystematic search.
Inference methods can be divided into complete and incomplete.
We describe adaptive consistency as an example of complete inference, and several local consistency algorithms as incomplete inference.
We also present some examples of hybrid methods which combine search and inference. ...





Documentos relacionados