TheME: an Environment for Building Formal KADS-II Models of Expertise

Article type: Research Article

Authors: Balder, John^; | Akkemans, Hans

Affiliations: Software Engineering & Research Department, Netherlands Energy Research Foundation ECN, P.O. Box 1, NL-1755 ZG Petten (NH), The Netherlands, e-mail: {balder.akkermans}@ecn.nl

Note: [] This paper has been awarded with the EUROLANG Award for the best paper presented at the 12th International Conference Avignon'92, Artificial Intelligence, Expert Systems, Natural Language.

Abstract: COMMONKADS is a well-known methodology for the development of knowledge-based systems. In this methodology one constructs so-called models of expertise as a basis for the development. A new feature with respect to older versions of the KADS methodology is a formal version of these models, whereby models of expertise are expressed in a special logical language called (ML)2 that is tailored to the needs of KBS methodology. Our paper presents TheME, an environment for constructing and manipulating these formal models of expertise. We consider the role of formal methods in conceptual knowledge modelling and briefly introduce the ingredients of the formal framework. Next, we discuss the rationale behind the TheME environment that supports the formalisation process. The functionality of the environment is described and illustrated in detail and experiences and future developments are discussed. TheME constitutes one of the tools of the COMMONKADS knowledge engineering workbench currently under construction.

Keywords: formal knowledge modelling

DOI: 10.3233/AIC-1992-5302

Journal: AI Communications, vol. 5, no. 3, pp. 136-147, 1992