TitleAlgoritmos para satisfacción de Restricciones
Publication TypeJournal Article
Year of Publication2003
AuthorsLarrosa J, Meseguer P
JournalInteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial
VolumeOtoño 2003
Number20
Pagination31-42
Abstract

Este artículo describe los algoritmos principales que se usan en la resolución de problemas de satisfacción de restricciones incluyendo los pseudo-códigos correspondientes (a diferencia de [3] donde se hace una descripción más informa) . Consideramos tres aproximaciones algorítmicas: métodos de búsqueda, de interferencia y métodos híbridos. Los métodos de búsqueda se dividen en sistemáticos y no sistemáticos. Presentamos el esquema de backtracking como ejemplo de búsqueda sistemática, y el de búsqueda local como ejemplo de no sistemática. Los métodos de inferencia se dividen en completos e incompletos. Describimos la consistencia adaptativa como método de completo, y varios algoritmos de consistencia local como métodos incompletos. También describimos algunos ejemplos de métodos híbridos que combinan búsqueda con inferencia.