Каждое правило базы данных может иметь следующую структуру, в которой строки, забранные в квадратные скобки, являются необязательными:
< 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 используется при обращении вероятностей в определенности, с которыми программа работает дальше.
