Glossário IA
O dicionário completo da Inteligência Artificial
Programação por Restrições
Paradigma de programação declarativa onde as relações entre as variáveis são expressas na forma de restrições, com o sistema encarregando-se automaticamente de encontrar as soluções satisfatórias.
CSP (Problema de Satisfação de Restrições)
Problema matemático definido por um conjunto de variáveis, seus respectivos domínios e um conjunto de restrições que ligam essas variáveis, cujo objetivo é encontrar uma atribuição válida.
Domínio
Conjunto finito ou infinito de valores possíveis que uma variável de decisão pode assumir em um problema de satisfação de restrições.
Restrição
Relação lógica ou matemática que restringe as combinações de valores possíveis para um subconjunto de variáveis em um problema CSP.
Consistência de Nó
Propriedade segundo a qual cada valor no domínio de uma variável satisfaz individualmente todas as restrições unárias associadas a essa variável.
Consistência de Arco
Propriedade que garante que para cada valor de uma variável, existe pelo menos um valor compatível no domínio de cada variável vizinha de acordo com as restrições binárias.
Consistência de Caminho
Extensão da consistência de arco que assegura a compatibilidade das atribuições para qualquer caminho de variáveis no grafo de restrições.
Propagação de Restrições
Processo iterativo de redução automática dos domínios das variáveis, eliminando os valores que violam localmente as restrições do problema.
Verificação Antecipada (Forward Checking)
Técnica de poda proativa que, ao atribuir uma variável, verifica e ajusta imediatamente os domínios das variáveis ainda não atribuídas.
Heurística de Variável
Estratégia que ordena as variáveis de acordo com critérios como o menor domínio restante (MRV) ou o grau máximo para otimizar a busca.
Heurística de Valor
Método que seleciona a ordem de tentativa de valores para uma dada variável, frequentemente baseado no princípio da menor restrição (LCV).
Busca Local
Abordagem iterativa que melhora progressivamente uma solução completa, modificando localmente as atribuições para reduzir o número de restrições violadas.
Min-Conflicts
Algoritmo de busca local que seleciona aleatoriamente uma variável em conflito e atribui a ela o valor que minimiza o número de restrições violadas.
AC-3 (Algoritmo de Consistência de Arco 3)
Algoritmo eficiente que estabelece a consistência de arco usando uma fila para propagar as reduções de domínios entre as variáveis.
Restrição Global
Restrição de alta aridade que captura uma relação complexa entre muitas variáveis, frequentemente tratada por algoritmos de propagação especializados.
Otimização por Restrições
Extensão da programação por restrições que integra uma função objetivo a ser otimizada sob a condição de cumprimento de todas as restrições.
Programação Lógica com Restrições
Paradigma que combina programação lógica e resolução de restrições, permitindo resolver problemas em domínios contínuos ou discretos.
Sistema de Resolução de Restrições
Motor algorítmico que implementa os mecanismos de propagação, busca e inferência necessários para a resolução automática de problemas CSP.