Programowanie inferencyjne - Inferential programming
W zwykłym programowaniu komputerowym programista pamięta o zamierzonych wynikach programu i skrupulatnie konstruuje program komputerowy, aby osiągnąć te wyniki. Programowanie inferencyjne odnosi się do (nadal w większości hipotetycznych) technik i technologii umożliwiających działanie odwrotne. Programowanie wnioskowania umożliwiłoby programiście opisanie zamierzonego wyniku komputerowi za pomocą metafory, takiej jak funkcja dopasowania , specyfikacja testu lub specyfikacja logiczna, a następnie komputer skonstruowałby własny program, aby spełnić podane kryteria.
W latach 80. podejścia do programowania inferencyjnego koncentrowały się głównie wokół technik wnioskowania logicznego . Obecnie termin ten jest czasami używany w połączeniu z ewolucyjnymi technikami obliczeniowymi , które umożliwiają komputerowi ewolucję rozwiązania w odpowiedzi na problem stanowiący funkcję sprawności lub nagrody.
- PROLOG
- Programowanie ograniczeń
- Sztuczna inteligencja
- Programowanie genetyczne
- Nauczanie maszynowe
- Sztuczne życie
- Ewolucja
- Metaprogramowanie
- Programowanie logiczne