Синтаксис правил

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

< type > < name >

DISPLAY < display string >

[ HELP < help string > ]

[ PRIOR < probability value > ]

< function name > < function parameters >

[ CONTEXT < context information > ]

где

< type > одно из hypothesis, intermediate или data;

< name > идентификатор правила, может быть любым допустимым именем Пролога;

< display string > строка, заключенная в кавычки, которая во время консультации отражает следующее:

data -правило показывает эту строку, чтобы подсказать пользователю, что он должен ввести, чтобы это правило оценивалось;

hypothesis -правило высвечивает эту строку как заключение гипотезы, если гипотеза достигла установленного уровня определенности;

для правил вcех трех типов эта строка показывается при выборе пункта трассировки заключения;

< help string > если нажата клавиша Esc во время ввода данных с использованием data-правила, эта строка, заключенная в кавычки, показывает текст помощи, записанный в теле этого правила;

< probability value >

с помощью параметра PRIOR можно изменить ранее указанное соответствие между вероятностью и определенностью, чтобы показать, что это правило в оценке гипотезы предпочтительнее другого. Здесь указывается значение вероятности. Если этот параметр не указан, данное правило равновероятно может быть истинным или ложным и, следовательно, имеет значение вероятности, равное 0,5;

< function name > < function parameters >

задает функции экспертной системы и ее параметры, функции детально рассмотрены далее;

< context information >

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

Функции

В PEXPERT имеется одиннадцать функций. Три из них: BAYES, AND и OR комбинируют вероятности из одного или нескольких источников и возвращают новую вероятность.

BAYES

Параметры для BAYES должны быть заданы списком пар:

rulename1 inc i1 dec d1

rulename2 inc i2 dec d2

rulename3 inc i3 dec d3

Каждое значение inc должно быть по крайней мере 1 и каждое dec должно быть не больше 1. BAYES используется при обращении вероятностей в определенности, с которыми программа работает дальше.