Glosario IA
El diccionario completo de la Inteligencia Artificial
Programación por Restricciones
Paradigma de programación declarativa donde las relaciones entre variables se expresan como restricciones, y el sistema se encarga automáticamente de encontrar las soluciones satisfactorias.
PSR (Problema de Satisfacción de Restricciones)
Problema matemático definido por un conjunto de variables, sus respectivos dominios y un conjunto de restricciones que vinculan estas variables, cuyo objetivo es encontrar una asignación válida.
Dominio
Conjunto finito o infinito de valores posibles que una variable de decisión puede tomar en un problema de satisfacción de restricciones.
Restricción
Relación lógica o matemática que restringe las combinaciones de valores posibles para un subconjunto de variables en un problema PSR.
Consistencia de nodo
Propiedad según la cual cada valor en el dominio de una variable satisface individualmente todas las restricciones unarias asociadas a esa variable.
Consistencia de arco
Propiedad que garantiza que para cada valor de una variable, existe al menos un valor compatible en el dominio de cada variable vecina según las restricciones binarias.
Consistencia de camino
Extensión de la consistencia de arco que asegura la compatibilidad de las asignaciones para cualquier camino de variables en el grafo de restricciones.
Propagación de restricciones
Proceso iterativo de reducción automática de los dominios de las variables eliminando los valores que violan localmente las restricciones del problema.
Comprobación Adelantada
Técnica de poda proactiva que, al asignar una variable, verifica y ajusta inmediatamente los dominios de las variables aún no asignadas.
Heurística de variable
Estrategia que ordena las variables según criterios como el dominio restante más pequeño (MRV) o el grado máximo para optimizar la búsqueda.
Heurística de valor
Método que selecciona el orden de prueba de los valores para una variable dada, a menudo basado en el principio de la menor restricción (LCV).
Búsqueda local
Enfoque iterativo que mejora progresivamente una solución completa modificando localmente las asignaciones para reducir el número de restricciones violadas.
Min-Conflicts
Algoritmo de búsqueda local que selecciona aleatoriamente una variable en conflicto y le asigna el valor que minimiza el número de restricciones violadas.
AC-3 (Algoritmo de Consistencia de Arco 3)
Algoritmo eficiente que establece la consistencia de arco utilizando una cola para propagar las reducciones de dominios entre las variables.
Restricción global
Restricción de gran aridad que captura una relación compleja entre muchas variables, a menudo tratada por algoritmos de propagación especializados.
Optimización por restricciones
Extensión de la programación por restricciones que integra una función objetivo a optimizar bajo la condición del cumplimiento de todas las restricciones.
Programación lógica con restricciones
Paradigma que combina la programación lógica y la resolución de restricciones, permitiendo resolver problemas en dominios continuos o discretos.
Sistema de resolución de restricciones
Motor algorítmico que implementa los mecanismos de propagación, búsqueda e inferencia necesarios para la resolución automática de problemas CSP.