Abstract: "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. A Knowledge Verification System (KNOV) has been developed for diagnostic applications which helps...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Tanaka, Tatsuji (VerfasserIn), Ishikawa, Keiko (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1991
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 663
Schlagworte:	Knowledge acquisition (Expert systems)
Zusammenfassung:	Abstract: "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. A Knowledge Verification System (KNOV) has been developed for diagnostic applications which helps the process that makes problem solving knowledge complete and consistent. KNOV is a meta-system that regards the diagnostic knowledge as assumption and verifies it by assumption-based reasoning using Assumption- based Truth Maintenance System (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 ATM KNOV has been implemented by Extended Self-contained Prolog on Personal Sequential Inference machine (PSI-II) developed by Institute for New Generation Computer Technology, Japan (ICOT). The paper shows a verification example using KNOV for the Electric Power System's diagnosis knowledge base. The validity and effectiveness of the ideas for knowledge verification are confirmed by applying KNOV to the diagnosis system of Electric Power Systems and a Computer-Center Fault Recovery System which are used in the field.
Beschreibung:	15 S. graph. Darst.