Developer(s) | IntelliCorp |
---|---|
Initial release | 1983 |
Written in | Common Lisp |
Platform | Symbolics Lisp Machine, TI Explorer Lisp Machine, HP 9000 Series 700 and 800 workstations, the Sun SPARCstation and IBM RS6000 workstation |
Available in | English |
Type | Expert system development tool |
License | Proprietary |
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:
- Simkit, a frame-based simulation library[2][3]
- KEEconnection, database connection between the frame system and relational databases[4]
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
References
- ↑ An evaluation of expert system development tools. Ablex Publishing Corp. 1989. ISBN 9780893914943.
- ↑ 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.
- ↑ SimKit: a model-building simulation toolkit. Ablex Publishing Corp. 1989. ISBN 9780893914943.
- ↑ KEEConnection: a bridge between databases and knowledge bases. Ablex Publishing Corp. 1989. ISBN 9780893914943.
- ↑ Reasoning with worlds and truth maintenance. Ablex Publishing Corp. 1989. ISBN 9780893914943.