6.10. Средство объяснений эо kappa
Использование данного средства позволяет поставить перед ЭО вопрос: «Почему слот имеет такое значение?» Такая возможность существует для любого однозначного слота. Этим средством можно воспользоваться одним из следующих способов:
в окне Session выбрать пункты Control, Explain и выделить интересующий слот;
проделать те же операции в окне Rule Trace;
воспользоваться функцией Explain интерпретатора языка KAL.
Окно объяснений (рис. 6.15) содержит текст объяснений и две кнопки: Quit (выход) и Explain (объяснить). Последняя позволяет запрашивать объяснение значения других слотов, а информация помещается в то же окно. Если значение слота изменено в результате работы правила, то указывается это правило и относящийся к нему комментарий.
Рис. 6.15. Средство объяснений
Контрольные вопросы
Перечислите известные Вам оболочки (среды) для создания ЭС.
Какими структурами представлены компоненты предметной области в ЭО KAPPA? Назовите их характеристики.
Определите способы активизации процессов модели знаний в ЭО KAPPA.
Определите назначение инструментов ЭО KAPPA.
Каким образом в окне иерархии вывода иллюстрируется механизм логического вывода?
Как используется окно сеанса при реализации интерфейса пользователя в ЭО KAPPA?
Как функционируют редакторы объектов и классов?
Перечислите элементы окна свойств слота.
Перечислите функции редакторов в инструментарии ЭО KAPPA.
Определите использование понятия метод в инструментарии ЭО KAPPA.
7. Стандартные функции эо kappa
В зависимости от назначения, основные функции ЭО KAPPA можно условно разделить на ряд групп, в соответствии с которыми они и будут рассмотрены. Специфика языка KAL и ЭО KAPPA не позволяет представить синтаксис функций в классической нормальной Бэкусовской форме. Чтобы не усложнять задачу, просто оговорим ряд правил их написания и вызова.
Список объектов представляет собой последовательность пар вида
<имя объекта> | <имя класса>,
разделенных пробелами и заключенных в квадратные скобки. В случае если список пуст, квадратные скобки все равно указываются.
Синтаксис списка аргументов и списка формальных параметров аналогичен синтаксису списка объектов. Список заключен в квадратные скобки, аргументы разделяются пробелами и не являются обязательными.
Пример.
[People | Lgotn People | Usual] – список объектов из двух элементов.
[1 2 78 56] – список аргументов.
[ ] – пустой список (объектов, аргументов и пр.).
При обычной записи аргумента на его месте необходимо указать требуемое значение параметра, либо значение NULL.
Если аргумент заключен в квадратные скобки следующим образом – [<имя класса>] – то он не является обязательным и его можно опустить.
Запись вида {<вариант_1> ¦ <вариант_2>} означает возможность равнозначного выбора одного из указанных вариантов.
7.1. Функции манипулирования знаниями
7.1.1. Функции работы с классами
Class? (<имя класса>); – определяет, существует ли класс с указанным именем.
DeleteClass (<имя класса>); – удаляет класс из текущей базы знаний.
GetClassComment (<имя класса>); – возвращает строку – комментарий к указанному классу.
MakeClass (<имя класса> [, <имя родительского класса>]); – создает новый класс в текущей базе знаний.
RenameClass (<имя класса>, <новое имя класса>); – переименовывает существующий класс.
SetClassComment (<имя класса>, <строка>); – добавляет строку – комментарий к указанному классу.
ToInstance (<имя класса>); – преобразует класс в объект с тем же именем.
WriteAllClasses (); – сохраняет содержание всех классов в предварительно открытом ASCII-файле.
WriteClass (<имя класса>); – сохраняет содержание класса в предварительно открытом ASCII-файле.