𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Evaluation of verification tools for knowledge-based systems

✍ Scribed by ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
330 KB
Volume
47
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but none of these are in widespread use. One of the reasons for this is that little quantitative evidence exists to demonstrate the effectiveness of the tools. This paper presents an experimental study of three KBS verification tools: a consistency checker, a completeness checker and a testing tool (for correctness). The tools are evaluated on their ability to reveal plausible faults seeded into a complex, realistic KBS application. The cost of using the tools is also measured. It is shown that each tool is independently effective at detecting certain kinds of fault and that the capabilities of the tools are complementary-a result not revealed by previous studies.

📜 SIMILAR VOLUMES

Verification and correctness issues for
Verification and correctness issues for nonmonotonic knowledge bases
✍ Grigoris Antoniou 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 147 KB

Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has bee

Development of a knowledge-based system
Development of a knowledge-based system for nonpowered hand tools (Tool Expert): Part I—The scientific basis
✍ Berman Kayis; Nivit Charoenchai 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 295 KB

## Abstract The need for developing a clear and concise guide for designing, selecting, and using hand tools would minimize if not eliminate acute–chronic trauma exposure factors and help improve efficiency, well‐being, and morale. Despite several research efforts devoted to the exploration and und

Roles of design knowledge in knowledge-b
Roles of design knowledge in knowledge-based systems
✍ Michel Benaroch 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Recent research suggests that the abilities of a knowledge-based system (KBS) depend in part on the amount of explicit knowledge it has about the way it is designed . This knowledge is often called design knowledge because it reflects design decisions that a KBS developer makes regarding what ontolo