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