Тип слота
Тип слота может принадлежать к одному из трех типов: символьный, численный, лингвистический. Описание типа слота определяет тип возможных значений слота. Обязательным является описание типов слотов численного (описывается зарезервированным словом "численный") и лингвистического (описывается зарезервированным словом "лп"). Слот без описания типа понимается как символьный по умолчанию.
Вопрос слота
Вопрос слота - любая последовательность символов. Вопрос слота не является обязательным. В таком случае, в процессе логического вывода, при возникновении необходимости задать вопрос пользователю, касающийся определения значения данного слота, пользователю будет предложена формулировка: "Выберите значение" или "Введите значение".
Значение слота
Значение слота - любая последовательность символов. Значения слота разделяются точками с запятыми. Список значений слота не обязателен, он может отсутствовать, в таком случае пустые круглые скобки необязательны. Во фрейме-экземпляре у каждого слота может быть только единственное значение, во фреймах-классах и фреймах-шаблонах число значений слотов не ограничено.
С помощью специальных слотов parent и owner фреймы могут объединяться в деревья. Кроме того, между фреймами могут существовать и произвольные связи через обычные слоты (значением слота в этом случае является имя другого фрейма).
Примеры фреймов:
FRAME = Цель
Метод представления знаний: ()
ENDF
FRAME = Тип
Решаемые задачи: (диагностика; проектирование)
ENDF
FRAME = Область
Применение [Какова область применения?]: (медицина; вычислительная техника)
ENDF
FRAME = Количество
Число правил в базе знаний (численный): ()
Число объектов в базе знаний (численный): ()
ENDF
FRAME = Действие
Сообщение: ()
ENDF
Правила-продукции (Правила)
Правила используются в базе знаний для описания отношений между объектами, событиями, ситуациями и прочими понятиями. На основе отношений, задаваемых в правилах, выполняется логический вывод. В условиях и заключениях правил присутствуют ссылки на фреймы и их слоты. Формат внешнего представления правил (в текстовом файле) выглядит следующим образом:
RULE <номер правила>
<условие 1>
<условие 2>
.
.
.
<условие m>
DO
<заключение 1>
<заключение 2>
.
.
.
<заключение n>
ENDR