65895

Автор(ы): 

Автор(ов): 

2

Обложка: 

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

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

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

Название: 

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

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

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

1-ое издание

ISBN/ISSN: 

-

Город: 

  • Москва

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

  • ИПУ РАН

Год издания: 

1997

Объём, стр.: 

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

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

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