Initial release1983; 41 years ago (1983)
Written inCommon Lisp
PlatformSymbolics Lisp Machine, TI Explorer Lisp Machine, HP 9000 Series 700 and 800 workstations, the Sun SPARCstation and IBM RS6000 workstation
Available inEnglish
TypeExpert system development tool

Knowledge Engineering Environment (KEE) is a frame-based development tool for expert systems.[1] It was developed and sold by IntelliCorp, and was first released in 1983. It ran on Lisp machines, and was later ported to Lucid Common Lisp with the CLX library, an X Window System (X11) interface for Common Lisp. This version was available on several different UNIX workstations.

On KEE, several extensions were offered:

In KEE, frames are called units. Units are used for both individual instances and classes. Frames have slots and slots have facets. Facets can describe, for example, a slot's expected values, its working value, or its inheritance rule. Slots can have multiple values. Behavior can be implemented using a message passing model.

KEE provides an extensive graphical user interface (GUI) to create, browse, and manipulate frames.

KEE also includes a frame-based rule system. In the KEE knowledge base, rules are frames. Both forward chaining and backward chaining inference are available.

KEE supports non-monotonic reasoning through the concepts of worlds. Worlds allow providing alternative slot-values of frames. Through an assumption-based truth or reason maintenance system, inconsistencies can be detected and analyzed.[5]

ActiveImages allows graphical displays to be attached to slots of Units. Typical examples are buttons, dials, graphs, and histograms. The graphics are also implemented as Units via KEEPictures, a frame-based graphics library.

See also


  1. ^ An evaluation of expert system development tools. Ablex Publishing Corp. 1989. ISBN 9780893914943.
  2. ^ Stelzner, M.; Dynis, J.; Cummins, F. (1989). "The SimKit system: knowledge-based simulation and modeling tools in KEE". Proceedings of the 21st conference on Winter simulation - WSC '89. pp. 232–234. doi:10.1145/76738.76766. ISBN 0911801588. S2CID 18125370.
  3. ^ SimKit: a model-building simulation toolkit. Ablex Publishing Corp. 1989. ISBN 9780893914943.
  4. ^ KEEConnection: a bridge between databases and knowledge bases. Ablex Publishing Corp. 1989. ISBN 9780893914943.
  5. ^ Reasoning with worlds and truth maintenance. Ablex Publishing Corp. 1989. ISBN 9780893914943.