JPH0468442A - 知識検証支援システム - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 ［発明の目的コ （産業上の利用分野） 本発明は知識ベースと推論エンジンとから構した知識検
証支援システムに関する。

（従来の技術） 近年、例えば各種プラント等における故障を諭を行ない
、十分に複雑な現実の問題を、エキスパートと同等のレ
ベルで解決できる知的プログラムのことをいう。そして
、このエキスパートシステムは、知識を管理するための
知識ベースと、知識ベース内の知識を用いた問題解決の
ための推論を制御するための推論エンジンと、ユーザと
の応答をスムーズに行なうためのユーザインタフェース
とから構成されている。

ところで、この種のエキスパートシステムにおける知識
ベースの検証を行なおうとする時には、従来ではまず人
間が様々な場合を想定して推論を実行し、その結果が満
足できるものであるかの判断、および不満足であった場
合の知識の修正は、人間が自ら行なっている。

しかしながら、エキスパートシステムは、最近その適用
対象が多様化してきており、それに伴なって知識ベース
の規模が拡大したり、内容が煩雑になってきている。そ
して、これらの知識間の整合性の保持のための検証を、
人間系で行なうのは次第に困難となることが考えられる
。従って、こムにおける知識ベースの整合性の検証を人
間系により行なっていることから、知識ベースの大規模
化に伴なってその作業も非常に複雑となり、知識の検証
作業を支援するためのシステムの出現が強く要望されて
きている。

本発明の目的は、エキスパートシステムにおける知識ベ
ースの整合性を検証する場合に、知識修正作業を自動的
にかつ容易に行なうことが可能な知識検証支援システム
を提供することにある。

［発明の構成］ （課題を解決するための手段） 上記の目的を達成するために本発明では、ルールからな
る知識ベースと、推論エンジンとから構成されるエキス
パートシステムにおける、知識ベース上の知識の検証を
支援するシステムにおいて、知識ベース格納されている
検証対象となる知識を用いて推論を実行すると共に検証
対象知識に関する推論情報を生成し、その推論結果の中
で誤いて問題解決機構で作成された知識修正案の妥当性
チエツクを行ない無矛盾な知識を抽出する知識管理機構
とを備え、知識修正案の作成および無矛盾な知識の抽出
なる一連の操作を繰り返しながら知識の誤りを修正する
ようにしている。

（作　用） 本発明の知識検証支援システムにおいては、知識の検証
を行なう場合、エキスパートシステムの知識ベースに格
納されているルールを用い、間、題解決機構において、
まず推論を行ない、その推論結果の中で誤りの有無をチ
エツクし、誤りがあった場合には不具合のある知識を検
出して知識修正案を作成する。そして、問題解決機構で
は、これらの作業を進めていく過程において、検証対象
知識に関する推論情報を知識管理機構に送付する。

一方、知識管理機構では、問題解決機構からの推論情報
を入力して矛盾データを管理する。そして、知識管理機
構では、この管理情報を用いて、問題解決機構で作成さ
れた知識修正案の妥当性チエツクを行ない、無矛盾な知
識の抽出を行なう。以上以下、本発明の一実施例につい
て図面を参照して説明する。

第１図は、本発明による知識検証支援システムパートシ
ステムの知識ベース３のルールを検証するものであり、
問題解決機構１１と、知識管理機構１２とから構成して
いる。一方、エキスパートシステムの知識ベース３は、
知識フレーム３１と、ルール３２とから構成されている
。知識フレーム３１は、知識の記述項目の種類およびそ
れらの記述順序を規定する枠組みである。

ここで、問題解決機構１１は、知識ベース３のルール３
２に格納されているルールを用いて推論を実行すると共
に「このルール」または「そのルール」に関する推論情
報を送付し、その推論結果の中で誤りの有無をチエツク
して誤りがあった場合には不具合のある知識を検出し、
知識フレーム３１を用いて知識修正案を作成するもので
ある。

また、知識管理機構１２は、問題解決機構１１からの推
論情報を入力し、知識フレーム３１を用いて知識記述に
おける矛盾情報を管理し、この管理情報を用いて問題解
決機構１１で作成された知識修正案の妥当性チエツクを
行ない無矛盾な知識を抽出するものである。

一方、第２図は、第１図における知識ベース３件項目、
ｔｈｅｎ部に結果として得られる項目を記述しており、
診断ルールを作成する時は、条件項目として電源条件と
設備条件の記述がこの順序で必要であり、結果部には、
条件部の記述に応じた復旧処置を記述することを示して
いる。また、ルール３２は、設備診断用のルールを記述
しており、記述中、 Ｄ＋・・・電源条件 Ｂ、・・・設備条件 Ｒ１・・・普及処置 を表わしている。ルールは、これらを組み合わせること
により表現される。例えば、ルール３２のルール１は、
電源条件り、と設備条件Ｂ４．Ｂ。

を満足した場合の復旧処置はＲ１であることを示す。

第３図は、検証後の知識ベース３の構成例を示す図であ
り、ルール３２のルール２が修正されている。

次に、以上のように構成した本実施例の知識検、・−１
〜この知識ベース３に対する検証操作を以下のよう１に
して行なう。

まず、テストケースとして診断時の状況を次の一一一よ
うに設定し、問題解決機構１１において推論を行なう。

この推論結果について、知識管理機構１２へ送付する。

一方、知識管理機構１２では、この推論結果を受けて、
現在 なる条件採用の関係が成立することを登録す管理機構１
２では、これを受けて、 る。

そして、この関係（３）をネットワークとして登録する
時に、知識フレーム３１を用いる。例えば、条件部の電
源状況と設備状況が全く独立に成立することがわかって
いれば、条件部の各項目と結果部の復旧処置がネットワ
ークとして結ばれることがわかる。

上記結果（２）のうち、■ルール１については、条件Ｄ
ｒ　、Ｂ４　、Ｂ５が満足されて、復旧処置Ｒ１が採用
されたということで、テストケース（１）に合った内容
となっているが、■ルール２については、条件り、、Ｂ
、は何れも満足する条は、このルール２に対する修正案
の作成を行なう。

修正案の作成は、第１図の入出力装置２を通して、ユー
ザとコミュニケーションしながら行なう。

また、この修正案を作成する際に、知識フレーム３１を
手引きとして引用する。

いま、修正しようとする知識および知識フレーム３１は
、以下に示す（５）、（６）である。

ルール２−Ｄ、　、　Ｂｌ　、　Ｒ１・・・（５）ｉｆ
　　＜電源状況〉く設備状況＞　　ｔｈｅｎく復旧処置
〉　　　　　　　　　　　　　・・・（６）修正の方針
としては、主に次の２つである。

（ａ）テストケースに合うようにルールを修正する （ｂ）テストケースは、修正のきっかけとして用いるの
みで、特にこだわらずに新たな知識を加える ここでは、テストケースに合うようにルールを次に、条
件部分の次のフレーム項目である設備状態について問い
合わせる。

知識フレーム３１に従って、入出力装置２を介してユー
ザに問い合わせしながら知識の修正を行なう。

まず、知識フレーム３１の条件部の先頭の電源条件から
問い合わせる。

ここで、書き換えを選ぶとする。テストケース（１）を
知識フレーム（６）に当てはめると、電源条件−Ｄｌ、
設備状態−Ｂ１である場合には、復旧処置はＲ２でなく
てはならないことがわかる。

これでよい場合には、ルール２は、 ルール２’　＝Ｄ＋　、Ｂ＋　、Ｒ２ と修正される。

この修正案について、知識管理機構１２では、のルール
３２のルール２を、この修正案と入れ換えて問題解決機
構１１において推論を行う。テスト状況は（１）で示す
状況である。その結果、推論結果が以下のようになった
とする。

そして、この結果（７）について、知識管理機構１２へ
送付する。知識管理機構１２では、これを受けて、条件
採用の関係を登録する。

上記結果（２）のうち、■ルール１については、条件り
、、Ｂ４．Ｂ５が満足されて、復旧処置Ｒ１が採用され
たということで、テストケース（１）に合った内容とな
っており、また■ルール２についても、条件り、、Ｂ、
を満足し、復旧処置Ｒ２が採用されており、テストケー
ス（１）に合致している。テストケースを全て満足して
いるので、検証操作はこれで終了し、第３図の知識ベー
ス３を修正知識ベースとして作成する。

上述したように本実施例では、知識の記述項目の種類お
よびそれらの記述順序を規定する枠組みのルール３２に
格納されているルールを用いて推論を実行すると共に「
このルール」または「そのルール」に関する推論情報を
送付し、その推論結ム３１を用いて知識修正案を作成す
る問題解決機構１１と、問題解決機構１１からの推論情
報を入力し、知識フレーム３１を用いて知識記述におけ
る矛盾情報を管理し、この管理情報を用いて問題解決機
構１１で作成された知識修正案の妥当性チエツクを行“
ない無矛盾な知識を抽出する知識管理機構１２とを備え
て構成し、知識修正案の作成および無矛盾な知識の抽出
なる一連の操作を繰り返しながら知識の誤りを修正する
ようにしたものである。

従って、知識フレーム３１を用意した知識ベース３に対
する検証操作を知識検証支援システム１で行なうことに
より、推論結果とユーザが設定したテストケースとの比
較などによる知識の不具合の検出、知識フレーム３１を
用いた知識修正案の生成、知識管理機構１２による知識
修正案のチエツクが行なわれ、自動的にかつ容易に知識
修正をすることが可能になる。これにより、知識検証操
作を自動的に支援できるようになり、知識の整合性の保
持が容易になる。

ノる際に、枠組みのどの項目から修正を施していくかを
戦略化することにより、知識修正作業の著しい効率向上
を図ることも可能である。

また、上記実施例では、エキスパートシステムの知識ベ
ース３を、知識の記述項目の種類およびそれらの記述順
序を規定する枠組みである知識フレーム３１とルール３
２とから構成し、問題解決機構１１における知識修正案
作成および知識管理機構１２における矛盾情報管理を知
識フレーム３１を用いて行なう場合について述べたが、
何らこれに限られるものではない。

［発明の効果コ 以上説明したように本発明によれば、エキスパートシス
テムにおける知識ベースの整合性を検証する場合に、知
識修正作業を自動的にかっぺ易に行なうことが可能な知
識検証支援システムが提供できる。

【図面の簡単な説明】

第１図は本発明による知識検証支援システムの一実施例
を示す機能ブロック図、第２図および第３図は同実施例
における検証前および検証後の知識ベースの構成例を示
す図である。 知識検証支援システム 知識べ

Claims (2)

【特許請求の範囲】
1. （１）ルールからなる知識ベースと、推論エンジンとか
   ら構成されるエキスパートシステムにおける、前記知識
   ベース上の知識の検証を支援するシステムにおいて、 前記知識ベースに格納されている検証対象となる知識を
   用いて推論を実行すると共に検証対象知識に関する推論
   情報を生成し、その推論結果の中で誤りの有無をチェッ
   クして誤りがあった場合には、不具合のある知識を検出
   して知識修正案を作成する問題解決機構と、前記問題解
   決機構からの推論情報を入力して矛盾情報を管理し、こ
   の管理情報を用いて前記問題解決機構で作成された知識
   修正案の妥当性チェックを行ない無矛盾な知識を抽出す
   る知識管理機構とを備え、 前記知識修正案の作成および無矛盾な知識の抽出なる一
   連の操作を繰り返しながら知識の誤りを修正するように
   したことを特徴とする知識検証支援システム。
2. （２）前記知識ベースを、知識の記述項目の種類および
   それらの記述順序を規定する枠組みである知識フレーム
   とルールとから構成し、前記問題解決機構における知識
   修正案作成および前記知識管理機構における矛盾情報管
   理を前記知識フレームを用いて行なうようにしたことを
   特徴とする請求項（１）項に記載の知識検証支援システ
   ム。