Jump to content

Knowledge Engineering Environment

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jerryobject (talk | contribs) at 09:19, 14 December 2018 (Template:Infobox software add, parameters fill. WP:LINKs: adds, updates, fix WP:NOPIPE. WP:LEADSENTENCE MOS:BOLDSYNonym WP:ABBReviation MOS:BOLD. 1st instance full term define before WP:ABBReviation. Sentence nonlead-word nonproper noun MOS:CAPS > sentence case. WP:REFerences: simples > WP:CITation Template:Cite webs, parameters: add, fill > line end. WP:NAVBOX adds: Template:Common Lisp, Template:Lisp programming language.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Developer(s)IntelliCorp
Initial release1983; 42 years ago (1983)
Written inCommon Lisp
PlatformLisp machines
Available inEnglish
TypeExpert system development tool
LicenseProprietary

Knowledge Engineering Environment (KEE) is a frame-based development tool for expert systems.[1] It was developed and sold by IntelliCorp, and 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 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

References

  1. ^ "An evaluation of expert system development tools".
  2. ^ "The SimKit system: knowledge-based simulation and modeling tools in KEE".
  3. ^ "SimKit: a model-building simulation toolkit".
  4. ^ "KEEConnection: a bridge between databases and knowledge bases".
  5. ^ "Reasoning with worlds and truth maintenance".