Knowledge Engineering Environment
Knowledge Engineering Environment (KEE) — инструмент разработки экспертных систем на основе фреймового языка. Разрабатывался и продавался компанией IntelliCorp, первый выпуск состоялся в 1983 году. Изначально система работала на лисп-машинах, позднее была портирована на Lucid Common Lisp c использованием библиотеки CLX — интерфейса к X Window System (X11) для Common Lisp. Эта версия поддерживала различные рабочие станции под UNIX.
Что важно знать
| Knowledge Engineering Environment | |
|---|---|
| Тип | инструмент разработки экспертных систем |
| Разработчик | IntelliCorp |
| Написана на | Common Lisp |
| Языки интерфейса | английский |
| Первый выпуск | 1983 |
| Аппаратные платформы | Symbolics Lisp Machine, TI Explorer Lisp Machine, HP 9000 серий 700 и 800, Sun SPARCstation, IBM RS6000 |
| Состояние | не поддерживается |
| Лицензия | проприетарная |
Описание
Для KEE предлагались различные расширения:
- Simkit — библиотека фреймовой имитационного моделирования[1][2]
- KEEconnection — интерфейс работы с базами данных между фреймовой системой и реляционными БД[3].
В KEE объекты-фреймы называются unit. Они используются как для отдельных экземпляров, так и для классов. Фреймы содержат slots (слоты), а слоты — facets (фасеты). Фасеты определяют, например, допустимые значения слота, актуальное значение или правила наследования. Слоты могут содержать несколько значений. Логика поведения реализуется через механизм обмена сообщениями.
KEE предоставляет развитый графический интерфейс пользователя для создания, просмотра и редактирования фреймов.
KEE включает также фреймовую систему продукционных правил. В базе знаний KEE правила реализованы как фреймы. Поддерживается как прямой вывод, так и обратный вывод.
KEE поддерживает немонотонное рассуждение с помощью механизма worlds («миры»), предоставляющих альтернативные значения слотов фреймов. Благодаря системе поддержки истинностных допущений, возможно обнаружение и анализ противоречий[4].
ActiveImages позволяет связывать графические элементы со слотами фреймов-единиц (units) — это могут быть кнопки, шкалы, графики, гистограммы и др. Графические компоненты реализуются как отдельные «единицы» через библиотеку KEEPictures — фреймовую графическую библиотеку.


