✦ LIBER ✦

Foundation and application of knowledge base verification

✍ Scribed by Alun D. Preece; Rajjan Shinghal

Publisher: John Wiley and Sons
Year: 1994
Tongue: English
Weight: 1020 KB
Volume: 9
Category: Article
ISSN: 0884-8173
DOI: 10.1002/int.4550090804

No coin nor oath required. For personal study only.

✦ Synopsis

Anomalies such as redundant, contradictory, and deficient knowledge in a knowledge base are symptoms of probable errors. Detecting anomalies is a well-established method for verifying knowledge-based systems. Although many tools have been developed to perform anomaly detection, several important issues have been neglected, especially the theoretical foundations and computational limitations of anomaly detection methods, and analyses of the utility of such tools in practical use. This article addresses these issues by presenting a theoretical foundation of anomaly detection methods, and by presenting empirical results obtained in applying one anomaly detection tool to perform verification on five real-world knowledge-based systems. The techniques presented apply specifically to verifying rule-based knowledge bases without numerical certainty measures.

📜 SIMILAR VOLUMES

Verification of multiple agent knowledge

Verification of multiple agent knowledge-based systems

✍ Daniel E. O'Leary 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB 👁 2 views

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

Evaluation of verification tools for kno

Evaluation of verification tools for knowledge-based systems

✍ ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

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 non

On the verification of modular logical k

On the verification of modular logical knowledge bases

✍ Grigoris Antoniou; Volker Sperschneider 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 584 KB

Application areas and added value of kno

Application areas and added value of knowledge base systems

✍ R.V. Schuwer; R.J. Kusters 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 906 KB

A knowledge base system is characterized by a separation between application-dependent knowledge and applicationindependent deduction rules. When used in a business environment, it is not clear what added value this separation has, over conventional systems. It also is not clear what characteristics

State-of-the-practice in knowledge-based

State-of-the-practice in knowledge-based system verification and validation

✍ David Hamilton; Keith Kelley; Chris Culbert 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 790 KB

The majority of the work in knowledge-based system verification and validation (KBS V& V) has focused on developing techniques and concepts for performing V& V on expert systems. Little information is available on what V& V practices are currently in use by expert system developers. This article des