Graphical and formal knowledge specification with KARL

The paper discusses an approach which allows the specification of a knowledge-based system (KBS) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a KBS at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARL-specification can be used as a means for communication between expert and knowledge engineer as well as an intermediate representation, closing the conceptual gap between an informal specification and an implementation of a KBS. In the paper, KARL is mainly discussed as a graphical modelling language.<
>