Glossário IA
O dicionário completo da Inteligência Artificial
Consistência de Arco
Propriedade de um grafo de restrições onde, para cada valor de uma variável, existe pelo menos um valor compatível no domínio da variável vizinha. É uma técnica de filtragem fundamental na programação por restrições.
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 entre essas variáveis. O objetivo é encontrar uma atribuição completa que respeite todas as restrições.
Otimização com Restrições
Extensão da programação por restrições onde o objetivo é encontrar a melhor solução entre todas as soluções viáveis de acordo com um critério de otimização. Combina a satisfação de restrições com a busca de um ótimo.
Nó de Decisão
Ponto na árvore de busca onde uma variável é instanciada com um valor específico. Cada nó representa um estado parcial do problema a partir do qual a busca continua ou retrocede (backtrack).