18202

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Книга (брошюра, монография, стандарт)

Название: 

Синтез общих алгоритмов по демонстрациям частных примеров (Автоматная модель обобщения по примерам)

Сведения об издании: 

Препринт / Институт проблем управления РАН

Город: 

  • Москва

Издательство: 

  • Институт проблем управления

Год издания: 

2005

Объём, стр.: 

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

Библиографическая ссылка: 

Затуливетер Ю.С. Синтез общих алгоритмов по демонстрациям частных примеров (Автоматная модель обобщения по примерам). Препринт / Институт проблем управления РАН. М.: Институт проблем управления, 2005. – 72 с.