知识工程环境

知识工程环境（KEE）是一个基于框架的专家系统开发工具。它由IntelliCorp开发和销售，并在1983年首次发布。它在Lisp机器上运行，后来被移植到带有CLX库的LucidCommonLisp，这是一个用于CommonLisp的XWindowSystem（X11）接口。这个版本可以在几个不同的UNIX工作站上使用。在KEE上，提供了几个扩展。Simkit，一个基于框架的模拟库KEEconnection，框架系统和关系数据库之间的数据库连接在KEE中，框架被称为单元。单元既用于单个实例也用于类。框架有槽，槽有面。例如，面可以描述一个槽的预期值、它的工作值或它的继承规则。槽可以有多个值。行为可以通过消息传递模型来实现。KEE提供了一个广泛的图形用户界面（GUI）来创建、浏览和操作框架。

KEE还包括一个基于框架的规则系统。在KEE的知识库中，规则就是框架。前向链式推理和后向链式推理都可以使用。KEE通过世界的概念支持非单调性的推理。世界允许提供框架的替代槽值。通过一个基于假设的真理或理由维护系统，可以检测和分析不一致的地方。ActiveImages允许将图形显示附加到单元的槽中。典型的例子是按钮、表盘、图表和直方图。图形也通过KEEPictures（一个基于框架的图形库）实现为单元。