Programación inferencial - Inferential programming
En la programación de computadoras ordinaria, el programador tiene en mente los resultados previstos del programa y construye minuciosamente un programa de computadora para lograr esos resultados. La programación inferencial se refiere a técnicas y tecnologías (todavía en su mayoría hipotéticas) que permiten lo inverso. La programación inferencial permitiría al programador describir el resultado deseado a la computadora usando una metáfora como una función de aptitud , una especificación de prueba o una especificación lógica y luego la computadora construiría su propio programa para cumplir con los criterios proporcionados.
Durante la década de 1980, los enfoques para lograr la programación inferencial giraban principalmente en torno a técnicas de inferencia lógica . Hoy en día, el término se usa a veces en relación con las técnicas de computación evolutiva que permiten que la computadora desarrolle una solución en respuesta a un problema planteado como una función de aptitud o recompensa.
- PRÓLOGO
- Programación de restricciones
- Inteligencia artificial
- Programación genética
- Aprendizaje automático
- Vida artificial
- Evolución
- Metaprogramación
- Programación lógica