Логическая модель знаний

Основная идея при построении логических моделей знаний заключается в следующем — вся информация, необходимая для решения прикладных задач, рассматривается как совокупность фактов и утверждений, которые представляются как формулы в некоторой логике. Знания отображаются совокупностью таких формул, а получение новых знаний сводится к реализации процедур логического вывода. В основе логических моделей знаний лежит понятие формальной теории.

Основные достоинства логической модели знаний:

• 1) в качестве «фундамента» здесь используется классический аппарат математической логики, методы которой достаточно хорошо изучены и формально обоснованы;
• 2) существуют достаточно эффективные процедуры вывода;
• 3) в базах знаний можно хранить лишь множество утверждений, а все остальные знания получать из них по правилам вывода.

В логических моделях знаний слова, описывающие сущности предметной области, называются термами (константы, переменные, функции), а слова, описывающие отношения сущностей — предикатами.

Модель предметной области можно определить упрощенно в виде:

= + .

Предикат — логическая n-арная пропозициональная функция, определенная для предметной области и принимающая значения либо истинности, либо ложности. Предикат принимает значения «истина» или «ложь» в зависимости от значений входящих в него термов.

Способ описания предметной области, используемый в логических моделях знаний, приводит к потере некоторых нюансов, свойственных естественному восприятию человека, и поэтому снижает возможность таких моделей.