（２１）知識検証支援システム：ＫＮＯＶ

	マ シ ン：PSI-II
	環　　境：SIMPOS
	言　　語：ESP
	ソース量：3 MB
	文　　書：マニュアル (日本語)

概要

機能

知識検証の問題は、不完全かつ矛盾を含む知識ベースを、完全で整合性のある 知識ベースに修正、整理して行き、問題解決を正しく行える様にする問題であ る。本システムでは知識ベースに含まれる矛盾ルール、不完全ルールとそれを 解消するためのルール修正案を仮説と考え、仮説推論を用いて、矛盾解消戦略 に基づく仮説生成とその検証を行うことにより、知識ベースを洗練化し整合性 のあるものにしていく動的検証方式による知識検証を行う。また、その知識ベー スの矛盾検出・修正を支援する機能については、仮説集合に基づいた知識の一 貫性維持を行うＡＴＭＳを利用している。

本システムは以下に示す通り、３つの部分より構成される。

１）問題解決機構

推論機構、矛盾検出、仮説生成より構成される。検証メタ知識に従い知識 検証過程の制御を行う。

２）知識管理機構

推論ネットワーク、矛盾知識データを管理する。矛盾知識の管理はＡＴＭ Ｓにより行っている。

３）検証メタ知識

知識検証のためのメタ知識である。テストケース、矛盾検出知識、仮説生 成知識として表現する。

ＦＴＰ

• 知識検証支援システム：ＫＮＯＶ [244K]