Читать онлайн «Дедукция и обобщение в системах принятия решений»

ПРОБЛЕМЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА В. Н. ВАГИН ДЕДУКЦИЯ И ОБОБЩЕНИЕ В СИСТЕМАХ ПРИНЯТИЯ РЕШЕНИЙ ш МОСКВА «НАУКА» ГЛАВНАЯ РЕДАКЦИЯ ФИЗИКО-МАТЕМАТИЧЕСКОЙ ЛИТЕРАТУРЫ 1988 ББК 32:813 В12 УДК 519. 816 Ваги н В. Н. Дедукция и обобщение в системах принятия решений. — М. : Наука. Гл. ред. физ. -мат. лит. 1988. —384 с—(Пробл. искусств, интеллекта). ISBN 5-02-013887-8 Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисления высказываний и исчисления предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции п его модификаций излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и iio структурам и их реализация в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации. Для специалистов в области искусственного интеллекта, систем управления и принятия решений. Табл. 12. Ил. 164. Библногр. 146 назв. Рецензент доктор технических наук Д. А. Поспелов 1504000000—130 053(02)-88 159-88 '© Издательство «Наука». Главная редакция физико-математической литературы, 198S ISBN 5-02-013887-8 ПРЕДИСЛОВИЕ Идея написания книги возникла после многочисленных обсуждений полученных научных результатов как на различных конференциях и семинарах по ситуационному управлению и проблемам искусственного интеллекта (ИИ), так и в разного рода беседах с Д. А. Поспеловым, чья помощь и постоянное внимание к автору сыграли решающую роль в ее появлении. Трудно найти другую область науки, где каждый год появлялось бы столько новых работ, как область ИИ. Это делает труд по написанию книги по любой проблеме в этой области чрезвычайно сложным, в частпости, из-за того, что в области интеллектуальных систем работают специалисты самого разного профиля. Автор все- таки надеется, что излагаемый в книге материал привлечет внимание не только довольно узкого круга специалистов по логическим системам, используемым в ИИ, но и многочисленных специалистов, связанных с разработкой систем управления сложными технологи-1 ческими объектами, систем распознавания, систем автоматизации научных исследований и проектирования. Для того чтобы читатель мог получить цельное представление о проблеме, в книге наряду с оригинальными работами автора и его научной группы изложен ряд общих результатов из математической логики, а также приведены результаты других советских и зарубежных авторов. Чтобы не затруднять чтение книги, в тексте нет библиографических ссылок. Вся использованная литература дана п конце книги, где дан также краткий обзор работ, на которые ссылается автор и которые помогут читателю углубить свои знания о проблемах, обсуждаемых в книге.