Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 38 стр.

"МУУУУМ‖ равнозначна теореме "МММ". Пример использования правил вывода формальной
системы представлен ниже.
      1. Имеем аксиому "МЯ".
      2. На основании применения правила 2 получим "МЯЯ".
      3. На основании применения правила 2 падучим "МЯЯЯЯ".
      4. На основании применения правила 1 получим "МЯЯЯЯУ".
      5. На основания применения правила 3 получил "МЯУУ".
      6. На основании применения правила 4 получим "МЯ".
      К типичным моделям представления знаний относятся: логическая модель; модель,
основанная на использовании правил (продукционная модель); модель, основанная на
использовании фреймов; модель семантической сети. Логическая модель используется для
знаний в системе логических предикатов первого порядка и выведения заключений с помощью
силлогизма (разделы     2 и 4). Знания в логике предикатов являются фактами, описываемыми
логическими формулами. Для представления определенной предметной области в виде логи-
ческих формул, прежде всего, необходимо выбрать константы, которые определяют объекты
данной   области,   а   также   функциональные     и   предикатные   символы,   определяющие
соответственно функциональную зависимость, а отношения между объектами. Далее, используя
константы, функциональные и предикатные символы, строятся логические формулы,
описывающие данную предметную область. Приведенные ниже примеры являются логическими
моделями представления фактов с помощью предикатов а носят название атомарной формулы.
      ЛЮБОВЬ (Иван, Марья): Иван любит Марью;
      СТОЛИЦА (Москва): Москва - столица.
      Следующие примеры являются правильно построенными логическими формулам,
включающими кванторы существования и всеобщности.

(Ǝx) [ ДЕЛЬФИН (x) v УМНЫЙ (x)] ; некий дельфин наделен умственными способностями;

( x) [ СЛОН (x)     ЦВЕТ (x, серый)] ; все слоны имеют серую окраску.
Рассмотрим пример вывода в логике предикатов на основе метода резолюции. Положим, задано
следующее описание.
"Полиция разыскивает всех въехавших в страну, за исключением дипломатов. Шпион въехал в
страну, однако распознать личность шпиона может только шпион. Шпион не является дипло-




                                              38