Compiling knowledge-based programs

Critiquing systems, a special kind of knowledge-based systems, can be seen as a personal assistant helping to reflect on a particular design and to improve it. They have successfully demonstrated their capability to aid users during design tasks. ...

The authors propose a model for an intelligent assistant to aid in building knowledge-based systems (KBSs) and discuss a preliminary implementation. The assistant participates in KBS construction, including acquisition of an initial model of a problem ...

This paper is essentially concerned with the development of formal representations of knowledge required prior to the development of knowledge-based engineering systems (KBESs). Initially, the paper provides a brief introduction to knowledge-based ...