Knowledge Engineering Environment

Developer(s)| IntelliCorp

|

Initial release| 1983; 42 years ago (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

[edit]

* Expert system
* Frame language
* Inference engine
* IntelliCorp (software)
* Knowledge base
* Knowledge-based system
* Knowledge representation

## References

[edit]

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.

## External links

[edit]

* An Assessment of Tools for Building Large Knowledge-Based Systems

* v
* t
* e

Common Lisp

Implementations|

* Allegro CL
* Armed Bear Common Lisp (ABCL)
* CLISP
* Clozure CL
* CMU Common Lisp (CMUCL)
* Corman Common Lisp
* Embeddable Common Lisp (ECL)
* GNU Common Lisp (GCL)
* LispWorks
* Macintosh Common Lisp
* ManKai Common Lisp (MKCL)
* Mocl
* Poplog
* Scieneer CL
* Steel Bank Common Lisp (SBCL)
* Symbolics Common Lisp

Software|

| Libraries|

* Quicklisp Library Manager
* AllegroCache
* AllegroServe
* Another System Definition Facility (ASDF)
* Caveman2
* CLiki
* Common Lisp Interface Manager (CLIM)
* CLSQL
* CL-HTTP
* CLX
* Ironclad
* Weblocks

|

Applications|

* ACL2
* Common Lisp Music
* Common Music Notation
* ICAD
* FriCAS
* Mirai
* Maxima
* N-World
* OpenMusic
* StumpWM

Development
environments|

* Allegro CL
* Clozure CL
* Hemlock
* LispWorks
* SLIME

Publications|

* Common Lisp the Language
* Paradigms of AI Programming
* The Art of the Metaobject Protocol
* On Lisp
* Practical Common Lisp
* Object-Oriented Programming in Common Lisp

Design committee|

* X3J13
* Guy L. Steele Jr.

People|

* Scott Fahlman
* Richard P. Gabriel
* Philip Greenspun
* David A. Moon
* Kent Pitman
* Robin Popplestone
* Guy L. Steele Jr.
* Daniel Weinreb

Other|

* Common Lisp Object System (CLOS)
* Common Lisp HyperSpec
* Greenspun's tenth rule

* v
* t
* e

Lisp programming

Features|

* Automatic storage management
* Conditionals
* Dynamic typing
* Higher-order functions
* Linked lists
* Macros
* M-expressions (deprecated)
* Read–eval–print loop
* Recursion
* S-expressions
* Self-hosting compiler
* Tree data structures

Object systems|

* Common Lisp Object System (CLOS)
* CommonLoops
* Flavors

Implementations|

| Standardized|

| Common
Lisp|

* Allegro Common Lisp
* Armed Bear Common Lisp (ABCL)
* CLISP
* Clozure CL
* CMU Common Lisp (CMUCL)
* Corman Common Lisp
* Embeddable Common Lisp (ECL)
* GNU Common Lisp (GCL)
* LispWorks
* Macintosh Common Lisp
* Mocl
* Movitz
* Poplog
* Steel Bank Common Lisp (SBCL)
* Symbolics Common Lisp

|

Scheme|

* History
* Bigloo
* Chez Scheme
* Chicken
* Gambit
* Game Oriented Assembly Lisp (GOAL)
* GNU Guile
* Ikarus
* JScheme
* Kawa
* MIT/GNU Scheme
* MultiLisp
* Pico
* Pocket Scheme
* Racket (features)
* Scheme 48
* SCM
* SIOD
* T
* TinyScheme

ISLISP|

* OpenLisp

Unstandardized|

| Logo|

* MSWLogo
* NetLogo
* StarLogo
* UCBLogo

|

POP|

* COWSEL (POP-1)
* POP-2
* POP-11

* Arc
* AutoLISP
* BBN LISP
* Clojure
* Dylan (Apple, history)
* Emacs Lisp
* EuLisp
* Franz Lisp, PC-LISP
* Hy
* Interlisp
* Knowledge Engineering Environment
* *Lisp
* LeLisp
* LFE
* LISP 2
* Lisp Machine Lisp
* Lispkit Lisp
* Maclisp
* MDL
* MLisp
* newLISP
* NIL
* PC-LISP
* Picolisp
* Portable Standard Lisp
* RPL
* S-1 Lisp
* SKILL
* Spice Lisp
* Zetalisp

Operating system|

* List
* Common Lisp Interface Manager, McCLIM
* Genera
* Scsh

Hardware|

* Lisp machine
* TI Explorer
* Space-cadet keyboard

Community
of practice|

| Technical standards|

* Scheme Requests for Implementation
* Common Lisp HyperSpec
* X3J13

|

Education|

| Books|

* Common Lisp the Language
* How to Design Programs (HTDP)
* On Lisp
* Practical Common Lisp
* Structure and Interpretation of Computer Programs (SICP)

|

Curriculum|

* ProgramByDesign

Organizations|

| Business|

* Apple Computer
* Bolt, Beranek and Newman
* Harlequin
* Lucid Inc.
* Symbolics
* Xanalys

|

Education|

* Massachusetts Institute of Technology (MIT)
* MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
* Stanford Artificial Intelligence Laboratory
* University of California, Berkeley

People|

* Edmund Berkeley
* Daniel G. Bobrow
* William Clinger
* R. Kent Dybvig
* Matthias Felleisen
* Robert Bruce Findler
* Matthew Flatt
* Phyllis Fox
* Paul Graham
* Richard Greenblatt
* Timothy P. Hart
* Louis Hodes
* Mike Levin
* David Luckham
* John McCarthy
* Robert Tappan Morris
* Joel Moses
* David Park
* Steve Russell
* Richard Stallman

Common Lisp|

* Scott Fahlman
* Richard P. Gabriel
* Philip Greenspun (10th rule)
* David A. Moon
* Kent Pitman
* Guy L. Steele Jr.
* Daniel Weinreb

Scheme|

* Matthias Felleisen
* Shriram Krishnamurthi
* Guy L. Steele Jr.
* Gerald Jay Sussman
* Julie Sussman

Logo|

* Hal Abelson
* Denison Bollay
* Wally Feurzeig
* Brian Harvey
* Seymour Papert
* Mitchel Resnick
* Cynthia Solomon

POP|

* Rod Burstall
* Robin Popplestone

List Books Commons Category Category
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template