Project Title:

Compiling Knowledge-Based Systems Specified in KEE to Ada

05.05-5500
Compiling Knowledge-Based Systems Specified in KEE to Ada
IntelliCorp Inc.
1975 El Camino Real West
Mountain View
CA
94040
Robert E.
Filman
(415-965-5500)
MSFC

Abstract:

Artificial intelligence techniques have become important for the solution of some
of the most difficult programming tasks. The dominant approach for developing such
applications is to work in a multi-mechanism, integrated, knowledge-based system,
development environment, such as KEE or ART. Unfortunately, systems developed in
environments such as these are inappropriate for regular use in many applications,
particularly those germane to space systems. They are not real-time, they carry the
baggage of the entire Lisp environment, and they are not written in Ada. This project
will perform innovative work on compiling dynamic, symbolic structures to conventional
environments and on creating the appropriate interfaces and environments to aid in
the translation and maintenance of Lisp-defined and Ada-executed systems.

Potential Commercial Application:

Potential Commercial Applications:  Expert system applications  developed in KEE
and delivered in conventional environments such as Ada could satisfy strong commercial
and governmental demands.