JPH04123232A - 一貫性検出方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】

［０００１］

【産業上の利用分野】

本発明はデバツギング方法及びデバッグ装置に関し、特
にルールに基づくエキスパートシステムを有するコンピ
ュータシステムに適用して好適なものである。 ［０００２］

【従来の技術】

エキスパートシステムは模倣エキスパート問題解決動作
を試してみるコンピュータプログラムである。これらの
プログラムは所定の目的を達成するために０群の観測か
ら結果を導くため又は仮説を立ててこれを確めるなめに
一般に使用される。これらのシステムはその基本構成要
素としてルールを用い、特定の問題を解決するために例
えば順方向連鎖又は逆方向連鎖のような制御手続きを用
いてこれらのルールを取り扱う。 ［０００３］ ルールは「ＩＦＪ条件、ｌ’−ＴＨＥＮＪアクション、
「ＥＬｓ、Ｅｌアクションを表した形状の記述である。 この条件は適用されるルールについて真でなくてはなら
ない１つ以上の事実を記述する。アクションの部分はそ
のルールが真又は偽のときに採られるべきアクションを
記述する。真及び偽の場合のアクションはそれぞれ［Ｔ
ＨＥＮＪ部分及び「Ｅ　Ｌ　Ｓ　Ｅ１部分に見い出され
る。この条件及びアクションは問題解決の状態について
の情報を一時的に記憶する変数と呼ばれる。かくして、
１つのルールにおけるアクションは他のルールの条件又
はアクションにおいて用いられる変数に１つの値を与え
ることになる。 ［０００４］ 各ルールは独立ユニットと考えられ、そして宣言型とし
て入れられて処理されるカミルール間において変数を共
用すればそれらの対話を可能にする。順方向連鎖システ
ムではルール開始の効果はルール条件が真であるかどう
かを知るために繰り返しチエツクを行うことにより伝播
する。−群の初期変数値がこれらルール条件に対して突
合される。ルール条件が真になると、適正なルールアク
ションが実行され、その結果変数値が突合される。 ［０００５］ 逆方向連鎖システムではこれらのルールが目標の変数値
を決めるために用いられる。−群の変数がまず目標とし
て作られる。これらの変数に値を割り当てる機能をもつ
ルールがソースとして考察される。これらのルールの条
件は変数を含んでいる。これらの変数が値をもてばルー
ルは目標の値を得ることができると評価される。これら
の変数が値をもたない場合にはこれが補助目標として決
定され、ソースとしては他のルールが用いられる。この
手続きは条件が評価されかつルールアクションの効果が
ソースルールの連鎖を介してリップルバックして元の目
標変数に値を割り当てるまで続けられる。 ［０００６］

【発明が解決しようとする課題】

多くの推論機構はノンルールソースを使用することがで
きる。しばしば機能呼出し、データベースアクセス又は
ユーザ照会が用いられて変数の値を得るようになされて
いる。しかしながらこれらのソースは順方向連鎖におけ
る値の伝播又は逆方向連鎖における目標又は補助目標の
追跡には寄与しない。このように、変数に値を与えるた
めにそのようなソースを使用すれば、エキスパートシス
テムにおけるルールの対話には影響しない。 ［０００７］ これらのルールが宣言型で入れられ、また知識ベースの
問題及びデータの性質により決まる方法で実行できると
いう事実は、エキスートシステムのプログラマが一般に
ルール間の手続き的な対話を特定する必要がないという
ことを意味する。しかしながら、このシステムが所望の
行動を表示しないときには実行動作がどこで誤ったかを
正確に決定することが一般に非常に困難である。典型的
なエキスパートシステムでは、結論に到るためにエキス
パートシステムが用いたステップの追跡をユーザが視覚
的に知り得るようにするために説明機能が設けられてい
る。しかしながらこれらの説明は多くの場合、問題を簡
易に識別するには充分ではなく、また一般にシステムが
ユーザに値の供給を要求するときだけ又はフログラムが
実行を完了した後にだけ与えられる。実行アクティビテ
ィの中間結果（よ多くの場合毎えられない。 ［０００８］ 典型的な従来のエキスパートシステムのデバッガはＩＢ
Ｍのノーレッジツール及び「ＴＥＩＲＥＳＩＡＪを含む
。ノーレッジツールは順方向連鎖を用いてユーザが推論
フロセスによりステップを単一化できるようにする。デ
バッガは突合せ実行サイクルの終端で停止して特定され
た状態情報を与える。システムの実行前及び後にある静
的情報が得られる。 ［０００９］ アール・デービス及びデー・レナート著、マクグロー・
ヒル社１９８２年版ｒＫＮＯＷＬＥＤＧＥ−ＢＡＳＥＤ
　ＳＹＳＴＥＭＳ　ＩＮ　ＡＲＴＩＦＩＣＩＡＬ　ＩＮ
置ＬＩＧＥＮＣＥづの第２部に詳述ｅれている「ＴＥＩ
ＲＥＳＩＡＳＪが逆方向連鎖システムに適用される。特
定された状態情報は実行が停止し、ユーザからの変数値
の入力を待っときに得られる。変数が変更されると実行
動作が最初から再スタートする。 ［００１０］ 従来の手続き的なフログラミングにも同様な問題がある
。フログラムは明示手続きとして書込まれるから実行動
作の流れは一般に明らかである。しかしながら変数値及
び中間結果の効果を実行動作中に見ることができる。従
来のデバッガは実行を停止してユーザが変数値及び実行
情報を調整することができるブレークポイントを特定し
得るようにすることにより、この問題に対処している。 上記のエキスパートシステムのデバッガはいずれもエキ
スパートシステムの実行中に生ずる変数値及びルール排
除のような種々の条件によってはブレークポイントを特
定できない。またこれらのデバッガはいずれも順方向連
鎖及び逆方向連鎖推論機構の両方について用いるには適
さない。これら両連鎖は従来のデバッガに一般的に見い
出すことができる簡単なデバッグ技術のみを利用する。 ［００１１］ 宣言型のルールに基づくエキスパートシステムにおける
実行動作の流れは一般に予め知られておらず、また決定
論的ではないから、従来のデバッガに用いられる方法は
エキスパートシステムのプログラムに使用するには適さ
ない。ルール型エキスパートシステムでの使用に適した
デバッガについては当該エキスパートシステムの動作を
明確にするブレークポイント及びユーザ情報機能を与え
るようにし、またプログラムエラーの修正についてユー
ザの作業を単純化できるようにすることが望ましい。 ［００１２］ さらにルール又は変数がユーザによって変更されたとき
はいつでも、一貫性検査を実行するようにしたエキスパ
ートシステムのデバツギング方法を提供することが望ま
しい。 従って本発明の目的は、ルール型エキスパートシステム
に使用して好適なデバッガを提供するもので、このデバ
ッガはルール又は変数に対する変更がエキスパートシス
テムの現在の実行動作状態と一致するかどうかを決定す
るようになされている。

【００１３】 また本発明の他の目的は、当該一致の検査を効率良くな
し得るようにしたデバッガを提供する。 さらに本発明の他の目的は、ルール又は変数について変
更がなされた後、システムの以前の一貫状態と一致し得
るようなデバッガを提供する。 ［００１４３

【課題を解決するための手段］ かかる課題を解決するため本発明においては、一貫性が
ある推論状態間を移る推論機構を用意し、エキスパート
システムにある各変数について、当該変数が使用された
か又は使用される可能性があったとき、エントリ表示を
含む対応するデバッグ列を発生し、ルール又は変数がユ
ーザによって変更されたとき、当該ル−ル又は変数がエ
キスパートシステムに使用されたかどうかを決定し、変
更されたルール又は変数が使用されたとき、当該変更さ
れたルール又は変数が使用される可能性があった最も早
いポイントを決定してエキスパートシステムのうち変更
されたルール又は変数と一致する前回の状態として当該
ポイントを選択することにより、ルール型エキスパート
システムの一貫性を検査する。 ［００１５］ 【作用】 ルール又は変数が変更されたとき、デバッガはエントリ
表示を含んでなるデバッグ列を発生して一致するルール
又は変数があるか否かを検出する。一致するルール又は
変数があったときデバッガは当該ポイントのうち最も早
いポイントを前［００１６］

【実施例】

以下図面について本発明の一実施例を詳述する。 図１はルール型エキスパートシステムプログラムを実行
することによりデバッグ処理するシステム１０のブロッ
ク図である。システム１０は知識ベース１８内のルール
１４及び変数１６の状態に基づいて推論する推論機構１
２を含む。デバッガ２０はこの推論機構１２に接続して
その動作を選択された時点で停止させてユーザが知識ベ
ース１８内のエラーを見つげることができるようにする
。推論機構１２及びデバッガ２０は、表示装置上の情報
出力を制御し、かつキーボード又はマウスによりユーザ
から入力された情報を受けるためのユーザインターフェ
ース１９によりユーザと通信をする。 ［００１７］ 知識ベース１８に記憶された変数１６に加えて、この推
論機構１２はエキスパートシステム外部からの変数値を
得ることができる。変数値は手続きコール２１から「Ｃ
」又は「Ｌ　Ｉ　Ｓ　ＰＪのような言語で書込まれる手
続きに対して与えられる。変数値はまたデータベースを
アクセスしくブロック２２）又はユーザディレクトリを
照会する（ブロック２３）ことにより得ることができる
。かかるユーザ照会は一般に所望の情報の識別をユーザ
に表示し、またユーザインターフェース１９から１以上
の変数値を受ける手続きを実行することにより一般に行
われる。 手続きコール２１、データベースアクセス２２及びユー
ザ照会２３から得られる変数値は一般に知識ベース１８
に記憶される。しかしながら場合によっては例えば変数
値が必要なごとに手続きコールをすることによりエキス
パートシステムが実際に発生しているイベントとある量
の実時間対話をすることができるようにもし得る。 ［００１８］ 知識ベース１８に具体化されるエキスパートシステムが
望ましくない動作又は正しくない答えを示すときにはユ
ーザはそのようなエラーの発生源を追跡する必要がある
。これはデバッガ２０を呼び出すことにより実行され、
このときデバッガ２０は推論機構１２の実行動作のうち
のある段階をモニタして所望のポイントでその実行動作
を中断する。図２はデバツギング処理についての高レベ
ルブロック図を示す。 ［００１９］ 好適なデバッガを用いるデバツギング処理手順は３つの
段階に分けられる。これらの段階は事前診断段階２４、
診断段階２６及び事後診断段階２８である。事前診断段
階２４においてユーザは使用する特定のエキスパートシ
ステムを選択する（ルール及び変数の組を選択する）こ
とができる。ユーザは推論機イ４１２を順方向連鎖又は
逆方性連鎖モードで動作させるようにプログラムするこ
とができ、そしてそのエキスパートシステムのルール／
変数ネットワークと呼ばれる変数及びルール間の相互関
係を表す静的構造グラフを表示し得る。そのようなグラ
フについては図７について詳述する。 ［００２０１ ユーザは「ＨＯＷｊ及びｌ”−ＷＨＹＪ説明機能を呼び
出すことにより知識ベース１８内のルール及び変数間の
関係を検査することもできる。これらの機能は図８に関
連して詳述する。必要に応じてユーザは事前診断段階２
４の期間の間にデバツガから完全に出ることができる。 ユーザがエキスパートシステムの動作を監視する用意が
できると制御は診断段階２６に移る。 ［００２１］ 後述するように、診断段階においてユーザはエキスパー
トシステムの実行動作を見ることができる。選択された
ブレークポイントを決めることができ、このブレークポ
イントは選択条件又は選択条件群が発生したとき推論機
構１２の実行を中断し得る。変数値及びルールは診断段
階において変更することができ、変数をそれらの現在値
にセットするために用いられる推論ステップを試験する
ことができる。推論機構１２の実行状態をその前の中間
状態にロールバックして当該前の点から再開させること
ができる。 ［００２２］ いろいろな理由によりユーザは推論を実行させる前に診
断段階２６を終了させて事前診断段階２４に制御を戻す
ことができる。これは、例えばユーザが使用しようとし
たルール１４について、もしくは順方向又は逆方向連鎖
のどちらを用いるべきかについて、変更しようとすると
き有用である。 ［００２３］ 診断段階２６は、通常の推論が完了したとき又はエンド
診断の明示コマンドがブレークポイントで実行を停止し
ている間にユーザにより与えられるときに、制御を事後
診断段階２８に移す。事後診断段階２８においてユーザ
は診断段階において使用できる種々の説明機能をアクセ
スし得る。またユーザは診断段階２６の間に実行される
推論部分について再び診断を行うか又は取り消すかを決
めることができ、これにより診断段階２６に制御を戻し
て推論処理を再開する効果を生ずる。最後に、ユーザは
事後診断段階２８がらブロック２つを通ってデバッガを
出ることができる。 ［００２４］ 図３のブロック図は診断段階２６内の制御の流れを示す
。ユーザが診断を事前診断段階２４から開始することを
決定すると、事前推論段階３０に入る。前述のように推
論を実際に開始する前の任意の時点で制御を事前診断段
階２４に戻すことができる。 ［００２５］ 事前推論段階３０においてユーザは図８について詳述す
る汎用ブレークポイント処理コマンドをアクセスし得る
。ユーザは推論機構１２の実行を停止させるブレークポ
イントを特定し得る。またユーザは推論を正規の実行モ
ードで実行するか又は単一ステップモードで実行するか
を決定できる。単一ステップモードにおいて推論機構１
２が各推論イベントの後にデバッガ２０を中断させる。 ［００２６］ 推論ステップ３２は知識ベース１８に基づいて推論機構
１２により実行される実際の推論を示す。推論が完了す
ると、制御は事後診断段階２８に入る。ブレークポイン
ト条件に到達するような重要な推論アクティビティが生
じると、制御はブレークポイント処理段階３４（これを
ブレークポイントプロセサと呼ぶ）に入る。ユーザはブ
レークポイントプロセサ３４において実行の状態及び履
歴を検査し得る。ブレークポイント処理が完了すると、
実行動作が回復して制御が推論ステップ３２に戻される
。通常のようにブレークポイントから処理が進められる
か、又は単一ステップをブレークポイントプロセサ３４
から開始させ得る。これに加えて処理動作は最初から再
スタートすることができ、又は制御が推論ステップ３２
に戻るときには前の中間状態３６にロールバックするこ
とができる。 ［００２７］ ブレークポイントプロセサ３４においてユーザは実行動
作の完了前に診断を修了させることができ、このとき制
御は事後診断段階２８に移る。変数及びルールはブレー
クポイントプロセサ３４内から変更し得るので、診断を
不一致状態にすることができる。言い換えると、推論ス
テップの間に変数値が用いられ、現在その値がブレーク
ポイントプロセサにより変更されたときには、知識ベー
スの現在の状態を一致しないものとしである推論ステッ
プを無効とする必要がある。必要があれば、ユーザは制
御を推論ステップ３２に直接戻すことにより不一致状態
で実行動作を進行させることができる。好適には殆んど
の場合、最近の推論アクティビティが取消されて知識ベ
ース及び推論機構が状態リセットステップ３６において
一致状態にリセットする。状態リセットステップ３６を
実行すると変更された変数又はルールが最初に使用され
たポイントの直前のポインｔ４で戻るのに必要な回数だ
け推論ステップが取消される。多くの場合、これは推論
フロセスへの比較的短い距離の戻り方にすぎず、全フロ
セスをはじめから再スタートして多数の中間推論を再度
実行するよりは著しく効率が高くなる。状態が状態リセ
ットステップ３６にあるとき制御は推論ステップ３２に
戻される。前述のように推論ステップは事後診断段階２
８から取消されて制御を状態リセットステップ３６にパ
スさせる。 ［００２８］ 図４は逆方向連鎖モードで動作するように選択されたと
き推論機構１２内に生じる処理ステップを示す。またブ
レークポイントに出合う推論プロセス内の種々のロケー
ションがこの図に示されている。好適な実施例では、推
論機能が生じてブレークポイントを発生させるごとに、
手続きコールがデバッガ２０内の手続きに対して行われ
て任意のブレークポイント条件が満足されているかどう
かを決定する。満足されている場合には１つのブレーク
ポイントが発生され、制御はブレークポイントプロセサ
３４に入る。満足されていなげれば制御は推論フロセス
に戻されて処理動作を続行する。 ［００２９］ 推論ステップは目標制定ステップ３８を実行することに
より開始する。ここでは目標（変数値）は決定されない
。１つの変数が目標として選択されると、１つのブレー
クポイントが設定されてこの段階において実行動作を停
止させる。次のステップ４０はソース（すなわち動作源
）を活用化する。これは１つのルールが１つの目標を決
定するために使用される活用ソースとして選択されたこ
とを意味する。手続きコールがデバッガに対してなされ
て選択されたルールを活用する条件についてブレークポ
イントをセットするかどうかを決定する。 ［００３０１ 次のステップ４２はルールの左側を処理するもので、そ
の前提を評価する。ルールの左側に含まれる変数はその
ルールの処理に実際に必要なもの又は必要ではないもの
であり、ブレークポイントは、選択された変数が活用ル
ールの左側にあれば実行動作を停止するようにセットさ
れ得る。 ［００３１］ 次のステップ４４ば、活用ルールの処理に必要な左側の
変数が未決定であるかどうかを決定することである。未
決定なものがあれば、ステップ４６においてルールを処
理するに必要なこれら未決定の変数が識別され、制御が
ステップ３８に戻されてそのような変数の１つを目標と
して制定する。 活用ルールの左側の変数のすべてが決定され、又は活用
ルールが決定された（例えばＯＲ関係にある１つの変数
が真のとき）変数に基づいて排除された場合には、制御
はステップ４８に入る。このステップにおいてルールの
左側が実際に評価される。ブレークポイントは１つの変
数の値がルールの左側を評価するために実際に必要であ
るとすればこの時発生される。 ［００３２］ ルールの前提がステップ４８で評価された後に、その機
能がステップ４９において未決定の変数に対する基準と
してチエツクされる。未決定のままの基準があれば関連
する変数はステップ４６において識別され、それら変数
の１つがステップ３８において目標として選択される。 これらの変数が決定されると、ブレークポイントはルー
ルの左側が真であるか偽であるかにより発生される。こ
の点において、ルールの右側のアクションがステップ５
０で実行される。この段階において選択された変数値が
変化したとき１つのブレークポイントが特定されて発生
する。 ［００３３］ 次のステップ５１はそれ以外のソースが残っているかど
うかを決定する。選択された変数についてのすべてのソ
ース決定アクティビティがステップ５１において完了す
ると、この変数の決定に対応するブレークポイントが生
ずる。それでなければ別のソースがステップ４０におい
て作動される。全プロセスは未決定の目標がなくなるま
でステップ５２で繰り返され、目標がなくなったとき推
論処理が終了となる。 ［００３４］ 図５は順方向連鎖が選択されたときに推論機構１２によ
り実行される推論アクティビティを示す。選択できる種
々のブレークポイントも示している。逆方向連鎖の場合
と同様に、ブレークポイントとなったかどうかの決定は
、推論アクテイビテイが完了してブレークポイントにな
るたびに手続ぎコールを行うことにより実行され、現在
の状態の比較が特定されたブレークポイントの条件に対
して行われる。 ［００３５］ 第１ステツプ５４は初期データにより影響を受けるすべ
てのルールにつり）で前提の評価をする。ブレークポイ
ントはこの変数値が必要とされ得るか又は必要であるか
により生じるものとして特定される。 １つのルールのすべての前提が真であれば、当該ルール
がステップ５６でコンフリクトセットに加入される。ま
たブレークポイントはルールがコンフリクトセットに加
入されるときに発生するようにすることもできる。 ［００３６］ ステップ５８においてコンフリクトセットが空であれば
処理が完了する。そうでなければ、コンフリクトセット
からのルールがステップ６０においてファイア処理され
るものとして選択され、ステップ６２において排除され
る。このときファイア処理されたルールについてブレー
クポイントを特定することができる。ステップ６２にお
いてファイア処理することにより１以上の変数値が変化
し得る。 ルールがファイア処理によって排除された結果として変
数値が変更されるとき、実行動作を停止するためにブレ
ークポイントを特定する。 ［００３７］ １つのルールをファイア処理した効果は、変更された変
数によりどのルールが影響されるかを識別することによ
り、知識ベースの残りの部分に伝播する。これにより影
響されたルールの前提がステップ６４において再評価さ
れる。影響されたルールのすべてがステップ６４におい
て再評価を必要とするものとして識別されると、変更さ
れた基準変数を有するルールインスタンチェイション（
ｉｎｓｔａｎｔｉａｔｉｏｎ　）がコンフリクトセット
から除去される。ルールがコンフリクトセットから除去
されるときブレークポイントが特定されることにより発
生する。 ［００３８］ 好適な実施例ではユーザが推論を非同期的に停止させる
こともできる。これはキーボード又はマウス入力装置か
らユーザがブレークポイント処理中断コマンドを入れる
ことにより行われる。ブレークポイント条件が発生した
かどうかを決定するために任意のデバッガ手続きに対し
て手続きコールがなされるたびに、ユーザがそのような
中断コマンドを入れたかどうかを見るためのチエツクが
行われる。そのような場合にはブレークポイントプロセ
サは予定のブレークポイントに到達したものとして呼び
出される。 ［００３９］ 前述のようにブレークポイントプロセサにより行うこと
のできる機能の１つはシステムの実行を前の状態にロー
ルバックすることである。これはルール又は変数が変更
されたときシステムの一貫した実行動作を保証するため
に、当該ルール又は変数が現在実行中の処理動作に用い
られているとき必要である。ユーザはシステムの実行を
任意の時点で任意の状態にロールバックすることができ
る。 ［００４０］ 図６は実行状態をリセットするに必要な情報をいかにし
て保存するかを示す。 推論イベント６６．６８は図４、図５について述べたイ
ベントに対応する。実際には数多くの推論イベントがあ
るが、図６にはそのうち２つだけを示しである。 各推論イベント６６．６８は多数の実行アクションから
なる。実行アクションは推論機構によりその種々のアク
ティビティを行うために採られるアトミックアクション
である。推論イベント６６は実行アクション７０及び７
２からなり、推論イベント６８は実行アクション７４及
び７６からなる。１つの推論イベントを行うに必要な実
行アクションの数はイベントにより決まり、１つの実行
アクションから、特定の推論イベントを特定するに必要
な数まであり得る。 ［００４１］ １つの実行アクションが行われるたびに、実行履歴列７
８に記録が加入される。推論イベントが完了するたびに
１つの記録が推論履歴列８０に加えられる。履歴列７８
及び８０に置かれた記録は各アクション及びイベントに
ついてなされたアクションの完全な記述を含む。これら
履歴列に置かれる各記録は除去可能であり、そしてその
効果を取消し得る。システムを前の状態にロールバック
するために実行履歴列７８及び推論履歴列８０からラス
トインラストアウト方式で適正な数の記録を除去するだ
けで良い。各記録が除去されると、その効果は取り消さ
れかくしてシステムの実行履歴は中間状態を通って逆方
向に進む。 ［００４２］ システムには１組のデバッグ列８２が保持されている。 各デバッグ列は各ルール及び各変数について保持されて
いる。１つの変数が使用され又は変更されるたびに、そ
のようなイベントの識別子が対応するデバッグ列に加入
される。１つのルールが逆方向連鎖におけるソースとし
て選択され又は順方向連鎖のコンフリクトセットに加入
されるたびに、当該イベントが生じた時及び当該選択に
対応する変数を識別するために適正なデバッグ列に記録
が加入される。１つのルールがファイア処理されるとき
には、そのルールを排除するものとして選ぶなめに用い
られた文節において参照されたすべての変数についての
値が、当該ルールについてのファイア履歴列に記録され
る。 ［００４３］ 図７はエキスパートシステムの状態をロールバックする
なめに情報を保存できるようにする機構の詳細を示す。 推論機構１２は状態マシン推論機構１５０として好適な
手段となる。これは極めて単純な実行サイクルを介して
連続的なループを形成する状態マシンである。各サイク
ル中に推論機構１５０は実行スタック１５２から記録を
引き出させて当該記録のコピーを実行履歴列７８に加入
する。実行履歴列７８に加入された記録は実行サイクル
が行われるたびにインクリメントされるカウンタの現在
値を含む。かくして実行履歴列７８は実行スタック１５
２の最初に発生した記録の履歴を表わす一連の連番を有
する記録を含むことになる［００４４］ 実行スタック１５２上の各記録は、推論機構１５０の現
在の状態を識別する情報を含む。推論機構１５０はその
状態に関連するアクティビティを行うのに必要なコード
を呼び出す。各実行状態についてのこのコードは適切な
情報の値を検査し、必要な変更を行い、次に入るべき状
態を計算する。そのとき次の実行状態についての記録が
実行スタックに押し込まれ、かくしてそのサイクルが完
了する。 ［００４５］ 推論機構１５０についての典型的な実行状態は「ルール
前提のチエツク」、「ルール結果のファイア処理」、「
コンフリクトセットへの加入Ｊ及び「コンフリクトセッ
トからの除去」を含む。これら実行状態は図６について
述べたアトミックアクション７０．７２．７４．７６に
対応する。 ［００４６］ 順方向連鎖及び逆方向連鎖推論プロセスも限定型状態マ
シンとして好適なようにモデル化されている。各プロセ
スは推輪状態サイクルからなり、各推輪状態は所定の順
序で実行状態の処理を行うことにより実行される。これ
らの推輪状態は図６の状態６６及び６８に対応する。典
型的な推輪状態は「突合せ」、「実行」「値の取得」及
び「ルールのファイア処理」を含む。単一推輪状態を実
行するに必要な実行状態の数は推輪状態の処理をするの
に必要なアクションの複雑さにより決まる。例えば、順
方向連鎖における「突合せ」の状態は多数の「ルール前
提のチエツク」及び「コンフリクトセットへの加入」の
実行状態からなる。実行中に必要な数は特定のルールの
左側の項目の数及び値により決まる。他の例としては、
ＪＩＩＮ方向連鎖プロセスにおけるルールのファイアリ
ングは２つの実行状態、すなわち「コンフリクトセット
からの除去」及び「ルール結果のファイア処理」を含む
。逆方向連鎖プロセスでのルールのファイアリングも好
適には２つの状態すなわち「ルール前提のチエツク」及
び「ルール結果のファイア処理」を含む［００４７］ 推論アクティビティが生じると、推輪状態は推論スタッ
ク１５４に押し込まれる。次の推輪状態が開始すると、
この推論スタックから記録が引き出され、実行履歴列７
８に実行記録をコピーする場合と全く同様にして推論履
歴列８０にコピーされる。推論履歴列８０にコピーされ
た各推論記録は実行履歴列７８における実行記録を記録
する場合と同様にして現在の実行状態数を示す時間スタ
ンプを含む。 ［００４８］ 上述のように推論機構１５０がブレークポイントが生じ
得る状態になれば、実際にブレークポイントに達したか
どうかを決定するための呼び出しがブレークポイント手
続きに対しなされる。そのような潜在的なブレークポイ
ントになるたびにブレークポイント列１５６に記録され
る。この記録はブレークポイント列１５６にそれが記録
された時点での現在の実行状態番号を示す。この記録は
また発生されつつあるブレークポイントのタイプを示す
。例えば、潜在的ルールのファイアリングブレークポイ
ントとなれば、これがブレークポイント列１５６に記録
された記録によって識別される。 ［００４９］ 変数１６についてなされたすべての変化の完全な履歴が
各変数に対応するバージョン履歴列内に保持される。こ
の履歴は１つの変数が用いられる時、目標に達した時等
を示すデバッグ履歴列に加入される。変数の値が変化す
るたびに、１つの記録が、新しい変数値及び現在実行状
態番号を含む対応するバージョン履歴列に加入される。 このように実行状態番号は種々の変数が値を変えた時点
を示すための時間スタンプとして機能する。 ［００５０］ ルール履歴列は各ルール１４に関連する。１つの実行状
態において１つのルールが用いられるたびに、対応する
記録がそのルールについてのルール履歴列に記録される
。上述の場合と同様にして現在の実行状態番号が時間ス
タンプとして用いられる。 ［００５１］ １セット以上の種々のカインドがこのエキスパートシス
テムの実行中にしばしば利用される。これら力インドセ
ットは時々刻々変更するエレメントの集合である。推論
機構１５０はそのようなセット１５８をアクセスし、こ
のセットが変更されるたびにセット履歴列１６０に記録
を加入する。特定の実行要求があったとき、セット履歴
列１６０内の各記録は、変形されたセット１５８の完全
なコピーを含み、又はセット１５８に加入されかつ削除
されたエレメントのすべてのリストだけを含むことにな
る。 ［００５２］ セット１５８の一例は順方向連鎖に用いられるコンフリ
クトセットである。ルールがコンフリクトセットに加入
され又は除去されるとき、このアクティビティはセット
履歴列１６０に反映される。前述のケースにおいて生じ
たように、現在の実行状態番号はそのセットについて行
われるアクティビティの時間的な履歴を与えるためにセ
ット履歴列１６０に加入される各記録についての時間ス
タンプとして用いられる。 ［００５３］ 推論機構１５０を前の状態にロールバックするためには
すべてのスタック及び履歴列をリセットする必要がある
。実行スタック１５２は推論機構１５０を逆方向に動か
すことにより構成し直される。実行スタック１５２に対
するすべてのスタック動作は反転され、これにより実行
スタック１５２を前方に押し込むことにより記録が引き
出され、また前方に引き出されることにより実行履歴列
７８内の最終記録が実行スタック１５２に押し込まれる
。この逆方向プロセスは、実行履歴列７８から各実行状
態が引き出されてスタック１５２に押し込まれるたびに
実行状態番号を減少させることにより、所望の実行状態
番号となるまで続行される［００５４］ 同様のプロセスが推論スタック１５４及び各セット１５
８について行われる。 この逆方向プロセス中の実行状態番号が、推論履歴列８
０及びセット履歴列１６０それぞれにおける最終記録と
共に記録された実行履歴番号と等しくなったとき当該記
録は履歴列から除去される。推論履歴列８０から除去さ
れる記録の場合には、これらの記録は推論スタック１５
４に置かれる。１つの記録がセット履歴列１６０から除
去されるとき、対応するセット１５８はセット履歴列に
記録された値に従って更新される。 ［００５５］ 変数１６のリセットは、より単純に行うことができる。 各バージョン履歴列はロールバックが行われている実行
状態番号より小さいか又は等しい時間スタンプを有する
最終バージョンについて単に走査される。その後の時間
スタンプを有するすべてのバージョンは同様に捨てられ
る。種々のルール１４についての履歴列は変数バージョ
ン履歴列と同様にロールバックされる。 ［００５６］ ブレークポイント列１５６も選択されたロールバック点
以降のブレークポイント列のすべての記録を単に捨てる
だけでロールバックし得る。しかしながらブレークポイ
ント列１５６は他の目的について有効に使用し得る。こ
れば、推論機構１５０が順方向に実行しているときにブ
レークポイントが特定されると同じようにしてロールバ
ンク状態を特定するために使用できる。例えば順方向連
鎖において逆ブレークポイントは、ルールがコンフリク
トセットに加入され又は除去される時点として特定され
る。このときブレークポイント列が終了ステップから開
始ステップへと走査され、それぞれ考えられるブレーク
ポイントにおいてチエツクがなされる。この場合、セッ
ト履歴列１６０は各関連するブレークポイントにおいて
コンフリクトセットについてチエツクされ、逆方向にお
いて実際に所望のブレークポイントに達したときの決定
を直ちに行うことができる。ブレークポイントが識別さ
れると、対応する実行状態番号が識別されてシステムの
残りの部分が当該実行状態にロールバックされる。 ［００５７］ 上述のようにデバッガはユーザがブレークポイントにお
いて変数値を変更できるようにする。これは、その変数
の前の値が前の推論ステップですでに用いられている限
り推論機構を不一致状態に置くことができる。多くの場
合、ブレークポイントセツション中になされたすべての
変化と一致する状態に推論機構をロールバックし、そこ
から実行を再スタートすることが望ましい。このロール
バック機構は、前の一致状態が識別されるとエキスパー
トシステムを前の状態にリセットするために使用される
。一致状態へのロールバックが必要とされたとき、最後
の一致状態を決定するための技術を次に説明する。 ［００５８］ 次に前の一致状態を決定するなめに用いる４つの「スマ
ート」技術を述べる。 よりスマートな技術はロールバック時間を短くするが、
ロールバックする際に用いる適正な実行状態を決定する
ためにより計算機的な動作源を必要とする。 第１の方法は従来のエキスパートシステムのデバッガに
おいて用いられるものと同様の方法を用いる。この方法
はデバッグセツション中にルール又は変数に変更が生じ
たときに最初からすべての診断を再度開始する。多くの
場合、値の変化何の効果ももたないので、多量に冗長計
算をする必要がある。 ［００５９］ 次の方法は変更された変数又はルールが用いられる最も
早い時点に戻る。好適なシステムでは、変数に変化が生
じたときの方法が用いられる。 変数に変更が生じたとき当該変数が用いられた最も早い
時点に戻る必要がある。このことは、順方向連鎖を実行
する推論機構では、変数が１つの値を受けた最も早い時
点を決定することと等価である。この変数が値を受けて
いなければ不一致は生じない。この変数が値をもってい
れば、値を受は力最も早い時点が、当該変数に関連する
バージョン履歴列の第１番目のエントリを検査すること
により決定できる。そのようなエントリに関連する時間
スタンプは一致状態を保証するために推論機構をどこま
でロールバックすべきかを示す。推論機構は最後の一致
実行状態である列内に見い出された値の直前の実行状態
番号にロールバックする。 ［００６０］ 逆方向連鎖推論機構が用いられるときにはその変数が常
に目標であったがどうかを決定する必要がある。これは
、ルールが目標として選択されたことを示す記録を探し
ながらデバッグ列を変数について最初から走査すること
により決定することができる。この変数が目標として選
択されたとき、直前の実行状態が推論機構を戻すべき最
後の一致状態になる。 ［００６１］ この方法はルールの変化が生じたとき、必要に応じて、
使用することができる。しかしながら好適な実施例にお
いては、ルールが実際に用いられる第１点を決定するた
めにルールのシンタックスを利用するより複雑なテスト
が用いられる。 ［００６２］ 逆方向連鎖についてはこのテストは、変更されたルール
が推理する任意の変数（すなわち、当該ルールの右側の
任意の値）が目標となる最も早い時点を決定することに
より行われる。これは当該変数をデバッグ列内に探し任
意のデバッグ列内の最も早い実行状態番号を決定するこ
とにより決定できる。他の技術は変数が目標として選択
されるタイプのフラグが付された潜在的なブレークポイ
ントを探しながらブレークポイント列１５６を最初から
走査するものである。選択された［００６３］ 順方向連鎖が用いられている場合は、変更されたルール
が用いられた最も早いは好適には変更されたルールに対
する最小ファイアリングセットの決定を含む。 理される前に特定する必要はない。例えば（Ａ　　ＡＮ
Ｄ　　Ｂ）ＯＲ（ＣＡＮＤＤ）のような形式の左側をも
つルールでは、Ａ及びＢのみが特定され又はＣ及びＤの
みが特定されるときそのルールをファイア処理すること
ができる。このようにＡ及びＢは共にそのルールについ
ての最小ファイアリングセット内の１つの［００６４］ そのようなルールがコンフリクトセットに入り得た最も
早い点を見い出すためには、変数（この例ではＡ、Ｂ、
Ｃ，Ｄ）がはじめに値を受けるときを決定するため最初
からブレークポイント列１５６を順方向に走査すること
ができる。効果の点で有利な他の方法は、Ａ及びＢが共
に特定され又はＣ及びＤが共に特定される最も早い実行
状態番号を決定するために、それぞれについてのバージ
ョン履歴［００６５］ 第４の方法はこれと同様であるが、左側の変数の値を実
際に見て当該変数値が実際に左側をコンフリクトセット
に入れさせるかどうかを決定することを含む。 そのような決定は、その後の演算において実行すべきロ
ールバックを少なくできる結果になるが、上述の決定の
仕方より著しく複雑になり、その結果効率の点で望まし
くない。あるシステムでは、種々の変数値及びルール構
造によって複雑なテストを行うことにより著しいセービ
ングを実現し得る。そのようなシステムに用いることは
正しいと考えられる。 ［００６６］ 種々の変数及びルールの履歴はこれを変数に生ずる変化
及びルールを用いたポイントを追跡するために使用でき
る。これによりユーザがエラーの原因を決定するために
選択されたルール又は変数の履歴を１回に１ステツプ戻
るような方法を許容できる。 ［００６７］ この実施例において好適に与えられるデバッグツールは
ルール／変数ネットワークのグラフィック表示である。 図８にそのような表示の一例を示す。図８は４つのルー
ル８４．８６．８８．９０及び９個の変数９２〜１０６
を有する知識ベースの図形表示である。ルールの条件に
用いられる変数はルールボックスの左側に接続し、ルー
ルのアクションにおいて結論を出す変数はこのルールの
左側に接続する。例えばルール８４は変数１０２につい
ての結論を出すために変数９４及び９２を用い、ルール
８８は変数９６及び１０６の結論を出すために変数９８
及び１００を用いる。 ［００６８］ 図８のネットワークは事前診断モード、診断モード及び
事後診断モードの各モードにおいて使用される。このネ
ットワークの使用はどのモードとなっているかによって
少し変化する。図８に示す静的ルール／変数ネットワー
クは知識ベースにおける種々のルール及び変数間の静的
依存性を示すための事前診断モードで用いられる。これ
は、種々の変数を変えることにより影響を受けるルール
及び種々のルールを変えることにより影響を受ける変数
を決定するためにユーザによって利用される。 ［００６９］ エキスパートシステム（診断モード）の実行中、推論プ
ロセス内のイベントの進行を可視表示するためにルール
／変数ネットワークに１つのアニメーションが与えられ
る。このため、種々の指標がエキスパートシステムによ
り行われる推論の信号を図形表示するために用いられる
。色彩の変化又は濃淡がルール及び変数の状態を示すた
め使用される。カラー表示の場合には色の変化がルール
及び変数［００７０］ 図９ｂ−９ｉは白黒グラフィック表示における変化を表
す好適な方法を示す。 ルール／変数ネットワーク内の各変数７ノード１６２は
対応するオフセットした変数ノード１６４を有する。オ
フセット変数ノード１６４はそれに重なる変数ノード１
６２により部分的に不明瞭となり、変数ノード１６２の
状態変化を示す補助としてのみ用いられる。各ルールノ
ード１６６は同様にしてオフセットしたルールノード１
６８を有し、これも同じように機能する。図における単
一方向のハンチングは１つのノードが白黒表示で灰色と
なることを示し、クロスハツチングは１つのノードが黒
となることを示す。 ［００７１］ まず変数ノード１６２及びオフセット変数ノード１６４
はこのネットワーク内のすべての変数について黒である
とする。この状態を図９ｂに示す。逆方向連鎖がこの推
論機構で用いられると、オフセット変数ノード１６４は
それが表わす変数が目標として選択されれば灰色となる
。これを図９０に示す。１つの変数が値を受けると、変
数ノード１６２も図９ｄに示すように灰色になる。この
変数が導出されると、図９ｅに示すように、変数ノード
１６２は灰色のままになりかつオフセット変数ノード１
６４が白となる。 ［００７２］ ルールノード１６６及びオフセットルールノード１６８
は同様にして最初は、図９ｇに示すように、黒である。 ルールが活用されるソースになると、オフセットルール
ノード１６８は図９ｈに示すように灰色となる力板ルー
ルノード１６６は黒のままになる。これらルールがファ
イア処理されると、ルールノード１６６も図９１に示す
ように灰色となる。 ［００７３］ 基礎となる推論機構が順方向連鎖を実行しているとき同
じようなアニメーション技術が使用され、この場合には
、オフセットした変数ノード１６４は使用されずに、黒
色のまま残る。変数に値が割り当てられたとき、変数ノ
ード１６９は黒色から灰色に切り換わり、その結果図９
ｆに示すような表示がなされる。順方向連鎖の場合には
、ルールがコンフリクトセットを入れたときオフセット
したルールノード１６８が灰色になって図りに示すよう
な表示を与え、またルールが図９１に示すようにファイ
ア処理されたとき、ルールノード１６６は灰色に切り換
わる。 ［００７４］ いくつかの変数はまた知識ベースに割り当てられた値を
有する。これら変数に対応するノードは、値を受ける変
数用に用いられるグラフィック表示された値を割り当て
られる。このように、逆方向連鎖の推論機構については
、オフセット変数ノード１６４は白でありかつ変数ノー
ド１６２は灰色である。順方向連鎖の推論機構では最初
オフセット変数ノード１６４は黒でありかつ変数ノード
１６２は灰である。 ［００７５］ この動的表示の使用又はルール及び変数についての状態
変化を表示する同様の技術を使用することにより、ユー
ザに動作可視グラフィック表示を与えるルール／変数ネ
ットワークが得られる。逆方向連鎖が用いられるとき、
オフセット変数ノード１６４及びオフセットルールノー
ド１６８の灰色の右から左への流れが推論プロセスにお
ける目標、ソース及び補助目標が連鎖的に発生したこと
を示す。 変数ノード１６２及びルールノード１６６の灰色の左か
ら右への流れはルールファイアリング及び変数値の伝播
効果を示す。順方向連鎖の場合、このネットワークの同
様な左から右への灰色の流れは推論プロセスの可視表示
を与える。 ［００７６］ 上記のようなアニメーション化された表示によれば、ユ
ーザは各ステップで生ずる多くのデイテールにより混乱
させられることなく、推論プロセスの流れを見ることが
できる。ユーザが正しくないものとして知っている方向
に推論プロセスが開始するとすれば、ユーザは非同期的
に実行を中断させて問題の原因を検査することができる
。 ［００７７］ 事後診断段階では、ルール／変数ネットワークが知識ベ
ース内のすべてのルール及び変数の最終状態を静的に表
示する。ユーザは目標としてどの変数が用いられて値を
受けたか、またどのルールがファイア処理されたかを図
形的に見ることができる。 ［００７８］ ある場合には変数が１サイクルに関係することがある。 逆方向推論機構においてこの状態は、１つの変数がその
変数導出用の補助目標に用いられるルールの左側にある
ときに生ずる。サイクルは、例えば値ＶＡＲ４の変数９
８及び値ＶＡＲ７の変数１０４のノードカ飄実際に同一
の変数を表わすとき図８において生ずる。そのようなサ
イクルが生じたとき、図９ｊに示すように、通常は円形
のノード１６２がルール／変数ネットワークの右に置か
れてこれが目標であることを示しまた菱形記号がスプリ
ット変数ノード１７０を示すために用いられる。推論中
日形の変数ノード１６９はオフセット変数ノード１６４
と同様に灰色になり、菱形のスプリット変数ノード１７
０は変数ノード１６２と同様に灰色になる。この表示技
術は順方向連鎖の場合に用いられる。 ［００７９］ ルール及びノードの図形表示を変更するための手続きは
前述のデバッガにより容易に行われる。図４及び図５に
ついて述べたように、潜在的なブレークポイントに到達
するたびに、デバッガに対して手続きコールがなされて
実際にブレークポイントに達したかどうかを決定する。 図形表示用のこの変化はそれぞれ潜在的なブレークポイ
ントに対応する。例えば１つの変数を目標とすれば図４
のステップ３８で示されるように潜在的なブレークポイ
ントになる。同様にルールのファイアリング処理は図４
のステップ５０に対応する潜在的なブレークポイントを
発生する。図形表示に変化を生じさせるようなイベント
が発生することによりブレークポイントデバッガが呼び
出されると、手続きコールが表示マネージャに対して行
われて表示の適正なノードの変更を行う。ブレークポイ
ントがそのとき実際に生じたかどうかには無関係に表示
が変更される。 ［００８０］ 図１０はブレークポイントプロセサ３４がブレークポイ
ントにおいて呼び出されるときに生じ得る種々のイベン
トを示す図である。まず、推論機構の実行を停止させる
条件がユーザの情報についてブロック１１０において表
示される。このときブレークポイントプロセサはブロッ
ク１１２においてユーザからの入力を受け、そしてユー
ザの選択により種々のアクションの内の１つを実行する
。 ユーザはブロック１１４において推論機構の実行を停止
させるブレークポイントを見て編集することができる。 １回に多数のブレークポイントを加え、編集し及び削除
し得るようにユーザにメニュを与えることができる。 ［００８１］ ユーザはブロック１１６において知識ベース内のルール
を見て編集するか、又はブロック１１８で変数を見て編
集するかを選択することもできる。ユーザが用いられた
ルール又は変数を編集する場合には、システムにより一
貫性の分析が自動的に行われる。好適な一貫性のチエツ
ク方法はすでに述べた。この変化がシステムを非−貫性
状態にするものである場合には、ユーザに知らされる。 ユーザは必要であれば実行を一貫性状態にロールバック
する機会をもつ。 ユーザは特定のルールファイアリングについての詳細情
報を与える詳細ルールの追跡をブロック１２０において
行う。すなわち、参照されたすべての変数の値と各前提
条件についての真値が示される。このレベルのデイテー
ルは従来の説明機能では与えられないカミデバッグには
必要なものである。 ［００８２］ ユーザはブロック１２２において変数値が必要な理由又
はブロック１２４においてその値が得られた理由の表示
を選ぶことができる。ブロック１２２における「ＷＨＹ
Ｊ質問は、制御手続き（順方向又は逆方向連鎖）が特定
の変数についての値を必要とする理由又はいかにして変
数値が種々のルール及び変数の対話を通じてリップルす
るかを表示する。ブロック１２４の「ＨＯＷＪ質問は、
いかにして制御手続きが特定の変数の値を決定しようと
しているかを表示する。「ＷＨＹ」質問は本来未来形の
質問であり、「なぜこの情報が必要か」を問うものであ
る。１−ＨＯＷＪコマンドは本来過去形の質問であり、
「いかにしてこのように事が生じたか」を問うものであ
る。 ［００８３］ 診断段階＆：Ｂｂｓで・　「ＨＯＷ」及び「ＷＨＹＪ質
問がルール又は変数につり・ての過去及び将来の使用を
決定するために用いられる。ブロック１２２の「ＷＨＹ
」質問はどこで変数が用いられたか（過去）　またどこ
でそれが用いられるか（未来）を示す。デバッグ列は過
去情報を得るために用いられ、静的ルール／変数ネット
ワークは未来の事前診断段階で生ずるようなものについ
て用いられる。ブロック１２４の１−ＨＯＷＪ質問は変
数が現在の値をどのように受けたか又はルールがどのよ
うな理由でファイア処理されたかを示す過去情報を得る
ためにデバッグ列を使用する。ブロック１２４の１ＨＯ
ＷＪ質問は、ブロック１２２の「ＷＨＹ」質問と同様に
して未だ生じていないイベントに関する質問に答えるた
めに静的ルール／変数ネットワークを用いる。 ［００８４］ 事前診断段階２４において「ＨＯＷ」及び「ＷＨＹ」質
問は推論機構により採用されることがあるステップを見
い出すなめにのみ用いることができる。診断段階２６及
び事後診断段階２８においては過去、現在及び未来のイ
ベントについての情報も使用できる。 ［００８５］ 上述のようにユーザはいくつかの方法でブレークポイン
トプロセサ３４を出ることができる。ユーザは推論機構
の単一ステップ実行ブロック１２６を開始し又は続行す
ることができる。制御は１つの単一ステップが完了した
後にブレークポイントプロセサ３４に戻る。ユーザはブ
ロック１２８において診断段階を早めに終了させて事後
診断段階に直接移すことができる。またユーザはブロッ
ク１３０においてブレークポイントプロセサから出て通
常の実行に戻させることができ、又はブロック１３２に
おいてシステムの実行を最初から再スタートさせること
ができる。ブロック１３４において実行状態を選択され
た状態又はフレークポイントにより特定されるものにロ
ールバックすることができる。これは、ブロック１１９
の一貫性分析が変化により非−貫性が導入されたことを
示した後にしばしば行われるのであり、最後の一貫性状
態への直接のロールバックのオプションがユーザに与え
られる。 ［００８６］

【発明の効果】

上述のルール型デバッガによればユーザはエキスパート
システムフログラムの進行についての詳細な情報を得る
ことができる。ブレークポイントは動的にセットされそ
して変更することができ、システム全体の実行動作につ
いての効果を見るためにルール及び変数値に対するその
ような変化を与えることができる。このデバッガは知識
ベースについて順方向及び逆方向連鎖の両方を支持する
ために使用でき、またユーザとの一貫性のある対話がい
ずれの場合にも用いられる。実行動作の履歴に関する詳
細情報がいくつかの形でユーザに供されるので、実行動
作の状態を前の中間状態にロールバックさせ得る。この
機能により、推論を最初から再スタートすることなくル
ール及び変数に対して変更を行うことができることにな
る。 ［００８７］ エキスパートシステムにおけるルールファイアリングと
並列処理システムにおける同時的なプロセス動作との間
には相似性があることは当業者には明らかである。理論
的にはルールの相互独立性がないかぎり多くのルールは
同時に動作する。各ルールが並列システム内の１つのプ
ロセスに対しマツプされ、メツセージが変化を通信する
ために用いられた変数を通し又は共用するとすれば、相
互独立性をもたないプロセスも同時に実行し得る。 ［００８８］ 上記のデバッガはそのようなエキスパートシステムでも
使用できる。これはイベントの順序が予め知られていな
いとき有用なデバッグ情報を与えるように設計されてい
る。この状態は一般に並列処理システムにおいて生じる
から、前述のデバッガは適正な変更を加えることにより
そのようなシステムにも使用できる。ブレークポイント
は各プロセスについて別々に特定することができ、これ
によりデバッガはそれらが１つとなったときに呼び出さ
れる。システム設計により、残りのプロセスも停止する
ことができ、又は続行するようにすることもできる。ル
ール／変数ネットワークと等価なツールをメツセージ又
は共用変数を用いるプロセス間の関係を図形表示するた
めに用いることができる。種々のプロセスの実行履歴を
検査する能力はルール型システムのデバッグに有効なよ
うに並列システムのデバッグにも有効である。

【図面の簡単な説明】

【図１】 ルール型エキスパートシステムをデバッグするためのシ
ステムのブロック図である。

【図２】 好適なデバッガにおける３つの段階をもつ高レベルな制
御の流れを示すブロック図である。

【図３】 図２の診断段階の詳細を示すブロック図である。

【図４】 逆方向連鎖が用いられるときの推論中の潜在的なブレー
クポイントを示すフローチャートである。

【図５】 順方向連鎖が用いられるときの推論中の潜在的なブレー
クポイントを示すフローチャートである。

【図６１ 好適な実施例によるデバッグを支持するために推論機構
により用いられるデータ構造を示す図である。 【図７】 好適な実施例によるデバッグを支持するために推論機構
により用いられるデータ構造を示す図である。

【図８】 好適なデバッガにより描くことができるルール／変数ネ
ットワークの一例を示す系統図である。

【図９】 図８の図形表示を示す路線図である。

【図１０】 ブレークポイントとなったときユーザ入力に応じて行わ
れる種々のアクションを示すフローチャートである。

【符号の説明】

１０・・・・・・エキスパートシステム、１２・・・・
・・推論機構、１４・・・・・・ルール、１６・・・・
・・変数、１８・・・・・・知識ベース、１９・・・・
・・ユーザインターフェース、２０・・・・・・デノ〈
ツガ、２２・・・・・・データベースアクセス。

【書類基】

【図１】 図面

【図２】

【図３】

【図５】

【図８】

【図９】

Claims (7)

【特許請求の範囲】
1. 【請求項１】一貫性がある推論状態間を動く推論機構を
   用意するステップと、エキスパートシステムにある各変
   数において、当該変数が使用されたか又は使用される可
   能性があつたとき、エントリ表示を含む対応するデバッ
   グ列を発生するステップと、 ルール又は変数がユーザによつて変更されたとき、当該
   ルール又は変数が上記エキスパートシステムに使用され
   たかどうかを決定するステップと、上記変更されたルー
   ル又は変数が使用されたとき、当該変更されたルール又
   は変数が使用される可能性があつた最も早いポイントを
   決定して上記エキスパートシステムのうち上記変更され
   たルール又は変数と一致する前回の状態として上記ポイ
   ントを選択するステップとを具え、ルール型エキスパー
   トシステムの一貫性を検査することを特徴とするデバツ
   ギング方法。
2. 【請求項２】変数が変更されたとき、上記決定するステ
   ップは、変更された変数に対応するデバッグ列を試すス
   テップと、上記変数が使用される可能性があつた最も早
   く決定されたポイントとしてデバッグ列内の最も早いエ
   ントリを選択するステップとを有することを特徴とする
   特許請求の範囲第１項に記載のデバツギング方法。
3. 【請求項３】ルールが変更されたとき、上記決定するス
   テップは、上記推論機構が逆方向連鎖を使用している場
   合には、上記ルールが使用される可能性があつた最も早
   いポイントとして、上記変更されたルールが活用ソース
   として選択される可能性があつた第１のポイントを選択
   するステップを有し、上記推論機構が順方向連鎖を使用
   している場合には、上記ルールが使用される可能性があ
   つた最も早いポイントとして、上記変更されたルールが
   コンフリクトセットに入る可能性があつた第１のポイン
   トを選択するステップを有することを特徴とする特許請
   求の範囲第１項に記載のデバツギング方法。
4. 【請求項４】上記推論機構が逆方向連鎖を使用している
   とき、上記選択するステップは、上記変更されたルール
   の右側のすべての変数に対応するデバッグ列を試すステ
   ップと、 上記変更されたルールが使用される可能性があつた最も
   早いポイントとして、対応する変数が目標となつた上記
   デバッグ列のいずれかにある最も早いエントリを選択す
   るステップとを有することを特徴とする特許請求の範囲
   第３項に記載のデバツギング方法。
5. 【請求項５】上記推論機構が順方向連鎖を使用している
   とき、上記選択するステップは、上記変更されたルール
   に対する最も最近のファイアリングセットを決定し、上
   記最も最近のファイアリングセット内のすべての変数に
   対応するデバッグ列を試すステップと、 上記変更されたルールが使用される可能性があつた最も
   早いポイントとして、上記最も最近のファイアリングセ
   ット内のすべての必要変数が特定された最も早い時点を
   選択するステップとを有することを特徴とする特許請求
   の範囲第３項に記載のデバツギング方法。
6. 【請求項６】潜在的なブレークポイントが推論機構に到
   達するごとにエントリを加入する場合に、エキスパート
   システムが実行動作をしている間にブレークポイント列
   を発生するステップを有することを特徴とする特許請求
   の範囲第３項に記載のデバツギング方法。
7. 【請求項７】上記推論機構が逆方向連鎖を使用するとき
   、上記決定する手段は、最初からブレークポイント列を
   見直すステップと、目標として、変数の選択に対応する
   潜在的ブレークポイントを選択するステップと、 目標として選択された変数が上記変更されたルールの右
   側にある場合に、上記変更されたルールが使用される可
   能性があつた最も早いポイントとして、第１の上記選択
   されたブレークポイントを選択するステップとを有する
   ことを特徴とする特許請求の範囲第６項に記載のデバツ
   ギング方法。