1.2.3. База знаний как элемент экспертной системы

База знаний содержит факты и правила. Факты– это фразы без условий, они содержат утверждения, которые всегда абсолютно верны.Правиласодержат утверждения, истинность которых зависит от некоторых условий, образующих тело правила.

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

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

Чем такой подход отличается от обычной методики использования БД?

Основное различие состоит в том, что БЗ обладает большими «творческими» возможностями.

Факты в БД обычно пассивны: они там либо там есть, либо их нет.

БЗ, с другой стороны, активно пытается пополнить недостающую информацию.

1.2.4. Необходимые условия представления знаний

Одной из основных проблем, характерных для СОЗ, является проблема представления знаний. Это объясняется тем, что форма представления знаний оказывает существенное влияние на характеристики и свойства системы.

Представление знаний изображено на рис. 2.2.

Для возможности оперирования знаниями из реального мира с помощью ПК, необходимо осуществить их моделирование (по аналогии с построением концептуальных и логических моделей БД). При этом необходимо отличать знания, предназначенные для обработки компьютером от знаний, используемых человеком.

При проектировании модели представления знаний следует учитывать такие факторы, как:

однородность представления и
простота понимания

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

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

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

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

Иллюстрацией логической модели является приведенный выше пример.

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

Факты представляются как формулы в некоторой логике (первого или высшего порядка, многозначной, нечеткой или др.) Система знаний отображается совокупностью таких формул и, представленная в ЭВМ, она образует БЗ.

Формулы неделимы и при модификации БЗ могут лишь добавляться или удаляться.

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

Основным примитивом манипуляции знаниями является операция вывода.