Реферат: Представление знаний предметной области ЭС

ЭС, базирующиеся на продукциях, состоят из трех компонентов :

1. БЗ, которая содержит правила продукций;

2. БД, которая отображает текущее состояние задачи;

3. Управляющей структуры – механизм вывода (интерпретатор правил), решающая, какое из правил продукции следует применить следующим.

Механизм вывода выполняет две функции:

· во-первых – просмотр существующих фактов из рабочей памяти и правил из БЗ и добавление в рабочую память новых фактов;

· во-вторых – определение порядка просмотра и применения правил.

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

4. Представление знаний при помощи логики предикатов

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

истина или ложь.

Например, у нас есть высказывания: «цена высокая», «цена низкая», «в отделе работает 15 человек». Из них можно получить:

Цена высокая или низкая.

Цена высокая и в отделе работает 15 человек.

Если Цена не высокая, то Цена низкая.

И наоборот, любое высказывание может быть разделено на несколько высказываний при помощи выделенных слов-связок.

Элементарные высказывания можно рассматривать как переменные, принимающие значения истина или ложь.

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

ù – «не», Ú – «или», Ù – «и», É – «если».

Например, есть высказывание «Сидоров – бухгалтер».

Разобьем данное предложение на части – Сидоров (субъект), бухгалтер (свойства субъекта):

бухгалтер (Сидоров).

Или «Василий – начальник Петра»: тут два субъекта, и отношение между ними «.... – начальник .....», получаем:

начальник (Василий, Петр).

Вместо имен можно подставить переменные х, у, z, тогда:

бухгалтер (х),

начальник (у, z).

Рассмотрим предложение: У каждого бухгалтера есть начальник. Для формального представления этого предложения необходимо использовать конструкции вида:

«существует такой х, что ...», «для любого х ....».