Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI
should be used more widely but won't be unless developers can trust adaptive …

This paper surveys the verification of expert system knowledge bases by detecting
anomalies. Such anomalies are highly indicative of errors in the knowledge base. The paper …

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 …

The knowledge base is the most important component in a knowledge-based system.
Because a knowledge base is often built in an incremental, piecemeal fashion, potential …

Knowledge-based systems (KBSs) are being used in many applications areas where their
failures can be costly because of losses in services, property or even life. To ensure their …

The first step in establishing the reliability of an expert system is to verify that its knowledge
base is free from anomalies such as redundant, conflicting or missing knowledge. Such …

Building complex knowledge based applications requires encoding large amounts of
domain knowledge. After acquiring knowledge from domain experts, much of the effort in …

The numerous tasks required by the knowledge engineering process and their inherent
complexity combine to make building knowledge-based systems both a time consuming and …

The acquisition of knowledge remains the critical phase of expert system development.
Illustrative of the first class of support tools is the SALT system which has built-in knowledge …

Validation has emerged as a significant problem in the development of knowledge based
systems (KBS). Verification of KBS correctness and completeness has been cited as one of …