Validation and verification of knowledge-based systems: A survey

A knowledge-level testing method

“…As shown in Figure 1, many anomalies have been described, like redundancies, incoherencies, cycles, etc. Many tools have been developed to detect these anomalies in different kinds of KBS (Nguyen, Perkins, Laffrey & Pecora, 1985;Rousset, 1988;Ayel & Rousset, 1990;Loiseau, 1990;Gupta, 1991;Meseguer, 1991). …”

Verification of knowledge shared across design and manufacture using a foundation ontology

“…It is clear that in this sense these two processes correspond to a very early stage of the development of knowledge bases and they actually provide a means to measure the quality of knowledge in a knowledge base (Preece, 2001). Another description of verification is given by (Gupta, 1993). According to him knowledge verification involves 1-Checking the completeness, consistency and correctness of knowledge, 2-Determining the accuracy and consistency of the reasoning mechanism in interpreting and applying the knowledge in the knowledge base to solve problems and 3-Comparing the system with its human counterparts and grading it thereof.…”

RULES AS SIMPLE WAY TO MODEL KNOWLEDGE - Closing the Gap between Promise and Reality

“…Based on our experience from the three projects described earlier and on best practices as described in literature (eg (Preece et al, 1997;Gupta, 1993;Tsai et al, 1999)) we have identified (and largely implemented) an architecture of tool support for the development of rule bases.…”