O tipo de problemas com "presença na festa" pode ser solucionado no Prolog? Por exemplo: Burdock Muldoon e Carlotta Pinkstone disseram que viriam se Albus Dumbledore viesse. Albus Dumbledore e Daisy Dodderidge disseram que viriam se Carlotta Pinkstone viesse. Albus Dumbledore, Burdock Muldoon e...
Se eu tiver um problema difícil, uma abordagem padrão é expressá-la como uma instância SAT e tentar executar um solucionador SAT nela. Outra abordagem padrão é expressá-lo como um problema de satisfação de restrições e tentar usar um solucionador de CSP. Os dois se sentem de alguma forma vagamente...
Considere um modelo de CSP em que a alteração do valor de uma variável específica seja cara. Existe algum trabalho em que a função objetivo também considere o número de alterações no valor da variável durante o processo de busca? Um exemplo: a variável dispendiosa para alterar pode estar no...
Nos é dado um conjunto F={f1,f2,f3,…,fN}F={f1,f2,f3,…,fN}F=\{f_1, f_2, f_3, …, f_N\} do NNNFrutas. Cada fruta tem preço e conteúdo vitamínico ; associamos a fruta ao par ordenado . Agora temos que organizar essas frutas de forma que a lista classificada contenha preços em ordem crescente e conteúdo...
Não se acredita que a satisfação geral (com algumas exceções, como Cláusulas de Horn), tenha uma solução algorítmica. No entanto, o algoritmo a seguir parece ser uma solução para satisfação geral. Qual é exatamente a falha com o seguinte algoritmo? Deixei WWW seja um conjunto vazio que conterá...