Share Email Print

Proceedings Paper

Practical approach to knowledge base verification
Author(s): Alun D. Preece; Rajjan Shinghal
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

We consider verifying knowledge bases to three levels of rigor: detection of anomalies, verification of safety properties, and verification of full correctness. We present formal definitions for four classes of anomalies which may be present in knowledge bases expressed using first order logic: redundancy, ambivalence, circularity and deficiency. The definitions are initially given for rule-based systems without uncertainty, but we extend them to consider uncertainty and frame-based knowledge representations. We demonstrate that, although verification of full correctness will not usually be feasible for knowledge-based systems, it is important that their safety properties be verified, and we present a method for doing this based on our definitions of logical anomalies. We demonstrate the validity of this framework by presenting the results of a verification performed on the knowledge base of a working expert system.

Paper Details

Date Published: 1 March 1991
PDF: 12 pages
Proc. SPIE 1468, Applications of Artificial Intelligence IX, (1 March 1991); doi: 10.1117/12.45502
Show Author Affiliations
Alun D. Preece, Concordia Univ. (Canada)
Rajjan Shinghal, Concordia Univ. (Canada)

Published in SPIE Proceedings Vol. 1468:
Applications of Artificial Intelligence IX
Mohan M. Trivedi, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?