TY - JOUR
T1 - Evaluating a formal KBS specification language
AU - van Harmelen, F.A.H.
AU - Aben, Manfred
AU - Ruiz, Fidel
AU - van de Plassche, Joke
PY - 1996/2
Y1 - 1996/2
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0030084718&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0030084718&partnerID=8YFLogxK
U2 - 10.1109/64.482959
DO - 10.1109/64.482959
M3 - Article
AN - SCOPUS:0030084718
SN - 0885-9000
VL - 11
SP - 56
EP - 62
JO - IEEE expert
JF - IEEE expert
IS - 1
ER -
