Исследуются основы и методы индуктивного программирования, обеспечивающего создание программ посредством демонстрации частных примеров.
В обзорной главе анализируются существующие подходы индуктивного вывода (обучения по примерам) и показана нарастающая тенденция их развития. Обосновывается вывод о необходимости нового подхода к созданию программ,
обеспечивающего соединение достоинств индуктивного и дедуктивного (классического) программирования.
В качестве прототипа, сочетающего индуктивное и дедуктивное программирование, предлагается автоматная модель и процедура синтеза алгоритмов, которая реализует индуктивное обобщение обучающей выборки частных примеров в базисе “дедуктивно” заданных свойств и функций.
Работа может быть интересной разработчикам перспективных технологий программирования, в частности - средств наращивания компьютерного интеллекта в средах с высокой информационной активностью пользователей.
