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