Inferenzprogrammierung - Inferential programming
Bei der gewöhnlichen Computerprogrammierung behält der Programmierer die beabsichtigten Ergebnisse des Programms im Auge und konstruiert sorgfältig ein Computerprogramm, um diese Ergebnisse zu erzielen. Inferenzprogrammierung bezieht sich auf (noch meist hypothetische) Techniken und Technologien, die das Inverse ermöglichen. Inferenzprogrammierung würde es dem Programmierer ermöglichen, dem Computer das beabsichtigte Ergebnis unter Verwendung einer Metapher wie einer Fitnessfunktion , einer Testspezifikation oder einer logischen Spezifikation zu beschreiben, und dann würde der Computer sein eigenes Programm erstellen, um die gelieferten Kriterien zu erfüllen.
In den 1980er Jahren drehten sich Ansätze zur Inferenzprogrammierung hauptsächlich um Techniken für logische Inferenz . Heute wird der Begriff manchmal in Verbindung mit evolutionären Berechnungstechniken verwendet, die es dem Computer ermöglichen, eine Lösung als Reaktion auf ein als Fitness- oder Belohnungsfunktion gestelltes Problem zu entwickeln.
- PROLOG
- Constraint-Programmierung
- Künstliche Intelligenz
- Genetische Programmierung
- Maschinelles Lernen
- Künstliches Leben
- Evolution
- Metaprogrammierung
- Logikprogrammierung
