Evaluating a formal KBS specification language

F.A.H. van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche

Research output: Contribution to JournalArticleAcademic

78 Downloads (Pure)

Abstract

Formal specification languages can improve the development of knowledge-based systems (KBS), 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. (ML)2 specifically aims at formalizing the CommonKADS expertise model. To analyze (ML)2 usability, a set of evaluation criteria was designed. A small case study was then performed, constructing and expertise model in (ML)2, to test and refine this criteria.

Original languageEnglish
Pages (from-to)56-62
Number of pages7
JournalIEEE expert
Volume11
Issue number1
DOIs
Publication statusPublished - Feb 1996

Fingerprint

Dive into the research topics of 'Evaluating a formal KBS specification language'. Together they form a unique fingerprint.

Cite this