JPH06507991A - 知識ベースの形成及びそのシミュレーション - Google Patents

Abstract

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

Description

【発明の詳細な説明】 知識ベースの形成及びそのシミュレーション主腓旦背遣 の１ 本発明は、コンビ二一夕の動作に関し、特にコンピュータによるエキスパートシ ステムのための知識ベースの形成に関する。

鑑末鼓韮 規則に基づいたエキスパートシステムは、規則の形式をした熟練者（エキスパー ト）の知識を表す。各規則は、ステートメント間の論理的な関係を表している。

図１は、工場のシステムの故障を処理する方法の知識を含むかなり簡単な知識ベ ースの規則を表している。この知識ベースは以下のように要約される。システム が稼働していないときは、電源がオンになっているかどうかを点検する。電源が オフならば、電源スィッチを投入する。このとき、更にシステムが稼働しなけれ ば、配線を点検する。もし配線が不完全ならば、正しく配線し直す。もしシステ ムが依然として稼働しなければ、システムを修理するために修理工を呼ぶ。

知識ベースを形成するために、利用者は、図１に示されるような規則の形式で知 識を表現する。次にコンピュータのプログラムが知識ベースを形成する。

図１に例示されたように、簡単な知識ベースの規則であっても複雑であり、その ような規則を記述することは困難かつ誤りの発生しゃすい作業である。

利用者が規則を記述することを援助するために、種々の技術が開発されている。

ある技術は、規則を記述する前に、知識ベースのグラフィック表現を形成するも のである。グラフィック表現には、フローチャートと論理ツリーとが含まれてい る。フローチャートまたは論理ツリーのノードは、知識ベースのステートメント を表す。異なる種類のステートメントは、異なる形状のノードによって表現され る。付録Ａは、あるフローチャート技術のノードの形状を表している。付録Ａで は、７個の異なる形状のノードが用いられている。利用者は、グラフィック表現 を構築し、次にグラフィック表現を前にして規則を記述する。グラフィック表現 は、規則よりも構成することが容易であり、利用者が規則を記述することの助け となる。

グラフィック表現を使用することによって、規則の記述が容易となるが、大型知 識ベースでは、規則の記述は依然として困難かつ誤りの生じやすい作業である。

更に、大型の知識ベースでは、グラフィック表現も複雑となり、従って大型の知 識ベースの構築と使用は困難となる。

従って、知識ベースの形成を容易にするシステムを提供することが望まれる。ま た、混乱が少なく、従ってより使用しやすいフローチャートなどの視覚的援助手 段を提供することが望まれる。

更に、知識ベースの実行をシミュレートし、利用者の理解を容易にするために、 シミュレーションの結果を提供するシステムを提供することが望まれる。そのよ うなシステムでは、知識ベースのデバッグ及び未熟練者の訓練が容易となる。

免肌優皿示 本発明は、知識ベースの形成を容易にする方法及びシステムを提供する。コンピ ュータシステムは、フローチャートまたは論理ツリーから直接知識ベースを形成 する。規則はコンピュータのプログラムによって決定される。利用者が規則を記 述する必要はなく、また規則に関する知識を持っていなくてもよい。

幾つかの実施例では、フローチャートは単純化されている。フローチャートの全 てのノードは、開始ノード、出口ノード、決定ノード、及び手続きノードの４種 類のノードに分類される。開始ノードは、知識ベースへの入り０点を表すもので ある。出口ノードは、知識ベースからの出口点を表すものである。決定ノードは 、知識ベースの変数を評価すると共に真（Ｔ）、偽（Ｆ）、または未知（Ｕ）の ３種類の異なる状態の内の１つを有するステートメントを表現する。名手続きノ ードは、熟練者によって実行される動作を表現し、その動作は知識ベースの変数 を評価するものではない。全ての同じ形式のノードには、同じシンボル（“アイ コン”）が用いられる。即ち、従来の技術とは異なり、４種類のシンボル（“ア イコン”）のみがフローチャート内で使用される。ある実施例では、より少ない 種類のアイコンが用いられる。

従来技術では、知識ベース内のあるステートメントから他のステートメントへの 論理フローは、各々のノードを接続するラインによって、フローチャート内で表 現されている。特に、決定ノードからは、最大で３本のラインが発生し、この３ 本のラインは各々、真（Ｔ）、偽（Ｆ）、及び未知（Ｕ）の状態に対応している 。利用者が論理フローをトレースすることを援助するために、本発明の幾つかの フローチャートの各決定ノードは、異なる状態に対して異なる色の部分を有する 。例えば、ある実施例では、菱形の決定ノードの１つの角は、状態Ｔを表す緑色 であり、２つ目の角は状態Ｆを表す赤色であり、３つ目の角は状態Ｕを表す黄色 である。ステートメントが真である場合の論理フローは、緑色の角から発生する ラインによって表現されている。ステートメントが偽である場合の論理フローは 、赤色の角から発生するラインによって表現されている。ステートメントが未知 である場合の論理フローは、黄色の角から発生するラインによって表現されてい る。決定ノード内で複数の色を用いることによって、フローチャートはより混乱 の少ないものとなり、フローチャートを構築する作業がより容易にかつより誤り の少ないものとなる。

ある実施例では、利用者は、知識ベースを表現するフローチャートまたは論理ツ リーを構築するために、コンピュータのプログラムを用いる。利用者は、命令メ ニューから命令を選択することによって、各ステートメントに関連する命令を決 定する。ある実施例では、異なる命令メニューが、異なる形式のノートに用いる ために表示される。例えば、決定ノード用の命令メニューは手続きノード用の命 令メニューとは異なる。異なる命令メニューを用いることによって、利用者が誤 った命令をノードに関連させるという誤りを回避することができる。

大型の知識ベースは、より小型の知識ベースの組合せとして表現することによっ て、その構築がより容易となる。

各々のより小型の知識ベースは、フローチャートまたは論理ツリーによって表現 することができる。知識ベース間の結合は、エキスパートシステムに、あるより 小型の知識ベースの実行を停止させ、かつ他のより小型の知識ベースの実行を開 始させる命令によって提供される。全ての小型の知識ベースがフローチャートに よって表現されるかまたは、論理ツリーによって表現されるときのみに、異なる 小型の知識ベース間の結合が提供される従来の技術とは異なり、本発明によって 、フローチャートによって表現された小型の知識ベースを論理ツリーによって表 現された小型の知識ベースと結合させることが可能となる。

更に、エキスパートシステムによる知識ベースの実行をシミュレートする独自の シミュレーションシステム（“シミュレータ”）が提供される。シミュレーショ ンシステムは、コンピュータの画面上に、シミュレートされているステートメン トを含むフローチャートまたは論理ツリーを表示する。ある実施例では、シミュ レートされているステートメントを表現するノードが、特別な印によってコンピ ュータの画面上にマークされる。更に、論理ツリーによって表現されたステート メントがシミュレートされているとき、シミュレータは各ステートメントの現在 の状態を、対応するノードの色によって表現する。シミュレーションシステムは 、知識ベースのデバッグ及びエキスパートシステムの利用者の訓練に適している 。シミュレーションシステムは更に、知識ベースに含まれる知識を学ぶことを望 む利用者の訓練にも適している。

図面の簡単な説明 第１図は、従来の知識ベース形成システムへの入力のための規則のリストを表す 図である。

第２図は、本発明に基づく知識ベース形成プログラムのブロック図である。

第３図は、コンピュータメモリ内の知識ベースのブロック図である。

第４図は、本発明のコンピュータシステムを用いて構築されたフローチャートで ある。

第５図は、本発明のコンピュータシステムによる知識ベース形成中のある時点の コンピュータ画面を表す図である。

第６図は、知識ベース形成中の本発明のシステムによって表示された論理ツリー を示す図である。

第７Ａ図〜第７Ｇ図は、知識ベースの従来技術のグラフィック表現によるステー トメントを表現するノードを表す図である。

な　の０　′ 第２図は、知識ベースを形成するために適したコンピュータプログラム２２０の ブロック図を示している。プログラム２２０は、ステップ２２４に於いて、利用 者がフローチャート、論理ツリーまたはその両方を用いて知識ベースをグラフィ ック表現によって表すことを可能とする。利用者は、例えばキーボードまたはマ ウスを用いることによってグラフィック表現を構築する。プログラム２２４は、 フローチャート及び論理ツリーが構築されるときに、フローチャート及び論理ツ リーをコンピュータの表示画面上に表示する。プログラム２２４は、利用者が従 来通りフローチャート及び論理ツリーを編集することを可能にする。

プログラム２２０は、ステップ２２８に於いて、ステップ２２４で構築されたグ ラフィック表現から知識ベースを形成する。特に、プログラム２２８は、知識ベ ースの規則を形成する。利用者は、規則を決定する必要はなく、また規則をコン ピュータ内に入力する必要もない。

プログラム２２８は、推論エンジンへの入力に適した書式で知識ベースを表現す る。エキスパートシステムが動作している間、推論エンジンが知識ベースを読み 出しかつ実行する。推論エンジンの具体例は、１９９２年６月２日に発行された 米国特許第５，１１９，３１５号”Ｅｘｐｅｒｔ　Ｃｏｎｔｒｏｌ　Ｓｙｓｔｅ ｍ　ｆｏｒ　ＲｅａｌＴｉｍｅ　Ｍａｎａｇｅｍｅｎｔ　ｏｆ　Ａｕｔｏｍａｔ ｅｄ　Ｆａｃｔｏｒｙ　Ｅｑｕｉｐｍｅｎｔ’″の明細書に開示されており、こ の特許明細書はここで言及したことにより本出願の一部とされたい。プログラム ２２０の具体例は、米国カリフォルニア州Ｐａ１ｏ　ＡｌｔｏのＥｘｐｅｒｔ　 Ｅｄｇｅ　Ｃｏｒｐｏｒａｔｉｏｎがら入手することのできるＲｏｃｋｙ　２． ＯＱｕｉｃｋＳｔａｒｔＡｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅに記載されており、こ の文献はここで言及したことによって本出願の一部とされたい。

第３図は、プログラム２２０によって構築された典型的な知識ベース３２０のブ ロック図を表している。プログラム２２８は、主記憶装置、ディスク、またはコ ンピュータによってアクセス可能なメモリ等のコンピュータメモリ３３０内に知 識ベース３２０を記憶する。知識ベース３２０は、概ね幾つかのより小型の知識 ベース３３４．１．３３４．２．３３４．３等を有する。最も簡単な場合、知識 ベース３２０は１つの知識ベース３３４．１のみを有する。

知識ベース３３４を他の知識ベースと結合することができる。第３図の例では、 知識ベース３３４．１は、各々ライン３３８及び３４０によって示されているよ うに、知識ベース３３４．２及び知識ベース３３４３に結合されている。知識ベ ースの結合は、上述された米国特許第５，１１９．３１８号の明細書に記載され ている。

ステップ２２４では、各知識ベース３３４はフローチャートまたは論理ツリーに よって表現されている。上述されたように、プログラム２２８はステップ２２４ でフローチャート及び論理ツリーから知識ベース３２０を構築する。

第４図は、ステップ２２４で構築されたフローチャートの例を表している。フロ ーチャートは１つの例として、知識ベース３３４．１を表現している。知識ベー ス３３４゜１は、工場内に設置されたコンベアの故障修理の熟練者の知識を含む 。その知識は以下のように要約される。もしコンベアが稼働しないならば、熟練 者はモータが回転しているかどうかを検査する。もしモータが回転していなけれ ば、熟練者は必要に応じて修理した後にモータを再びスタートさせる。もしコン ベアが依然として稼働していないならば、熟練者はモータに接続されたシャフト が切り離されていないかどうかを検査する。もしシャフトが切り離されているな らば、熟練者はシャフトを修理する。もしコンベアが依然として稼働しないなら ば、熟練者は、他のより熟練した者から援助を得るべく整備工を呼ぶ。もしコン ベアが稼働しているならば、熟練者は故障処理を終了する。

知識ベース３３４．１は、第４図のフローチャートによって次のように表現され ている。開始ステートメントは開始ノード４２４によって表現されている。論理 フローは、開始ステートメントから、決定ノード４２６によって表現されたステ ートメントへ移動する。そのステートメントは“コンベアが稼働しているが？” という試験を実施する。

ステートメントはその試験の答えに対して、３つの状態、真（Ｔ）、偽（Ｆ）、 及び未知（Ｕ）を有する。利用者がフローチャートをトレースすることを援助す るために、決定ノード４２６は、各状態に対する異なる色の部分、即ち、真（Ｔ ）ための緑色の部分４２６Ａと、偽（Ｆ）のための赤色の部分４２６Ｂと、未知 （Ｕ）のための黄色の部分４２６Ｃとを有する。もしステートメントが真（コン ベアが稼働している）ならば、論理フローは、出口ノード４２８によって表現さ れた終了ステートメントへのバスに向がう。

そのバスは、部分４２６Ａと出口ノード４２８とを接続するライン４３０によっ て表現されている。出口ノード４２８は故障処理の終了を表している。

もし決定ノード４２６のステートメントが偽であるならば、制御は、ステートメ ント“モータが回転しているが？”を表現する決定ノード４３２へ移動する。も しステートメントが偽ならば、制御は手続きノード４３４“モータの再始動”へ 移動する。もし決定ノード４３２のステートメントが真ならば、制御は決定ノー ド４３６へ移動する。手続き、ノード４３４からの制御もまた決定ノード４３６ 移動する。決定ノード４３６はステートメント“コンベアが稼働しているか？” を表現している。もしステートメントが偽ならば、シャフトが検査される。即ち 、手続きノード４４０では、シャフトの画像がスキャナによって取り込まれ、コ ンピュータ内にロードされ、操作盤に表示される。次に制御は決定ノード４４２ “シャフトが切り離されているか？”へ移動する。操作員はシャフトの画像をチ ェックし、答えを提供する。もし答えが真ならば、シャフトは手続きノード４４ ４で修理される。次に、決定ノード４４６で、　“コンベアが稼働しているか？ ”という試験が再び実施される。もし答えが偽または未知ならば、制御は手続き ノード４５０　“修理工を呼ぶ”に移動する。もし答えが真ならばｉＭ御は出口 ノード４２８へ移動する。手続きノード４５０では、修理工がコンベアを修理し 、制御は出口ノード４２８へ移動する。

ある実施例では、フローチャートのための４種類の形状のノード、即ち、開始ノ ード、決定ノード、手続きノード、及び出口ノードのみが用いられている。各決 定ノードは、３種類の状態、Ｔ、Ｆ、及びＵを有する。各開始ノード、手続きノ ード、及び出口ノードは、１つの状態のみを有する。４種類のアイコンのみがノ ードを表すために用いられており、開始ノードは楕円形のアイコンによって表現 され、決定ノードは３種類の状態を表す異なる色の部分を有する菱形のアイコン によって表現され、手続きノードは長方形のアイコンによって表現され、出口ノ ードは五角形のアイコンによって表現されている。ある実施例では、より少ない 種類のアイコンが用いられる。ある実施例では、例えば等しいアイコンが開始ノ ード及び手続きノードとして用いられている。アイコンの種類を少なくすること によって、フローチャートはより簡単となり、理解しやすいものとなる。決定ノ ードの異なる色もまたフローチャートをより理解し易いものとする。

ある実施例では、異なる種類のノードを表現するアイコンは、同じ形状であって 、異なる色を有する。他の実施例では、色及び形の両方が異なるアイコンが用い られている。

ステップ２２４では、利用者は、推論エンジンが対応するステートメントを評価 するときに推論エンジンによって実施される１個または複数の命令のリストを、 任意のノードに対して特定する。例えば、ある変形実施例では、決定ノード４２ ６は、コンベアの動きを感知するセンサの出力をコンピュータに読み込ませる命 令に関連している。命令は、もしコンベアが稼働しているならば真の値（Ｔ）を 返却し、コンベアが稼働していなければ偽の値（Ｆ）を返却し、例えば、コンピ ュータがセンサの出力を読み出したときに読み出しエラーが発生するなどによっ てコンベアが稼働しているかどうかを決定できないときには未知の値（Ｕ）を返 却する。ユーザは、命令キーボード（ある実施例では“離散変数を得る”）とセ ンサに対応する変数名とを特定することによって命令を特定する。その命令によ って、コンピュータはセンサの出力を読み出すと共に読み出し動作の結果によっ て変数をＴ、Ｆ、　またはＵにセットする。次にコマンドが変数の値を返却する 。

真（Ｄ）、偽（Ｆ）、及び未知（Ｕ）の値のみを有する変数はここで“離散的” と表現されている。センサに対応する上述された変数は、離散的変数の１つの例 である。

システムＲｏｃｋｙ　２．０で構築されたフローチャートは、ＱｕｉｃｋＳｔａ ｒｔ　Ａｕｔｈｏｒｊｎｇ　Ｇｕｉｄｅ、５ｕｐｒａの第８１頁〜第１３６頁に 記載されている。命令は、第８１頁〜第１３６頁に記載されている。

ある実施例では、利用者は独立したプログラム“Ｄａｔａ　Ｅｄｉｔｏｒ”を用 いて変数名を定義する。利用者はまた、Ｄａｔａ　Ｅｄｉｔｏｒを用いて、特定 の変数と、センサなどの入出力装置との対応を定義する。そのようなりａｔａ　 Ｅｄｉｔｏｒの１つが、ＱｕｉｃｋＳｔａｒｔＡｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ 、５ｕｐｒａの第３１頁〜第８４頁に記載されている。

ある実施例では、特定の命令が特定の形式のノードに関連付けられている。例え ば、ある実施例では、決定ノードに関連した命令が、離散的変数の値を評価し、 または値Ｔ、Ｆ、またはＵを返却する他のいくつかの動作を実施する。

手続きノードと関連した命令は、計算、メツセージの転送、及び離散的変数値を 評価しない他の動作を実施する。開始ノード及び出口ノードに関連した命令は、 操作盤にディスプレイをロードし、またはメツセージを送ることのみを実行する ことができる。ある実施例では、決定ノードのみが、離散的変数の値を評価する 命令と関連付けられ、手続きノード、開始ノード及び出口ノードはこのような命 令とは関連付けられていない。

第５図は、システムＲｏｃｋｙ　２．０での命令を定義する間のコンピュータの 表示画面を示している。利用者は開始ノード４２４を既に定義している。利用者 は、マウスを用いてノード定義スクリーン５２０を開いている。利用者は、名前 入力ブロック５２４に“Ｃｏｎｖｅｙｏｒ”を打ち込んでいて、プログラム２２ ４は開始ノード４２４の中にその名前を表示している。

プログラム２２４また命令一覧ウイントウ５２８に命令メニュー５２７を表示し ている。マウスを用いることによって、利用者はメニュー５２７から１個または 複数の命令を選択できる。選択された命令のリストが、開始ノード４２４と関連 付けられ、ウィンドウ５３０内に表示される。

ある実施例では、異なる形式のノードが、異なる命令メニューに対応する。シス テムＲｏｃｋｙ　２．０の各形式のノードのための命令メニューが、Ｑｕｉｃｋ ＳｔａｒｔＡｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ、５ｕｐｒａの第Ａ−３３頁に記載 されている。この参考文献に記載されたように、決定ノードのための命令メニュ ーは、離散的変数の値を評価する命令を含む。他の形式のノードのための命令メ ニューにはこのような命令が含まれない。手続きノードのための命令メニューは 、開始ノード及び出口ノードのための命令メニューとは異なる。プログラム２２ ４は、各ノードに対して、命令一覧ウイントウ５２８に適切な命令メニューを表 示する。各形式のノードに対して個別の命令メニューを用いることによって、ノ ードに対して誤った命令を関連付けることを防止することができる。

ある命令は、異なる知識ベース間の結合を提供する。例えば、第４図のフローチ ャートの変形例では、手続きノード４３４（“モータの再始動”）は、命令Ｒｕ ｎ　ＫＢ（第４図には示されていない）と関連付けられている。この命令によっ て、推論エンジンは、モータを再始動させるための熟練者の知識を獲得した他の 知識ベース（例えば３３４．２）を実行する。知識ベース３３４．２は、ステッ プ２２４に於いて、フローチャートまたは論理ツリーによって表現されている。

論理ツリーは、知識ベースのもう一つのグラフィック表現を提供する。フローチ ャートは、与えられた問題を解決するために実施されるステップの順序を表現す るために便利な方法であるが、論理ツリーは、与えられた問題がどのように小さ な問題に区分されるかを表現するために便利な方法である。論理ツリーは、上述 された米国特許第５，１１９．３１８号明細書に開示されている。

第６図は、第４図の知識ベース３３４．１を表現した論理ツリーを示している。

課題“コンベアが稼働していない”　（ノード６２０）は、３個の課題、　（１ ）“モータが回転していない”　（ノード６３ｏ）、　（２）“シャフトが切り 離されている”　（ノード６３２）、及び（３）“修理工がシャフトを修理して いない”　（ノード６３４）に区分されている。各ノードは、知識ベース３３４ ．１のステートメントを表現している。各ステートメントは、真（Ｔ）、偽（Ｆ ）、未知（Ｕ）及び未試験の値をとることが可能である。ノード６２０のステー トメントは、ノード６３０．６３２及び６３４のステートメントの論理ＯＲであ る。特別な印（図示されていない）が、論理ツリー内で、ＡＮＤ。

ＮＯＴ及びステートメント間の他の論理的な関係を表すために用いられている。

詳細な内容に関しては、上述された米国特許第５，１１９，３１８号の明細書を 参照されたい。

ノード６２０のステートメントのような、他のステートメントの論理関数である ステートメントは、　“結論”ステートメントと呼ばれている。結論ステートメ ントは、　“結論”ノードによって表現されている。例えば、ノード６２０は結 論ノードである。非結論ステートメントは、　“評価”ノードによって表現され ている。ノード６３０，６３２及び６３４は評価ノードである。システムＲｏｃ ｋｙ　２゜０では、楕円形のアイコンが各結論ノードに用いられており、丸みを 帯びた四隅を有する長方形のアイコンが各評価ノードに用いられている。

各ノードは、ノードと関連した命令のリストを有する。

推論エンジンは、対応するステートメントを評価するときにこの命令を実行する 。例えば、上述された米国特許第５゜１１９．３１８号の明細書を参照されたい 。ある例では、第６図のノード６３２は、次の命令リストに関連している。

Ｌｏａｄ　Ｄｉｓｐｌａｙ Ｕｓｅｒ　Ｃｏｎｆｉｒｍ　５ｔａｔｅ（Ｔ、Ｕ）　Ｕｓｅｒ　Ｃｏｎｆ　ｉ　 ｒｍ　５ｔａｔｅこれらの命令の各々は、１個または複数の変数（図示されてい ない）を有する。命令“Ｌｏａｄ　Ｄｉｓｐｌａｙ”は、スキャナからの画像を 獲得し、コンピュータにシャフトの画像をロードし、操作盤にシャフトの画像を 表示するものである。命令“Ｕｓｅｒ　Ｃｏｎｆｉｒｍ　５ｔａｔｅ”は、操作 盤に、メツセージ“５ｈａｆｔ　Ｄｅｔａｃｈｅｄ？”を表示するものである。

操作員はシャフトの画像を検査し、Ｙｅｓ、Ｎｏ、またはＵｎｋｎｏｗｎの答え を提供する。ノード６３２の状態は、その答に対応して真（Ｔ）、偽（Ｆ）、ま たは未知（Ｕ）にセットされる。

ノード６３２の状態がＴまたはＵならば、最後の命令“Ｕｓｅｒ　Ｃｏｎｆｉｒ ｍ　５ｔａｔｅ”が実行される。最後のコマンドの前の文字列“（Ｔ、Ｕ）”は 、最後の命令がノード６３２の状態がＴまたはＵのときにのみ実行されることを 示している。最後の命令は次のメツセージを表示する。

Ｃａ１ｌ　ｒｅｐａｉｒｍａｎ　ａｔ　５５５−５５５５　ｔｏ　ｒｅｐａｉｒ 　ｔｈｅ　５ｈａｆｔ。

５ｈａｆｔ　５ｔｉｌｌ　ｄｅｔａｃｈｅｄ？操作員は修理工を呼び、修理工が シャフトの修理を試みたのち、操作員はシャフトの状態に関する質問に対して、 Ｙｅｓ、ＮｏまたはＵ　ｎ　ｋ　ｎ　ｏ　ｗ　ｎの答えを提供する。ノード６３ ２の状態は、その答えに対応してＴ、Ｆ、またはＵにセットされる。

システムＲｏｃｋｙ　２．Ｏでは、ステップ２２４での論理ツリーのための命令 の定義は、フローチャートのための命令の定義と等しい。特に、結論ノードと評 価ノードとでは異なる命令メニューが表示される。評価ノードのための命令メニ ューは、離散的変数を評価する命令を含み、一方結論ノードのための命令メニュ ーは離散的変数を評価するための命令を含まない。

システムＲｏｃｋｙ　２．Ｏの論理ツリーの構築は、Ｑｕｉｃｋｓｔａｒｔ　Ａ ｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ。

５ｕｐｒａの第１３７頁〜第１７４頁に記載されている。

命令メニューは、上述された参考文献の第Ａ−３４頁に記載されている。

ＲＵＮ　ＫＢのような命令は、論理ツリーによって表現された知識ベースを、論 理ツリーによって表現された他の知識ベースまたはフローチャートと結合させる 。

利用者はステップ２２４で、論理ツリー内の任意に与えられた命令の実行が、個 々のステートメントの状態を条件とすることを明示する。例えば、ＱｕｉｃｋＳ ｔａｒｔＡｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ、　５ｕｐｒａの第Ａ−３５頁を参照 されたい。更に、上述された米国特許第５゜１１９．３１８号の明細書を参照さ れたい。

知識ベース３３４の１つは“ルート”知識ベースであり、推論エンジンは、その 知識ベースから知識ベース３２０の実行を開始する。システムＲｏｃｋｙ　２． ０では、利用者はステップ２２８に於いてルート知識ベースを特定する。

プログラム２２８は、メモリ３３０内にルート知識ベースの情報を提供する。Ｑ ｕｉｃｋＳｔａｒｔ　Ａｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ、　５ｕｐｒａの第２０ ３頁を参照されたい。

実行シミュレーションシステムは、プログラム２２０によって構築された知識ベ ース３２０の実行をシミュレートするために提供されている。実行シミュレーシ ョンシステム（“シミュレータ”）は、知識ベースをデバッグし、かつ未熟練者 を訓練するために用いられる。シミュレータは必要に応じて推論エンジンを呼び 出す。シミュレーション中にエキスパートシステムによって制御されるべき外部 装置が存在する場合でも、コンピュータは外部装置と接続される必要はない。シ ミュレータにセンサなどの外部装置から数値を読み出す命令が与えられたとき、 シミュレータは利用者にキーボードから数値を入力することを促す。例えば、Ｑ ｕｉｃｋＳｔａｒｔ　Ａｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ、　５ｕｐｒａの第２０ ５頁〜第２２４頁を参照されたい。

シミュレータが知識ベース３３４の実行をシミュレートしているとき、シミュレ ータはコンピュータの画面上に対応するフローチャートまたは論理ツリーを表示 する。その実行がシミュレートされているステートメントに対応するノードは、 画面上で特別のシンボルによって指示されている。例えば、ＱｕｉｃｋＳｔａｒ ｔ　ＡｕｔｈｏｒｉｎｇＧｕｉｄｅ、　５ｕｐｒａの第２１２頁〜第２１３頁の Ｒｏｃｋｙ　１ｃｏｎの記載を参照されたい。

ユーザはブレークポイントを設定することができ、かつシミュレーションの間に 種々の情報を表示することができる。

シミュレーションシステムは、利用者が同時に幾つかのステートメントを通過し て、あるステートメントに移動することを可能にする。利用者が随時マウスのボ タンをクリックすることによって、あるステートメントが評価され対応する命令 が実行される。

知識ベース３３４が論理ツリーによって構築されている場合、シミュレータは、 対応するノードの色によって知識ベースのステートメントの現在の状態を指示す る。状態が真のとき、ノードの境界線は緑色である。状態が偽のときノードの境 界線は赤色である。状態が未知のとき、ノードの境界線は黄色である。状態が未 試験ならば、ノードの境界線は黒である。

システムＲｏｃｋｙ　２．Ｏのためのシミュレータは、ＱｕｉｃｋＳｔａｒｔ　 Ａｕｔｈｏｒｉｎｇ　Ｇｕｉｄｅ。

５ｕｐｒａの第２０８頁〜第２２４頁に記載されている。

プログラム２２０（第２図）、推論エンジン、シミュレータ、及びデータエディ タを含む、システムＲｏｃｋｙ２、Ｏのためのコンピュータプログラムが実施さ れる。コンピュータプログラムはＣ言語で記述されている。プログラムは、米国 ワシントン州ＲｅｄｍｏｎｄのＭ　ｉ　ｃ　ｒ　ｏ　５ｏｆｔ社から入手可能な Ｍｉｃｒｏｓｏｆｔ　ＣＯｐｔｉｍｉｚｉｎｇ　Ｃｏｍｐｉｌｅｒ　バージョン ６．００というコンパイラを用いてコンパイル可能である。プログラムは、Ｍ　 ｉ　ｃ　ｒ　ｏ　ｓ　ｏ　ｆ　を社から入手可能なＭ　ｉ　ｃ　ｒ　。

５ｏｆｔ　Ｓｅｇｍｅｎｔｅｄ／ＥｘｅｃｕｔａｂｌｅＬｉｎｋｅｒ　バージョ ン５．１０によってリンク可能である。プログラムは、米国カリフォルニア州Ｓ ａｎ　Ｊ。

ｓｅのＩＢＭ社から入手可能なコンピュータＩＢＭ　ＰＣによってコンパイル及 びリンク可能である。適切なオペレーティングシステムは、ＭＳ　Ｗｉｎｄｏｗ ｓ　（商標）３゜０と共に実行されるＭＳ−ＤＯＳバージョン３．３であり、こ れらはＭｉｃｒｏｓｏｆｔ社から入手することができる。

プログラムは、米国カリフォルニア州Ｓａｎ　ＪｏｓｅのＩＢＭ社から入手可能 なＩＢＭ　ＰＣ−２８６コンビユータによって実行される。プログラムの実行に 必要とされるハードウェアは、ＱｕｉｃｋＳｔａｒｔ　Ａｕｔｈｏｒｉｎｇ　Ｇ ｕｉｄｅ、　５ｕｐｒａの第１３頁〜第１４頁に記載されている。オペレーティ ングシステムを含む必要とされるソフトウェアは、上記参考文献の第１４頁に記 載されている。

本発明が、上述された実施例に関して説明されたが、ここで説明されなかった他 の実施例及び変型実施例もまた本発明の技術的視点を逸脱するものではない。例 えば、本発明は、ノードの形状または色によって限定されるものではない。これ まで説明されなかった他の実施例及び変型実施例も添付の請求項によって定義さ れる本発明の技術的視点を逸脱するものではない。

仕置Ａ 第７Ａ図は、入力値を待つステートメントを表す疑問記号を示している。入力値 は、真、偽、または未知である。

このような種類のステートメントに付属する命令の例は、Ｒｅａｄ　ｓｔｍｔ　 ５ｔａｔｅ、Ｇｅｔ　ｐｌｃ　５ｔａｔｅ及びＧｅｔ　ｔｉｍｅｒ　５ｔａｔｅ である〇第７Ｂ図は、トリガされたステートメントが入力の値にかかわらず入力 が読み込まれると一旦真にセットされるということを除いて、上述されたステー トメントと同様のステートメントを表示する行動記号を表す。この種のステート メントに付属する命令は、Ｒｅａｄ　ｃｏｎｆｉｒｍａｔｉｏｎである。

第７Ｃ図は、メツセージを送り出す状態を表すメツセージ記号である。この種の ステートメントに付属する命令の例としては、５ｅｎｄ　ｔｅｓｔがある。

第７Ｄ図は、命令の付属していないステートメントを表すダミー記号である。

第７Ｅ図は、トリガされたとき他の指定された知識ベースを実行することによっ て現在の推論ループに割り込みをかけるステートメントを表現するに、Ｂ、ジャ ンプ記号を表す。このステートメントに付属する命令は、Ｒｕｍｋｂである。

第７Ｆ図は、トリガされたとき全体の知識ベースを再びスタートさせるステート メントを表現する再スタート記号を表す。このステートメントに付属する命令は Ｒｅ５ｔａｒｔ　ｋｂである。

第７Ｇ図は、トリガされたとき現在の知識ベースの実行を終了するステートメン トを表現する出口記号を表す。このステートメントに付属する命令はＱｕｉｔ　 ｋｂである。

〈出口〉ツ〈／ステムが稼働している＞ＯＲＮＯＴくシステムが稼動していない ＞ＡＮＤ＜／ステムが修理された〉くシステムが修理された〉冨＜電源及び配線 ＯＫ＞ＡＮＤくシステムが稼働している２〉ＯＲ く電源及び配＠ＯＫ＞ＡＮＤ　ＮＯＴ くシステムが稼働している２＞ＡＮＤ く修理工を呼び配線を修理する〉 く電源及び配線ＯＫ＞−＜電源。Ｎ＞ＡＮＤ　ＮＯＴ＜システムが稼動している 〉ＡＮＤ＜配線ＯＫ＞ＯＲ＜電源ＯＮ＞ＡＮＤ　ＮＯＴく／ステムが稼働してい る＞ＡＮＤ　ＮＯＴ＜配線。Ｋ〉ＡＮＤ＜配線を修理〉 く電源ＯＮ＞−＜電源ＯＮＩ＞ＯＲＮＯＴ＜電源ＯＮＩ＞ＡＮＤ＜を源スイッチ 投入〉 隨來曵１１ １．知識ベースの形成方法であって、 コンピュータ内で前記知識ベースのフローチャートを構築する過程と、 前記コンピュータによって前記フローチャートから前記知識ベースの規則を形成 するための過程とを有することを特徴とする知識ベースの形成方法。

２、前記形成過程が、コンピュータ推論システムの入力書式で前記規則を表現す る過程を有することを特徴とする請求項１に記載の方法。

３、前記フローチャート構築過程が、前記コンピュータの画面上に前記フローチ ャートを表示する過程を有することを特徴とする請求項１に記載の方法。

４、前記構築過程が更に、 前記フローチャートの１個または複数のノードを選択する過程と、 ステートメントの評価が前記ノードによって表現される間、前記コンピュータ内 で前記選択されたノードを、少なくともその１つが複数の命令を備えた、１個ま たは複数命令のリストに関連付ける過程とを有することを特徴とする請求項３に 記載の方法。

５、各々の選択されたノードを関連付ける前記過程が、前記コンピュータによっ て前記画面上に命令メニューを表示する過程と、 前記メニューから１個または複数の命令を選択する過程と、 前記選択された命令を前記コンピュータによって前記関連する前記命令リストに 配置する過程とを有することを特徴とする請求項４に記載の方法。

６、前記ノード選択過程が、 １個または複数の決定ノードを選択する過程と、１個または複数の手続きノード を選択する過程とを有し、前記各々の選択されたノードに対して、前記命令メニ ューを表示する過程が、 前記選択されたノードが決定ノードであるとき第１メニユーを表示する過程と、 前記選択されたノードが手続きノードであるとき第２メニユーを表示する過程と を有し、 前記第１メニユー及び第２メニユーの一方が、他方に含まれない少なくとも１つ の命令を含むことを特徴とする請求項５に記載の方法。

７、前記命令の１つが第１知識ベースを実行するための命令からなることを特徴 とする請求項４に記載の方法。

８、前記第１知識ベースが論理ツリーによって表現された知識ベースからなるこ とを特徴とする請求項７に記載の方法。

９、前記知識ベースが複数のステートメントを有し、前記構築過程が更に、 開始ステートメント及び終了ステートメントの何れでもなく、かっただ１つの状 態を有する各ステートメントを、前記フローチャートの第１アイコンのノードよ って表現する過程と、 １個以上の状態を有する各ステートメントを、前記フローチャートの前記第１ア イコンとは異なる第２アイコンによって表現する過程とを有することを特徴とす る請求項３に記載の方法。

１０、前記第１アイコン及び前記第２アイコンが異なる形状を有することを特徴 とする請求項９に記載の方法。

１１、ただ１つの状態を有する前記ノードの１個または複数を選択する過程と、 前記選択された各ノードに対して、前記ノードが評価されているときに実行され る１個または複数の命令を定義する過程とを更に有し、 前記定義過程が、 前記コンピュータによって前記画面上に命令メニューを表示する過程と、 前記メニューの１個または複数の命令を特定する入力信号を前記コンピュータに よって受け取る過程と、前記ノードが評価されたときに実行されるべき命令とし てデータ記憶装置内の前記特定された命令を前記コンピュータによって表現する 過程とを有することを特徴とする請求項９に記載の方法。

１２、知識ベースのフローチャートを構築する方法であって、 前記知識ベースが、第１の状態と第２の状態とを備えた第１ステートメントと、 第２ステートメントとを有し、前記知識ベースの論理フローが、前記第１ステー トメントが評価され、かつ前記第１状態であると決定されたとき、前記第１ステ ートメントから前記第２ステートメントへの第１バスへ向かい、 互いに異なる第１の色の第１部分と、第２の色の第２部分とを備えた第１ノード によってコンピュータの画面上に前記第１ステートメントを表示する過程と、第 ２ノードによって前記画面上に前記第２ステートメントを表示する過程と、 前記第１ノードの前記第１部分と前記第２ノードとを接続する第１ラインによっ て、前記画面上に前記第１パスを表示する過程とを有することを特徴とする知識 ベースのフローチャートを構築する方法。

１３、前記知識ベースが更に第３ステートメントを有し、前記第１ステートメン トが評価され、かつ前記第２状態であると決定されたとき、前記論理フローが前 記第１ステートメントから前記第３ステートメントへの第２バスへ向かい、 前記フローチャートの第３ノードによって前記画面上に前記第３ステートメント を表示する過程と、前記フローチャートの前記第２部分と前記第３ノードとを接 続する第２ラインによって前記第２パスを前記画面上に表示する過程とを有する ことを特徴とする請求項１２に記載の方法。

１４、前記第１ステートメントが第３状態を有し、前記知識ベースが更に第４ス テートメントを有し、前記第１ステートメントが評価されかつ前記第３状態であ ると決定されたとき、前記論理フローが前記第１ステートメントから前記第４ス テートメントへの第３パスへ向かい、 前記第１ノードが、前記第１の色及び前記第２の色と異なる第３の色の第３部分 を有し、 前記フローチャートの第４ノードによって前記画面上に前記第４ステートメント を表示する過程と、前記第３部分と前記第４ノードとを接続する前記フローチャ ートの前記第３ラインによって前記画面上に前記第３バスを表示する過程とを有 することを特徴とする請求項１３に記載の方法。

１５、知識ベースを形成するための方法であって、コンピュータ内に前記知識ベ ースを表現する論理ツリーを構築する過程と、 前記コンピュータによって前記論理ツリーから前記知識ベースの規則を形成する 過程とを有することを特徴とする知識ベースを形成するための方法。

１６、前記形成過程が、知識ベースの目的を評価するためのコンピュータの推論 システムへの入力として適切な形式で前記知識ベースを表現する過程を有するこ とを特徴とする請求項１５に記載の方法。

１７、前記構築過程が、前記コンピュータの画面上に前記論理ツリーを表示する 過程を有することを特徴とする請求項１５に記載の方法。

１８、前記構築過程が、 前記論理ツリーの１個または複数のノードを選択する過程と、 推論エンジンが前記選択されたノードを処理するとき、前記コンピュータ内で、 前記選択されたノードを前記推論エンジンによって実行されるべき１個または複 数の命令のリストと関連付ける過程とを有することを特徴とする請求項１５に記 載の方法。

１９、前記リストの少なくとも１つが、第１知識ベースを実行する命令を有する ことを特徴とする請求項１８に記載の方法。

２０、前記第１知識ベースがフローチャートで表現された知識ベースからなるこ とを特徴とする請求項１９に記載の方法。

２１、前記論理ツリーが、子ノードを有する１個または複数の第１ノードと、子 ノードを有さない１個または複数の第２ノードとを有し、 前記選択された各ノードが、前記第１ノード及び前記第２ノードから選択され、 前記選択された第２ノードの１つと関連する前記命令リストが、離散的変数を評 価する命令を有し、前記選択された第１ノードの１つと関連する前記命令リスト が、離散的変数を評価する命令を有さないことを特徴とする請求項１８に記載の 方法。

２２、各々の前記選択されたノードに対して、前記関連過程が、 前記ノードを特定する第１信号を前記コンピュータに送る過程と、 前記第１信号に応答して、命令メニューを前記コンピュータによって表示する過 程と、 前記命令メニユーから命令リストを特定する第２の信号を前記コンピュータに送 る過程と、 前記第２の信号に応答して、前記コンピュータによってデータ記憶装置内の前記 命令リストを、前記推論エンジンが前記ノードを処理するときに実行されるべき 命令リストとして表示する過程とを有することを特徴とする請求項１８に記載の 方法。

２３、複数の第２知識ベースを有する第１知識ベースの形成方法であって、 各々の前記第２知識ベースの、フローチャートまたは論理ツリーであるグラフィ ック表現をコンピュータの画面上に形成する過程と、 前記コンピュータによって前記グラフィック表現から前記第１知識ベースを形成 する過程とを有することを特徴とする第１知識ベースの形成方法。

２４、知識ベースの実行をシミュレートし、かつコンピュータの表示画面に基づ いた前記知識ベースのシミュレーションを表示する方法であって、 前記知識ベースの１個または複数のステートメントからなる集合を選択する過程 と、 前記コンピュータを用いて、前記表示画面のノードによって前記集合を表現する 過程と、 前記知識ベースの実行をシミュレートする過程と、前記シミュレート過程で、前 記集合の任意の前記ステートメントの評価がシミュレートされている間に、前記 コンピュータによって前記表示画面上の個々のノードを、その評価がシミュレー トされているステートメントを表現するノードとして表示する過程とを有するこ とを特徴とする知識ベースの実行をシミュレートし、かつコンビ二一夕の表示画 面に基づいた前記知識ベースのシミュレーションを表示する方法。

２５、各々のノードが、少なくとも前記知識ベースの一部を表現する論理ツリー のノードであり、前記表現過程が、 前記表示画面に前記論理ツリーの少なくとも一部を表示する過程と、 前記表示画面上のノードによって表現された各々のステートメントの状態を、前 記表示画面上で視覚的に特定する過程とを有することを特徴とする請求項２４に 記載の方法。

２６、前記視覚的特定過程が、前記対応するノードの前記色によって、ステート メントの前記状態を特定する過程を含むことを特徴とする請求項２５に記載の方 法。

２７、知識ベースを形成するためのコンピュータシステムであって、 前記コンピュータ内に、前記知識ベースのグラフィック表現を構築する手段と、 前記コンピュータによって、前記グラフィック表現から前記知識ベースの規則を 形成する手段とを有することを特徴とする知識ベースを形成するためのコンピュ ータシステム。

２８、コンピュータ表示画面を更に有し、前記構築手段が、前記グラフィック表 現が構築されているときに、前記表示画面上に前記グラフィック表現を表示する 手段を有することを特徴とする請求項２７に記載のコンピュータシステム。

２９、知識ベースを表現するフローチャートを提供するためのコンピュータシス テムであって、 前記知識ベースが第１ステートメントと、第２ステートメントと、第３ステート メントとを有し、前記知識ベースの論理フローが、前記第１ステートメントが第 １状態のときに、前記第１ステートメントから前記第２ステートメントへ向がい 、前記第１ステートメントが第２状態のとき、前記第１ステートメントがら前記 第３ステートメントに向かい、 前記フローチャート内で、前記第１ステートメントが、第１の色の第１部分と前 記第１の色とは異なる第２の色の第２部分とを備えた第１ノードによって表現さ れ、前記フローチャート内で、前記第２ステートメントが第２ノードによって表 現され、前記第３ステートメントが第３ノードによって表現され、 前記フローチャートが、前記第１ノードの前記第１部分と前記第２ノードとを接 続するラインと、前記第１ノードの前記第２部分と前記第３ノードとを接続する ラインとを有することを特徴とするコンピュータシステム。

３０、前記知識ベースが更に第４ステートメントを有し、前記知識ベースのフロ ーチャートが、前記第１ステートメントが第３状態のとき、前記第１ステートメ ントから前記第４ステートメントへ向がい、 前記フローチャートの前記第１ノードが、前記第１の色及び前記第２の色とは異 なる第３の色の第３部分を有し、前記フローチャートが、前記第３部分を第４ノ ードに接続するラインを有することを特徴とする請求項２９に記載のシステム。

フロントページの続き （８１）指定国　ＥＰ（ＡＴ、ＢＥ、ＣＨ，ＤＥ。

ＤＫ、ＥＳ、ＦＲ，ＧＢ、ＧＲ，ＩＴ、ＬＵ、ＭＣ，ＮＬ、ＳＥ）、０Ａ（ＢＦ 、ＢＪ、ＣＦ、ＣＧ、ＣＩ、ＣＭ、ＧＡ、ＧＮ、ＭＬ、ＭＲ，ＳＮ、ＴＤ、ＴＧ ）、ＡＴ、　ＡＵ、　ＢＢ、　ＢＧ、　ＢＲ，ＣＡ、　ＣＨ，Ｃ３，ＤＥ。

ＤＫ、　ＥＳ、　ＦＩ、　ＧＢ、　ＨＵ、ＪＰ、　ＫＰ、　ＫＲ，ＬＫ、　ＬＵ 、　ＭＧ、　ＭＮ、　ＭＷ、　ＮＬ、　ＮＯ，ＰＬ、ＲＯ、ＲＵ、ＳＤ、ＳＥ

Claims (30)

【特許請求の範囲】
1. １．知識ベースの形成方法であって、 コンピュータ内で前記知識ベースのフローチャートを構築する過程と、 前記コンピュータによって前記フローチャートから前記知識ベースの規則を形成 するための過程とを有することを特徴とする知識ベースの形成方法。
2. ２．前記形成過程が、コンピュータ推論システムの入力書式で前記規則を表現す る過程を有することを特徴とする請求項１に記載の方法。
3. ３．前記フローチャート構築過程が、前記コンピュータの画面上に前記フローチ ャートを表示する過程を有することを特徴とする請求項１に記載の方法。
4. ４．前記構築過程が更に、 前記フローチャートの１個または複数のノードを選択する過程と、 ステートメントの評価が前記ノードによって表現される間、前記コンピュータ内 で前記選択されたノードを、少なくともその１つが複数の命令を備えた、１個ま たは複数の命令リストに関連付ける過程とを有することを特徴とする請求項３に 記載の方法。
5. ５．各々の選択されたノードを関連付ける前記過程が、前記コンピュータによっ て前記画面上に命令メニューを表示する過程と、 前記メニューから１個または複数の命令を選択する過程と、 前記選択された命令を前記コンピュータによって前記関連する前記命令リストに 配置する過程とを有することを特徴とする請求項４に記載の方法。
6. ６．前記ノード選択過程が、 １個または複数の決定ノードを選択する過程と、１個または複数の手続きノード を選択する過程とを有し、前記各々の選択されたノードに対して、前記命令メニ ューを表示する過程が、 前記選択されたノードが決定ノードであるとき第１メニューを表示する過程と、 前記選択されたノードが手続きノードであるとき第２メニューを表示する過程と を有し、 前記第１メニュー及び第２メニューの一方が、他方に含まれない少なくとも１つ の命令を含むことを特徴とする請求項５に記載の方法。
7. ７．前記命令の１つが第１知識ベースを実行するための命令からなることを特徴 とする請求項４に記載の方法。
8. ８．前記第１知識ベースが論理ツリーによって表現された知識ベースからなるこ とを特徴とする請求項７に記載の方法。
9. ９．前記知識ベースが複数のステートメントを有し、前記構築過程が更に、 開始ステートメント及び終了ステートメントの何れでもなく、かつただ１つの状 態を有する各ステートメントを、前記フローチャートの第１アイコンのノードよ って表現する過程と、 １個以上の状態を有する各ステートメントを、前記フローチャートの前記第１ア イコンとは異なる第２アイコンによって表現する過程とを有することを特徴とす る請求項３に記載の方法。
10. １０．前記第１アイコン及び前記第２アイコンが異なる形状を有することを特徴 とする請求項９に記載の方法。
11. １１．ただ１つの状態を有する前記ノードの１個または複数を選択する過程と、 前記選択された各ノードに対して、前記ノードが評価されているときに実行され る１個または複数の命令を定義する過程とを更に有し、 前記定義過程が、 前記コンピュータによって前記画面上に命令メニューを表示する過程と、 前記メニューの１個または複数の命令を特定する入力信号を前記コンピュータに よって受け取る過程と、前記ノードが評価されたときに実行されるベき命令とし てデータ記憶装置内の前記特定された命令を前記コンピュータによって表現する 過程とを有することを特徴とする請求項９に記載の方法。
12. １２．知識ベースのフローチャートを構築する方法であって、 前記知識ベースが、第１の状態と第２の状態とを備えた第１ステートメントと、 第２ステートメントとを有し、前記知識ベースの論理フローが、前記第１ステー トメントが評価され、かつ前記第１状態であると決定されたとき、前記第１ステ ートメントから前記第２ステートメントヘの第１パスヘ向かい、 互いに異なる第１の色の第１部分と、第２の色の第２部分とを備えた第１ノード によってコンピュータの画面上に前記第１ステートメントを表示する過程と、第 ２ノードによって前記画面上に前記第２ステートメントを表示する過程と、 前記第１ノードの前記第１部分と前記第２ノードとを接続する第１ラインによっ て、前記画面上に前記第１パスを表示する過程とを有することを特徴とする知識 ベースのフローチャートを構築する方法。
13. １３．前記知識ベースが更に第３ステートメントを有し、前記第１ステートメン トが評価され、かつ前記第２状態であると決定されたとき、前記論理フローが前 記第１ステートメントから前記第３ステートメントヘの第２パスヘ向かい、 前記フローチャートの第３ノードによって前記画面上に前記第３ステートメント を表示する過程と、前記フローチャートの前記第２部分と前記第３ノードとを接 続する第２ラインによって前記第２パスを前記画面上に表示する過程とを有する ことを特徴とする請求項１２に記載の方法。
14. １４．前記第１ステートメントが第３状態を有し、前記知識ベースが更に第４ス テートメントを有し、前記第１ステートメントが評価されかつ前記第３状態であ ると決定されたとき、前記論理フローが前記第１ステートメントから前記第４ス テートメントヘの第３パスヘ向かい、 前記第１ノードが、前記第１の色及び前記第２の色と異なる第３の色の第３部分 を有し、 前記フローチャートの第４ノードによって前記画面上に前記第４ステートメント を表示する過程と、前記第３部分と前記第４ノードとを接続する前記フローチャ ートの前記第３ラインによって前記画面上に前記第３パスを表示する過程とを有 することを特徴とする請求項１３に記載の方法。
15. １５．知識ベースを形成するための方法であって、コンピュータ内に前記知識ベ ースを表現する論理ツリーを構築する過程と、 前記コンピュータによって前記論理ツリーから前記知識ベースの規則を形成する 過程とを有することを特徴とする知識ベースを形成するための方法。
16. １６．前記形成過程が、知識ベースの目的を評価するためのコンピュータの推論 システムヘの入力として適切な形式で前記知識ベースを表現する過程を有するこ とを特徴とする請求項１５に記載の方法。
17. １７．前記構築過程が、前記コンピュータの画面上に前記論理ツリーを表示する 過程を有することを特徴とする請求項１５に記載の方法。
18. １８．前記構築過程が、 前記論理ツリーの１個または複数のノードを選択する過程と、 推論エンジンが前記選択されたノードを処理するとき、前記コンピュータ内で、 前記選択されたノードを前記推論エンジンによって実行されるベき１個または複 数の命令のリストと関連付ける過程とを有することを特徴とする請求項１５に記 載の方法。
19. １９．前記リストの少なくとも１つが、第１知識ベースを実行する命令を有する ことを特徴とする請求項１８に記載の方法。
20. ２０．前記第１知識ベースがフローチャートで表現された知識ベースからなるこ とを特徴とする請求項１９に記載の方法。
21. ２１．前記論理ツリーが、子ノードを有する１個または複数の第１ノードと、子 ノードを有さない１個または複数の第２ノードとを有し、 前記選択された各ノードが、前記第１ノード及び前記第２ノードから選択され、 前記選択された第２ノードの１つと関連する前記命令リストが、離散的変数を評 価する命令を有し、前記選択された第１ノードの１つと関連する前記命令リスト が、離散的変数を評価する命令を有さないことを特徴とする請求項１８に記載の 方法。
22. ２２．各々の前記選択されたノードに対して、前記関連過程が、 前記ノードを特定する第１信号を前記コンピュータに送る過程と、 前記第１信号に応答して、命令メニューを前記コンピュータによって表示する過 程と、 前記命令メニューから命令リストを特定する第２の信号を前記コンピュータに送 る過程と、 前記第２の信号に応答して、前記コンピュータによってデータ記憶装置内の前記 命令リストを、前記推論エンジンが前記ノードを処理するときに実行されるベき 命令リストとして表示する過程とを有することを特徴とする請求項１８に記載の 方法。
23. ２３．複数の第２知識ベースを有する第１知識ベースの形成方法であって、 各々の前記第２知識ベースの、フローチャートまたは論理ツリーであるグラフィ ック表現をコンピュータの画面上に形成する過程と、 前記コンピュータによって前記グラフィック表現から前記第１知識ベースを形成 する過程とを有することを特徴とする第１知識ベースの形成方法。
24. ２４．知識ベースの実行をシミュレートし、かつコンピュータの表示画面に基づ いた前記知識ベースのシミュレーションを表示する方法であって、 前記知識ベースの１個または複数のステートメントからなる集合を選択する過程 と、 前記コンピュータを用いて、前記表示画面のノードによって前記集合を表現する 過程と、 前記知識ベースの実行をシミュレートする過程と、前記シミュレート過程で、前 記集合の任意の前記ステートメントの評価がシミュレートされている問に、前記 コンピュータによって前記表示画面上の個々のノードを、その評価がシミュレー トされているステートメントを表現するノードとして表示する過程とを有するこ とを特徴とする知識ベースの実行をシミュレートし、かつコンピュータの表示画 面に基づいた前記知識ベースのシミュレーションを表示する方法。
25. ２５．各々のノードが、少なくとも前記知識ベースの一部を表現する論理ツリー のノードであり、前記表現過程が、 前記表示画面に前記論理ツリーの少なくとも一部を表示する過程と、 前記表示画面上のノードによって表現された各々のステートメントの状態を、前 記表示画面上で視覚的に特定する過程とを有することを特徴とする請求項２４に 記載の方法。
26. ２６．前記視覚的特定過程が、前記対応するノードの前記色によって、ステート メントの前記状態を特定する過程を含むことを特徴とする請求項２５に記載の方 法。
27. ２７．知識ベースを形成するためのコンピュータシステムであって、 前記コンピュータ内に、前記知識ベースのグラフィック表現を構築する手段と、 前記コンピュータによって、前記フローチャートから前記知識ベースの規則を形 成する手段とを有することを特徴とする知識ベースを形成するためのコンピュー タシステム。
28. ２８．コンピュータ表示画面を更に有し、前記構築手段が、前記グラフィック表 現が構築されているときに、前記表示画面上に前記グラフィック表現を表示する 手段を有することを特徴とする請求項２７に記載のコンピュータシステム。
29. ２９．知識ベースを表現するフローチャートを提供するためのコンピュータシス テムであって、 前記知識ベースが第１ステートメントと、第２ステートメントと、第３ステート メントとを有し、前記知識ベースの論理フローが、前記第１ステートメントが第 １状態のときに、前記第１ステートメントから前記第２ステートメントヘ向かい 、前記第１ステートメントが第２状態のとき、前記第１ステートメントから前記 第３ステートメントに向かい、 前記フローチャート内で、前記第１ステートメントが、第１の色の第１部分と前 記第１の色とは異なる第２の色の第２部分とを備えた第１ノードによって表現さ れ、前記フローチャート内で、前記第２ステートメントが第２ノードによって表 現され、前記第３ステートメントが第３ノードによって表現され、 前記フローチャートが、前記第１ノードの前記第１部分と前記第２ノードとを接 続するラインと、前記第１ノードの前記第２部分と前記第３ノードとを接続する ラインとを有することを特徴とするコンピュータシステム。
30. ３０．前記知識ベースが更に第４ステートメントを有し、前記知識ベースのフロ ーチャートが、前記第１ステートメントが第３状態のとき、前記第１ステートメ ントから前記第４ステートメントヘ向かい、 前記フローチャートの前記第１ノードが、前記第１の色及び前記第２の色とは異 なる第３の色の第３部分を有し、前記フローチャートが、前記第３部分を第４ノ ードに接続するラインを有することを特徴とする請求項２９に記載のシステム。