By Topic

Evaluating a formal KBS specification language

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
F. van Harmelen ; Amsterdam Univ., Netherlands ; M. Aben ; F. Ruiz ; J. van de Plassche

Formal specification languages can improve the development of knowledge-based systems, but several problems limit their usefulness. (ML)2, a formal language based on the knowledge models used in the CommonKADS KBS development method, avoids many of these problems. We describe a study that investigated the usability of a formal KBS modeling language, (ML)2. To analyze (ML)2 usability, we first designed a set of evaluation criteria. Then we performed a small case study, constructing an expertise model in (ML) 2, to test and refine these criteria. Subsequently, we used (ML)2 to construct a second model, which formed the basis for our language evaluation. Altogether, we performed three case studies, which we used to score (ML)2 with our evaluation criteria

Published in:

IEEE Expert  (Volume:11 ,  Issue: 1 )