Çıkarımsal programlama - Inferential programming
Sıradan bilgisayar programlamasında, programcı programın amaçlanan sonuçlarını aklında tutar ve bu sonuçları elde etmek için özenle bir bilgisayar programı oluşturur. Çıkarımsal programlama , tersini mümkün kılan (hala çoğunlukla varsayımsal) teknikleri ve teknolojileri ifade eder. Çıkarımsal programlama, programcının amaçlanan sonucu bir uygunluk fonksiyonu , bir test belirtimi veya bir mantıksal belirtim gibi bir metafor kullanarak bilgisayara tanımlamasına izin verecek ve ardından bilgisayar sağlanan kriterleri karşılamak için kendi programını oluşturacaktır.
1980'lerde, çıkarımsal programlamaya ulaşma yaklaşımları çoğunlukla mantıksal çıkarım teknikleri etrafında dönüyordu . Bugün bu terim bazen , uygunluk veya ödül işlevi olarak ortaya konan bir soruna yanıt olarak bilgisayarın bir çözüm geliştirmesini sağlayan evrimsel hesaplama teknikleriyle bağlantılı olarak kullanılmaktadır .
- PROLOG
- Kısıt programlama
- Yapay zeka
- genetik programlama
- Makine öğrenme
- Yapay yaşam
- Evrim
- Metaprogramlama
- mantık programlama
