Инференциальное программирование
В большинстве случаев компьютерного программирования программист учитывает предполагаемые результаты программы и кропотливо создает программу для достижения этих результатов. Инференциальное программирование относится к (по большей части пока гипотетическим) методам и технологиям, позволяющим делать обратное. Это позволило бы описать предполагаемый результат компьютеру, используя такую метафору, как функция приспособленности , спецификация теста или логическая спецификация, а затем компьютер самостоятельно сконструировал бы программу, необходимую для удовлетворения заданных критериев.
В 1980-х годах подходы к программированию на основе выводов в основном включали методы логического вывода . Сегодня этот термин иногда используется в связи с методами эволюционных вычислений , которые позволяют компьютеру вырабатывать решение в ответ на проблему, представленную как функция приспособленности или вознаграждения.
В июле 2022 года был выпущен GitHub Copilot , являющийся примером программирования на основе логических выводов.
[ править ]
- Логическое программирование
- Программирование ограничений
- Искусственный интеллект
- Генетическое программирование
- Машинное обучение
- Искусственная жизнь
- Эволюция
- Metaprogramming