JPS6388645A - 知識ベ−ス管理方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 （産業上の利用分野） この発明ｔよ、エキスパートシステムなどの知的情報処
理システムにおける知識ベース管理方法に関する。

（従来の技術とその問題点） エキスパートシステムなどの知的情報処理システムにお
いては、知識ベースとして準備されるデータの量によっ
てそのシステムの情報処理能力が左右される。このため
、一般には、より多くのデータを知識ベースとして準備
することが重要になる。

ところが、従来は、知識ベースの管理が必ずしも適切で
ないために、次のような問題が生じていた。たとえば、
エキスパー１へシステムにおける知識ベースには、第１
１図に概念図として示すように、知識ソースファイルＳ
Ｆと、ユーザーが作成したユーザーモジュールＵＭ１．
ＵＭ２．・・・とが含まれているが、従来はこれらを知
識ベース１内に混在させていた。そして、第１２図に示
づ゛ように知識ソースファイルＳＦとユーザーモジュー
ルＵＭＩ、ＵＭ２．・・・とは、知識ソースファイルＳ
圧内の結合部２を通じて相互に結合可能とされ、ＣＰＵ
３の機能を用いて構成された推論装置４は知識ソースフ
ァイルＳＦのみに結合されている。

ただし、第１２図に３３いて、５はＮＩ論情報記憶装置
であり、６は入出力装置（ターミナル）である。

したがって、このような知識ベース１においては、その
時点で知識ソースファイルＳＦと結合されている１−ザ
ーモジコーールのみを利用可能であって、Ｆｉ定のニー
擾アー七ジュール（たとえばＵＭｌ）を利用する際（、
二は、知識ソースフッ・イルＳＦと当該コ、−ザーＦジ
ュール（づＭｌとを結合させなければならない。

このため、上記のように、知識ソースファイルＳＦ中に
は結合部２を準備１！ねばならず、それによつＣ知識ソ
ースファイルＳＦの構成が複雑になる。また、ニー（ｆ
−モジ１−ルをβ正・追加するごとに結合部２の内容を
変更しなければならない。

したがって、従来は知識ソースファイルＳＦの保守性（
管理効率）が低いという問題があった。

また、既述した。、１；うに、知識ソースファイルＳ［
とユーザーモジュールＵＭ１．ＵＭ２．・・・とが知識
ベース１内に混在するために、ユーザーモジュールの保
守性や開発効率も低く、これらの事情によって知識ベー
ス全体としての保守性や（；）１発効率が低いという問
題があった。

（発明の目的） この発明は従来技術における上述の問題の克服を急開し
ており、知識ベースの保守性や開発効率が高い知識ベー
ス管理方法を１？供することを目的とづる。

（目的を達成でるだめの手段） 上述の目的を達成するため、この発明では、知的情報処
理システムにおける知識ベース管理方法を対宋として、
知識ベースを所定数の領域に分割し、知識ソースファイ
ルおよびユーザーモジュールを所定の基準に従って分類
するとともに、分類された知識ソースファイルおよびユ
ーザーモジュールを種類別に前記領域へ配分格納し、前
記領域に配分格納された前記ソースファイルと前記ユー
ザーモジュールととを、それぞれ直接に推論手段へ結合
可能とする。

ツなわら、この発明では、知識ソースファイルとユーザ
ーモジュールとを分類格納してＪ３き、知識ソースファ
イルを介さずにユーザーモジュールと推論手段とを結合
できるようにして、知識ソースファイルとユーザーモジ
ュールとの独立性を高め、それによって知識ベースの保
守性や開発効率を向」二ざｔ！ようと１ノでいる。

（実施例） Ａ、シスーテム構成 第２図１ｔ、この発明の一実施例である知識ベース管球
方法を適用して構成されたエキスパートシステムの例を
示Ｖ　ＨＫ　Ｍ？ｉ成図である。このシステムは、精密
加工されたディスク基板などの被検査体く図示せず）の
表面疵を自動的に検出する自動疵見装置１０の故障診断
システム２０どして構成されている。このうら、自動疵
見装置１０は、被倹査体表面を帽Ｉ−るＩＴＶカメラ１
１ヤ）、このＩ　Ｔ　Ｖカメラ１１からの画像信号を処
理する信号処理装７１１２、それに、ディスプレイ等を
４１する情報入出力装置１３を備えている。

一方、故障診断システム２０は、ＣＰ　ｌｊ　３の践能
を用いて＋１４成された推論部首４の）１か、推論プロ
グラムや−「４的な情報を記憶する推論情報記憶装置５
と、キーボード６ａやディスプレイ６ｂを含む情報入出
力部首６とを備えている。さらに、この故障診断システ
ム２０内に設けられた知識ベース記憶装置２１には、こ
の発明の特徴に応じて管理された知識ベース３０が格納
されている。

第１図は上記知識ベース３０の構成と、この知識ベース
３０がどのような方式で１１を論装置４と結合されてい
るかを示す概念図である。この知識ベース３０は知識ソ
ースファイルＳＦとユーザーモジュールＵ　Ｍとを含む
が、このうら、知識ソースファイルＳＦは後に詳述づ−
る仮説定義ファイルＳＦｌ、ｍ象定義ファイルＳＦ２、
およびルール定義ファイルＳｒ３に分類されている。

また、−１−一−ザーモジュール（Ｊ　Ｍは、後述する
次の５種類の七ジＪ−−ルに分類され−Ｃいる。以下、
これらを総称ずろときは［ｔジュールＭｋＪと呼ぶ１゜ ■　仮説関連情報促供モジュール〜”１ａ■　仮説（Ｎ
ｊ隨情報処理モジフ−−ルＭ１１゜■　事や関連情報提
供モジコール〜１２゜■　事象付随情報処理モジュール
Ｍ２１、（■　ルール関連情報提供モジ、１−ルＭ３ａ
そ１．で、これらのファイルＳＦＩ〜ＳＦ３および各モ
ジュールＭｋは、知識ベース３０を分υ１して（ｑられ
る各領域に、種類別に配分格納されている。この各領域
は、たとえば、知識ベース記憶装？７２１の知識ベース
記憶領域（ディレクトリ）を適宜配分しで得られている
。また、上記ファイルＳ　Ｆ　１−８　Ｆ　３おＪ：び
各モジュールＭｋ内にそれぞれ分類配分された各ファイ
ルは、推論装置４が直接に呼出すことができる実行形式
のファイル（モジ１−ル）とされている。それによって
、」二足ファイルＳＦＩ〜ＳＦ３およびモジコールＭ１
ａ〜〜しは、推論装置４ど直接に結合が可能である。

、、Ｉａ 第１図中では、この状態を、推論装置４とファイルＳＦ
１〜ＳＦ３おにび各モジュールＭｋとのそれぞれをつな
ぐ接続線で概念的に示している。

皮−！λ±ニス分割内容の、！！Ｌη 次に、土）−トシた一ノアイルＳＦＩ〜ＳＦ３およびモ
ジュールＭｋのそれぞれの意味を、５：５３図に示した
具体例に即して分課する。

（ａ）知識ソースファイルＳＦ ■　仮説定義ファイルＳＦ１ このソースファイルは、シスデム内部の論理判断によっ
て定まるような仮説が格納されるファイルである。たと
えば、第３図中ｔこ例示されているｌ−ＮΔ１〕」には
、自動疵見装置１０にお番フる「△／［）変換がＩＥ常
である」旨の仮説が格１）１（されている。

■　事象定義ファイルＳ［−２ このソースファイルは、オペレータに対する間合せや自
動計測にｊ：つで外部的に定まる事象を格納するファイ
ルである。たとえば第３図の［ΔＤ　ＣＨＫ−１は、［
△、／［］変換デデス−の結果、Ａ　／’Ｄ変換は正常
に行なわれている。１旨の事象を定義している。この事
象定義ファイルＳＦ２および上記仮説定義ファイルＳＦ
１のそれぞれの内容は、次のルール定義ファイルＳＦＧ
中に格納されているルールで使用される記号の意味を定
義覆るという性格を持っている。

■　ルール定義ファイルＳＦ３ このグループに属−するファイルには、」−記仮説定義
フｊ・イルＳ「１、おにび′■Ａ定義ファファＳ［２の
中の仮Ｘｔ２ｊ；よび事象を基礎にした論理判断のルー
ルが格納されている。これらのルールは、（〈条イ１仮
説〉；〈事象〉；〈結論仮説〉）の形式で梠成されてお
り、このうち〈条件仮説〉ｔよ上記仮説定義ファイルＳ
Ｆ１の中に設定された仮説のひとつであり、〈事や〉は
事象定義ファイルＳＦ２の中で定義されている事象のひ
とつである。ぞして、上記ルールによって、 「１ｆ＜条件仮説〉が真ａｎｄ　　＜事象〉が真、ｔｈ
ｅｎ　＜結論仮説〉が真」 なる論理的な囚里関係が規定される。たとえば、第３図
の１ｒｏｌｅ　　ＩＯＪでは、１′：（ＮＩＮＰが貞ａ
ｎｄ　　ＡＤＣＨＫが真、ｔｈｃｎＮＡＤが真」を意味
する。より具体的には、「入力基板が正常で、かつ、へ
／Ｄ変変換ススｌ−結果が正常ならば、Ａ／Ｄ変換は正
常である。」旨のルールである。また、「ｒｕｌｅｌｌ
Ｊ中に含まれるｒ　−、−Ａ　Ｄ　ＣＨＫ　ｊのように
、「−」をイ」シた記号は、その仮説または事象が「偽
」であること（つまりｒｎｏｔＪ）を示ず。したがって
、たとえば上記［ｒｕｌｅｌｌＪは、ｒｉｆ　　ＮＩＮ
Ｐが真ａｎｄ　　ＡＤＣＨＫが偽、ｔｈｅｎＮＡＤＦが
真」を意味している。

このようなルールによ−）［、仮説間の因宋関係が与え
られるのであるが、診断はルールに基づく前向き推論に
よって行なわれる。即ち、現在仮説に対してその仮説を
条件仮説とするルールを抽出し、そのルールの事象の真
偽を評価することにより、ルールの真偽を判定する。そ
して、真どなったルールの結論仮説を現在仮説にして、
再び適用可能なルールの検索４行なう３．ちし、適用可
能なルールがなければ、その時の現在仮説かれ５論とな
る。

曵モジ入二！膠に コーＩｆ−モジュールＭを分類して１１１られる各モジ
ュールｌＶ４＋、のうｔ５、関−１１！情報提供［ジ−
フールＭ１１．〜１２８．〜’３ａは、事象の真偽を決
定づる上で参考となる情報（チェック手順、マニュアル
、図面など）の表示を行なわせるためのものである。ま
た、付随情報処理モジュールＭ１ｂ１Ｍ２ｂは、真偽の
決定をするためのｆ続き（テスト信号入力やデータ解析
イｆど）を行なうためのモジュールである。

そしてこれらのモジュールＭ、は、仮説定義、事や定義
およびルール定６のいずれに関係しているかによって、
各ソースフバイルＳＦ１〜ＳＦ３に対応する形で分７，
１１されている。これらのモジュールにＩＪ、ｌじどえ
ぽ第３図に示（−ような名称「ＮＳＭＰ、ＥＸＥｊが個
別に付されているが、知識ベース３０が分割されている
ため、知識ベース３０内の冑なる分割領域であれば、？
！２数のモジュールに対して同一の名称を付すことが可
能となる。

なお、これらの［ジ７−−ルＭｋの具体例は第３図中に
記載されているが、以下の動作例においてもその内容の
いくつか説明されているため、ここでの説明は省略する
。

庁−１１例 そこで、以下では第１図ないし第３図に示したシステム
の動作例を、第４図のフローチャーｌ−を参照して説明
する。この第４図は、現在仮説がｒＮＩＮＰＪであると
きを出発点としたフローであるが、このｒＮＩＮＰｊを
条件仮説とするようなルール１よ、ファイルＳＦ３内に
ｒｒｕｌｅ　　１０ＪとｒｒｕｌｅｌｌＪとが存在し、
この２つのルールは、事１ｒＡＤｃＨＫＪが頁であるが
偽であるかによって、それらのうちの一方が適用される
ようになっている。したがって、第４図のステップＳ１
では事象ｒＡＤＣＨＫＪの真偽判定が行なわれる。

この真偽判定は、第２図の情報入出力装置６のディスプ
レイ６ｂにｒＡ／Ｄ変換テ変換ヘス１果は正常？」とい
うメツセージを表示させ、オペレータに”ＹＥＳ”、”
Ｎｏ”入力を行なわせることによって実行される。その
際、推論装置４は、この事象ｒＡＤＣＨＫＪに対応する
事象関連情報提供モジュールや事象付随情報処理モジュ
ールが存在するか否かを検索する。これは、ｒ　Ａ　Ｄ
　ＣＨＫ　Ｊの記号を含んだｒＡＤＣＨＫ、ＥＸＥＪと
いう名称のモジコールがあるか否かを見ることによって
行なわれる。

第３図の例では、事栄関連情報提供モジコールＭ２ａと
事象付随情報処理モジコールＭ２ｂとの双方にｒＡＤＣ
ＨＫ、ＥＸＥＪが存在する。前述したように、知識ベー
ス３０を分υ１しであるため、これらが同一名称となっ
ていても問題はなく、検索も容易である。

第５図は、この事象真偽判定処理（ステップＳ１）の具
体的内容を例示するフローチャートである。この第５５
図において、まず、ステップＳ５１では、たとえば第６
図に示すような間合せメツセージを、ディスプレイ６　
ｂ、上に表示させる。ただし、モジュール［ΔＤＣＨＫ
、ＥＸＥＪが存在しない場合は、第６図の△の部分は表
示されない。

オペレータは、この表示に基いて、−ヤーボード６ａか
ら’　ｈ　”入力を行なう。すると、第５図のステップ
Ｓ５４において第３図の事や関連情報提供モジュールＭ
２ａ内のモジュールｒＡＤＣＨＫ。

「Ｘ［」と推論装置４どが直接に結合されてこのモジュ
ールが実行され、それによって、Ａ／Ｄ変換のチェック
方法がディスプレイ６ｂに表示される。知識ベース３０
が分割整理されているため、モジュールとの結合も容易
である。

他方、Ａ／Ｄ変換機能を実測によってチェックしたいと
きには、オペレータが゛ｅ″入力を行なう。すると、第
３図の手染付随情報処理モジコールｒＡＤＣＨＫ、ＥＸ
ＥＪが実行され、レーザーディスク〈図示せず）からテ
スト用疵信号を入力して、Ａ／Ｄ変換機能が自動的にチ
ェックされる（第５図ステップ５５３）。そして、オペ
レータからの’ＹＥＳ”、”Ｎｏ”入力、またはこの自
動チェックによってＡ／Ｄ変換が正常がどうかが判定さ
れると、次の事象の真偽計画に移る。ただし、現在考え
ている状況下では事象ｒＡＤｃＨＫＪの真偽だけがわか
ればよいため、この真偽がねがった時点で第４図のステ
ップＳ２へと移る。

このステップＳ２はｒＡＤＣＨＫＪの真偽に応じて分岐
させるステップであり、ｒ　、Ａ　Ｄ　ＣＨＫ　Ｊが真
、つまりＡ　／　Ｄ変換テストの結果が正常である場合
にはステップＳ３に移って、第３図の［ｒｌ」１ｅｌＯ
Ｊににる論理判断が行なわれる。その結果、結論仮説が
ｒＮＡＤｊつまり「△／Ｄ変換は正常」という仮説とな
り、この結論仮説が新たな条件仮説となる（第４図ステ
ップＳ　４　）、。

そして、この「ＮΔＤ」という結論仮説が条件仮説とな
っているようなルールがルール定義ファイルＳＦＩ中に
ないため、推論装置４は、仮説関連情報提供モジュール
Ｍ１ａおよび仮説付随情報処理モジュールＭ１ｂを直接
検索して、「ＮΔＤ」の記号を含んだ名称ｒＮＡＤ、Ｅ
ＸＥＪを持つモジュールの有無をチェックする。第３図
の例では仮説関連情報処理モジコール”Ｉｂ内にｒＮＡ
Ｄ、ＥＸＥＪが存在するため、その存在を知らせるメツ
セージをディスプレイ６ｂ上に表示させるとともに、こ
の［ＮΔＤ、ＥＸＥＪの起動を可能とづる。

このｒＮＡＤ、ＥＸＥＪとして、第３図の例では信号処
理システムの詳細診断を実行するモジュールが準備され
ており、このモジュールを起動させることによって、Ａ
／Ｄ変換系統以外の信号処理異常の診断が実行される（
第４図ステップＳ５）。

一方、第４図のステップＳ２において、事象ｒ　Ａ　Ｄ
　Ｃ１１Ｋ　Ｊが（）であると判断されたときには、ス
テップＳ６で「ｒｕｌｅｌｌｊが実行され、それによっ
て、現在仮説はｒＮＡＤＦＪつまりｒＡ／Ｄ変換が故障
」という仮説に更新する。この場合には、このｒＮＡＤ
ＦＪを条イー１仮説どするようなｊ−ｒｕｌｅ　　１２
Ｊがルール定義ファイルＳＦ３中に存在覆−るため、第
４図のステップＳ８におい−（、この「ｒｕｌｅ　　１
２Ｊを適用するために必要な事象「Ｇ丁ＣＨＫ　、１の
真偽評価が行なわれる。

そして、事象ｒ　Ｇ　Ｔ　ＣＨＫ−１が負、つまり自動
疵見装置１０のゲート信号チェックの結果が異常ならば
第４図のステップＳ９から８１０へと移る。

ただし、上記ステップＳ８の実行に〈１３いで、第３図
の事象関連情報提供モジュールＭ２ａ中のｒＧＴＣＨＫ
、ＦＸＥＪが利用される。

第４図のステップＳ１０では、［ｒｕｌｅ　　１２ｊに
よって、現在仮説は、ｒＮｓＭＰＪつまり「サンプル基
板が故障。」という仮説に更新される。

そして、このｒＮｓＭＰＪを条件仮説とするようなルー
ルがないものとすると、推論装置４は、仮説関連情報提
供モジュールＭ１８および仮説付随情報処理モジ１−ル
Ｍ１ｂを検索して、このｒＮｓＭＰ」に関係づるモジュ
ールの存在をチェックする。

第３図の例ではサンプル基板の調整修理方法含説明づる
モジコールｒＮｓＭＰ、ＥＸＥＪが存在するため、この
ｒＮｓＭＰ、ＥＸＥＪが実行される（第４図ステップ５
１２）。

第７図は、仮説関連情報モジコールＭ１ａや上記［ＮＳ
〜＋Ｐ、ＥＸＥＪなどの仮説付随情報処理モジュールＭ
１ｂの実行手順例を示ずフローチャー１〜である。この
第７図のステップ３６１では、たとえば第８図のような
メツセージが、当該時点までに判明した結論としてディ
スプレイ６ｂ上に表示される。この第８図中に「付随情
報処理モジュール右り」というメツセージが含まれてい
ないのは、ここで想定しているｒＮｓＭＰＪについては
仮説付随情報処理モジコールが存在していないためであ
る。

そして、オペレータが１１９１１人力を行なうと、第７
図のステップＳ６３でｒＮｓＭＰ、ＥＸＥＪによるサン
プル基板の調整修理方法の説明表示が実行される。また
、オペレータがｉｔ　Ｃ１１入力を行なうとフンザルテ
ーションメニコーが表示され、オペレータがメニコ一番
号を入力すると、その入力に応じてあらかじめ設定され
たメニコー内容が実行される〈第７図ステップ５６４）
。”　（１”人力の場合にはルーチンが終了する。

なお、付随情報処理モジュールが存在するような場合に
は”ｅ”′入力が許容され、それによって、当該付随情
報処理モジコールの内容が実行されろようになっている
（第７図参照）。

ところで、第３図かられかるように、ルール定義ファイ
ルＳＦＩに対応するモジュールとしては、ルール関連情
報提供モジュールＭ　３ａが準隔されている。第３図の
例ではこのような七ジュールとして、［ｒｕｌｅ　　１
２ｊの判断の正当性を説明するたメツプロクラム［ｒｕ
ｌｅ　　ｉ２、ＥＸＥＪが型備されている。このような
モジュールは、事象評価が−・清１′シ１ζ時ｆＩＨ４
において推論を一時中断し、その時点よ（［に真偽が判
明したＵＴ　ｆｆｉの一覧や、現在評１Ｊｔｉ中のルー
ルのｒ、ｆ　ｌＩＩ＋などの推論状況を表示する形で行
なわれる。つまり、このような説明を行なわせるための
説明）−−ドとしておけば、現在評価中のルールの説明
を行なう際に、推論装置４がこのようなＦジＪ−−ルの
イ■無をヂエツクするとともに、法当七ジー１−ルが存
在すれば、そのモジコーールを羨Ｃ動さ１！る。

第０図はこのようなルール関連情報提供Ｅジュールの実
行ｆｆ、１　（２ｎ例を示すフローヂト−１−である。

この第９図に１おいて、まず、事象評（１１ｉ　ｔ−ド
とさねでいうＱにキーボード６ａからｉ′′を人力する
ことによって推論状況提供Ｌ−ドに移り、ステップ３７
１で第１０図のようなメニュー画面がディスプレイ６ｂ
上に表示される。これらのメニューのメニュ一番号のう
ち”　ｉ　”を入力すると、第９図のステップ３７２か
らステップ３７３に移り、仮説関連情報り供ｔジコール
の右−無が判断される。

この」：う４ｒモジ−１−ルがなければ評価中のルール
の表示（ステップ５７４）を行なうのみであるが、該当
ｔジｊ−ルがあればステップＳ７５でそのモジュールを
実行し、」−述したような説明表示が行なわれる。

一方、オペレータが選択したメニュー画面が”　１　”
　、　　”６”以外のものであると、選択された。

メニュー画面（第１０図中においては省略）が実行され
る（ステップＳ７６゜５７７）。オペレータが゛６パの
メニュ一番号を選択すると、ここでのルーチンを完了し
、事象評価モードへと戻る（ステップ８７８）。

Ｄ、実施遭−艮ユへ工Ｊと積□研 以上のようにして、この発明の実施例によって管理され
た知識ベース３０が（り用され、自動疵見装置１０の故
障診断が進められて行く。この動作において、知識ベー
ス３０が分割され、かつそれらと推論装置４どが直接に
結合でさるようになっているため、新たなモジュールを
追加した際にも、知識ソースファイルＳＦに変更を加え
る必要はない。

たとえば第３図の事象付随情報処理モジュールＭ２ｂに
ゲーｊ−信号チェックを実行するモジュールを追加した
い場合には、ｒＧＴＣ）−ＩＫ、ＥＸＦｊという名称の
実行形式のモジコールを追加するのみでよい。領域分割
がなされているため、事染関連情報１足供モジコールＭ
２ａ中にｒＧＴｃＩ−ＩＫ、ＥＸ　Ｅ　１が既に存在し
ていることを考慮プる必要も４ｇ＜、ソースフｊ・イル
ＳＦ２の内容を変更する必要もイｃい。知識ソースファ
イルＳＦ内に結合部を設（づろことがないため、この知
識ソースファイルＳＦの昂１成ｊ：）簡単になる。

さらに、実際の推論においては、随時、知識ベース３０
の各領域を検索して、利用可能なファイル、モジコール
ないしはデータなどがある場合には、それらを利用して
ｌＩｉ論を進めて行くことになるため、推論Ｅ）ノ作の
効率も高い乙のとなっている。

な４５．上記実施例では自動疵見装置の故障診断を例に
とったが、他の知的情報灰理（こもこの発明は適用可能
である。知識ベースの分類方法としては、上記実施例の
分類法が最も効率的であるが、他の分類法を用いてもよ
い。たとえば、イ」随情報処理七ジュールなどを、その
性格に応じてさらに細分類することなどもできる。

（発明の効果） 以上説明したように、この発明によれば、知識ベースを
所定数の領域に分割して、知識ソースファイルおよびユ
ーザーモジュールを所定の基準に従っ”Ｃ分類づ゛ると
ともに、分類された知識ソースファイルｄ３よびユーザ
ーモジュールを種類別にこれらの領域へ配分格納し、こ
のようにして配分格納されたソースファイルとユーザー
モジ」、−ルとをそれぞれ直接に推論手段へ結合可能と
（）ているため、知識ベースの保守性や開発効率を向卜
させることができるという２１Ｊ果がある。

【図面の簡単な説明】

第１図はこの発明を自動疵見装置の故障診断システムの
知識ベースの管理に適用した場合の知識ベースどｊＩ浦
装との結合関係を示づ概念図、第２図は実施例を利用し
た故障診断システムの概１８構成図、 第３図は実施例における知識ベースの内容例を示す図、 第４図は故障診断システムの動作例を示すフローチＶ−
ト、 第５図ないし、第１０図は故障診断システムの動作の詳
細を示す図、 第１１図および第１２図は従来の知識ベース管理方法の
説明図である。 ４・・・推論装置、 １０・・・自動疵見装置、 ２１・・・知識ベース記憶装置、 ３０・・・知識ベース、 ＳＦ・・・知識ソースファイル、

Claims (1)

【特許請求の範囲】
1. （１）知的情報処理システムにおける知識ベース管理方
   法であって、 知識ベースを所定数の領域に分割し、 知識ソースファイルおよびユーザーモジュールを所定の
   基準に従って分類するとともに、分類された知識ソース
   ファイルおよびユーザーモジュールを種類別に前記領域
   へ配分格納し、 前記領域に配分格納された前記ソースファイルと前記ユ
   ーザーモジュールとを、それぞれ直接に推論手段へ結合
   可能としたことを特徴とする知識ベース管理方法。