Domain and Task Modeling in MIKE (1996)
| Venue: | In Proceedings of the IFIP WG8.1/13.2 Joint Working Conference on Domain Knowledge for Interactive System Design |
| Citations: | 14 - 5 self |
BibTeX
@INPROCEEDINGS{Angele96domainand,
author = {J. Angele and D. Fensel and R. Studer},
title = {Domain and Task Modeling in MIKE},
booktitle = {In Proceedings of the IFIP WG8.1/13.2 Joint Working Conference on Domain Knowledge for Interactive System Design},
year = {1996},
pages = {8--10},
publisher = {Hall}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for the development of knowledge-based systems (kbs). It integrates semiformal specification techniques, formal specification techniques, and prototyping into a coherent framework. This allows the domain and task model of a kbs to be described on different formalization levels. All activities in the building process are embedded in a cyclic life cycle 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 of expertise 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 fu...
