Evaluating A Formal KBS Specification Language  

Oleh:

van Harmelen, F. ; Aben, M. ; Ruiz, F. ; van de Plassche, J.

Jenis: Article from Bulletin/Magazine
Dalam koleksi: IEEE Intelligent Systems vol. 11 no. 1 (1996), page 56-62.
Topik: EVALUATING THEORIES; evaluating; formal; KBS; specification; language

Ketersediaan

Perpustakaan Pusat (Semanggi) Nomor Panggil: II60.1 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada

Lihat Detail Induk

Isi artikel

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 Common KADS 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.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali