ISSN:
1573-7535
Keywords:
knowledge engineering
;
knowledge acquisition
;
knowledge-based systems
;
domain modeling
;
task modeling
;
problem-solving method
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for developing knowledge-based systems. MIKE integrates semiformal and formal specification techniques together with prototyping into a coherent framework. All activities in the building process of a knowledge-based system are embedded in a cyclic process model. For the semiformal representation we use a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer during knowledge acquisition. The semiformal knowledge representation is also the basis for formalization, resulting in a formal and executable model specified in the Knowledge Acquisition and Representation Language (KARL). Since KARL is executable, the model of expertise can be developed and validated by prototyping. A smooth transition from a semiformal to a formal specification and further on to design is achieved because all the description techniques rely on the same conceptual model to describe the functional and nonfunctional aspects of the system. Thus, the system is thoroughly documented at different description levels, each of which focuses on a distinct aspect of the entire development effort. Traceability of requirements is supported by linking the different models to each other.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008653328901
Permalink