2. Представление фактов

В оболочке факт представляется в виде

<объект>=<значение> КД=<коэффициент доверия>.

Коэффициент доверия выражает относительную уверенность в факте и представляется целым числом от 0 до 100. КД = 100 означает абсолютную уверенность в факте.

Если коэффициент доверия опущен и факт представлен парой <объект> = <значение>, то по умолчанию принимается КД = 100.

Примеры фактов:

потребление_соли = норма,

миокард=ишемичен КД = 75.

3. Многозначные объекты

Многозначным называется объект, который может иметь одновременно несколько абсолютно достоверных значений, например, болезни_перенесенные_пациентом = гепатит, скарлатина.

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

4. Разрешенные значения

С каждым объектом, кроме списка значений связан еще один список – список разрешенных значений объекта. Объект может принимать только те значения, которые перечислены в этом списке. Например, для объекта “курение” список разрешенных значений: да, нет.

Поскольку в условиях правил оболочки Expert нельзя использовать выражения вида <объект> больше <значение> или

<объект> меньше <значение>, а допускаются только выражения вида <объект> = <значение>, то при использовании числовых значений объектов список возможных значений следует представить в виде нескольких интервалов, например, для объекта “возраст” список разрешенных значений: менее_25, 25-55, более_55.

5. Вопросы

С каждым объектом, значение которого нужно получить от пользователя, связывается вопрос. Этот вопрос ЭС задает пользователю в процессе консультации. Вместе с текстом вопроса на экран выдается меню, сформированное из списка разрешенных значений и пользователю предлагается выбрать одно из них в качестве ответа на вопрос. Если для какого-либо объекта текст вопроса не задан, то он будет формироваться автоматически в виде “Каково значение ‘< объект>‘ ?”

6. Правила

Правила в оболочке Expert представляются в виде

Правило <номер>: ЕСЛИ <посылка>

ТО <заключение>.

Посылка может состоять из нескольких пар

<объект>=<значение>, связанных операцией “И”. С заключением может быть связан коэффициент доверия, т.е. заключение представляется в виде

<объект>=<значение> КД=<коэффициент доверия>.

7. Выполнение логических выводов в оболочке Expert

В оболочке Expert используются обратные выводы. Цель задается пользователем в виде имени объекта. ЭС, используя имеющиеся в БЗ правила, пытается получить значение указанного объекта-цели. Вывод начинается с поиска правила, которое содержит объект-цель в своей правой части (заключение правила). Поскольку заключение правила представлено в виде <объект> = <значение> КД = <коэффициент доверия>, то выбор правила, содержащего объект-цель в заключении этого правила, по существу является выдвижением гипотезы о значении объекта-цели. Количество возможных гипотез определяется количеством имеющихся в БЗ правил, которые содержат в правой части объект-цель.

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