ЛОГИЧЕСКИЕ МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

В этой главе рассматриваются модели знаний, основанные на аппарате математической логики и их применение для решения ряда задач. К ним прежде всего относится автоматизированный логический вывод и построение экспертных систем. Одновременно рассматривается и структура этих систем.
Основное внимание уделяется классическим логикам – логике высказываний (ЛВ) и логике предикатов первого порядка (ЛППП), но дается и краткий обзор неклассических логик, в частности логик высших порядков, модальных и многозначных логик.

Материал главы излагается с расчётом на то, что студенты имеют представление об основах теории множеств, математической логики, программирования на языке высокого уровня, теории алгоритмов и теории графов. Приводимые алгоритмы описываются на обобщенном паскале.