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

ПЛАН Типы представления знанийЛогическая модельСемантическая модельФреймовая модельПродукционная модель

Два типа представления знаний: логическиеэвристические

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

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

Эвристические модели бывают: СетевыеФреймовыеПродукционные

Логические модели Логические модели используют язык исчисления предикатов.

Логические модели Все логические выражения, используемые в логике предикатов, имеют значения истина или ложно.

Логические модели Первому предикату соответствует имя отношения, а термину аргументы- объекты.

При работе с логическими моделями необходимо соблюдать следующие правила: Порядок аргументов должен всегда задаваться в соответствии с интерпретацией предикатов принятой в данной предметной области. Программист принимает решение о фиксированном порядке аргументов и соблюдает его от начала до конца. Предикат может иметь произвольное число аргументов Отдельные высказывания, состоящие из предиката и связанных с ним аргументов, могут объединяться в сложные высказывания с помощью логических связок: И(END, ), ИЛИ (or, ), НЕ (not, ~), - импликация используемые для формулирования правил по форме: ЕСЛИ…, ТО…

Если Смит отчитывается перед Джоном, то Джон руководит Смитом. Отчитывается (Смит, Джон)руководит (Джон, Смит)

ЕСЛИ Смит написал программу И она не работает, ТО Смиту следует отладить программу вечером ИЛИ передать программисту на следующий день. Написал (Смит, программа) NOT работает (программа) отладить (Смит, программа, вечер) OR передать (программа, программист, следующий день)

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

Кванторы бывают двух типов: Квантор всеобщности Квантор существования

Все специалисты по ИТ являются программистами 1. (х) (специалист по ИТ (X)программист (X))

Некоторые специалисты по ИТ – хорошие программисты.

У каждого служащего есть руководитель

Существует некоторое лицо, которое руководит всеми.

СПАСИБО ЗА ВНИМАНИЕ!