programação de conjunto de resposta

Programação de Conjunto de Resposta (ASP, da expressão em inglês Answer set programming) é uma forma de programação declarativa orientada a difíceis (principalmente NP-difícil). É baseado na semântica de modelo estável (conjunto de resposta) da . Em ASP, problemas de busca são reduzidos a modelos estáticos de computação, e solucionadores de conjunto de respostas - programas que geram modelos estáveis - são usados para realizar a busca. O processo computacional empregado no design de muitos solucionadores de conjuntos de respostas é uma melhora no algoritmo DPLL e, em princípio, sempre termina (diferentemente do processo de avaliação de consulta Prolog, que pode terminar em um laço infinito). Em um sentido mais geral, ASP inclui aplicações de conjunto de respostas para representação de conhecimento e o uso da avaliação de consultas no estilo Prolog para resolver problemas decorrentes das aplicações.