DMCA
Developing Knowledge-Based Systems with MIKE (1998)
Cached
Download Links
- [www.cs.vu.nl]
- [ftp.aifb.uni-karlsruhe.de]
- DBLP
Other Repositories/Bibliography
| Venue: | JOURNAL OF AUTOMATED SOFTWARE ENGINEERING |
| Citations: | 33 - 3 self |
BibTeX
@ARTICLE{Angele98developingknowledge-based,
author = {J. Angele and D. Fensel and D. Landes and R. Studer},
title = {Developing Knowledge-Based Systems with MIKE},
journal = {JOURNAL OF AUTOMATED SOFTWARE ENGINEERING},
year = {1998},
volume = {5},
pages = {389--418}
}
Share
 |
 |
 |
 |
||
OpenURL
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 des...
Keyphrases
knowledge-based system knowledge acquisition coherent framework smooth transition hypermedia-based formalism communication basis executable model building process representation language description technique formal specification cyclic process model formal specification technique conceptual model semiformal representation incremental knowledge engineering semiformal knowledge representation
