Модели представления знаний

Логические модели

Система знаний представляется совокупностью формул логики предикатов. Эта логика оперирует простыми высказываниями, разделенными на субъект (нечто, лежащее в основе) и предикат (нечто, утверждаемое об объекте). Предикат отображает наличие или отсутствие у субъекта того или иного признака.

Логические модели обеспечивают развитый аппарат вывода новых фактов на основе уже представленных в базе знаний.

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

Продукционные модели.

Психологические исследования процессов принятия решений показали, что, принимая решение, человек использует продукционные правила. В левой части правила продукции находится некоторое условие, в правой части правила – действие. Если условие истинно, действие выполняется.

База знаний в этом случае состоит из набора правил. Механизм вывода – программа, управляющая перебором правил, он связывает знания воедино, а затем выводит из последовательности знаний заключение. Недостатки проявляются, когда число правил становится большим, и возникают побочные эффекты от изменения старого и добавления нового правила.

Семантические сети

Это модель формализации знаний в виде ориентированного графа с размеченными вершинами и дугами. Вершины – объекты, понятия, ситуации, дуги – отношения между ними.

Характерной особенностью семантических сетей является обязательное наличие трех типов отношений:

- класс – элемент класса;

- свойство – значение;

- пример элемента класса.

Недостатки:

- не дают ясного представления о структуре предметной области;

- для их обработки необходим специальный аппарат формального вывода.