Вагин В.Н. Дедукция и обобщение в системах принятия решений

М.: Наука, Главная редакация физико-математической литературы, 1988. — 384 с. — (Проблемы искусственного интеллекта).Рассматриваются методы дедуктивного вывода и обобщения в системах принятия решений. Дается описание двух классов формальных систем: исчисление высказываний и исчисление предикатов первого порядка. Рассматриваются декларативные, процедурные и специальные модели представления знаний; особое внимание уделяется семантическим сетям. Приводятся дедуктивные методы вывода, где наряду с классическими типа принципа резолюции и его модификаций излагаются методы дедуктивного вывода на семантических сетях; дается применение методов дедукции в системах управления сложными объектами. Рассматриваются методы обобщения понятий по признакам и структурам и их реализации в системах управления. Излагаются методы обобщения с использованием нечетких переменных и иерархические методы кластеризации.