(21) Knowledge Verification System: KNOV

	Machine:     PSI-II
	Environment: SIMPOS
	Language:    ESP
	Source Code: 3 MB
	Documents:   Manual (Japanese)

Overview

Knowledge Verification System with Assumption-based Reasoning.

Function

Knowledge acquisition and verification is a critical bottleneck of expert systems. In particular, it is difficult to confirm and maintain the consistency of a large-scale knowledge base. Knowledge verification is the process that makes problem solving knowledge complete and consistent.

KNOV(Knowledge Verification System) has been developed for diagnostic applications. KNOV is a meta-system which regards the diagnostic knowledge as an assumption and verifies it by assumption-based reasoning using ATMS. An architecture with the following features is proposed for knowledge verification:

  1. assumption-based reasoning with dynamic testing
  2. meta-knowledge definition for verification
  3. knowledge consistency using ATMS
The validity and effectiveness of the ideas for knowledge verification were confirmed by applying KNOV to the diagnosis system of Electric Power Systems and Computer-Center Fault Recovery Systems used in the field. In the manual those verification example using KNOV are explained with complete verification meta-knowledge.

FTP

www-admin@icot.or.jp