학술논문
Graphical and formal knowledge specification with KARL
Document Type
Conference
Author
Source
Proceedings of International Conference on Expert Systems for Development Expert Systems for Development, 1994., Proceedings of International Conference on. :198-203 1994
Subject
Language
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.ETX