Programação inferencial - Inferential programming
Na programação de computador comum, o programador mantém os resultados pretendidos do programa em mente e constrói meticulosamente um programa de computador para atingir esses resultados. A programação inferencial se refere a técnicas e tecnologias (ainda principalmente hipotéticas) que permitem o inverso. A programação inferencial permitiria ao programador descrever o resultado pretendido para o computador usando uma metáfora como uma função de adequação , uma especificação de teste ou uma especificação lógica e então o computador construiria seu próprio programa para atender aos critérios fornecidos.
Durante a década de 1980, as abordagens para obter programação inferencial giravam principalmente em torno de técnicas de inferência lógica . Hoje, o termo é algumas vezes usado em conexão com técnicas de computação evolucionária que permitem ao computador desenvolver uma solução em resposta a um problema apresentado como uma função de aptidão ou recompensa.
- PROLOG
- Programação de restrição
- Inteligência artificial
- Programação genética
- Aprendizado de máquina
- Vida artificial
- Evolução
- Metaprogramação
- Programação lógica
