Title :
Graphical and formal knowledge specification with KARL
Author_Institution :
Inst. AIFB, Karlsruhe Univ., Germany
Abstract :
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
Keywords :
expert systems; formal specification; knowledge acquisition; knowledge representation; specification languages; visual languages; KARL; KARL-specification; Knowledge Acquisition and Representation Language; formal knowledge specification; graphical modelling language; graphical modelling primitives; graphical specification; informal specification; knowledge-based system; Expert systems; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Knowledge representation; Object oriented modeling; Prototypes; Software maintenance; Software prototyping; Specification languages;
Conference_Titel :
Expert Systems for Development, 1994., Proceedings of International Conference on
Conference_Location :
Bangkok
Print_ISBN :
0-8186-5780-4
DOI :
10.1109/ICESD.1994.302281
