JPH03260834A - ルールベースシステムにおけるバックトラック方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔目　次〕 概要 産業上の利用分野 従来の技術と発明が解決しようとする課題課題を解決す
るための手段 作用 実施例 発明の効果 〔概要〕 ユーザとの対話を行うユーザインタフェース部と、推論
のための知識を記述したルールベースと。

該ルールベースを用いて推論を行う推論エンジンと、該
推論エンジンによって推論された結果を記録していく黒
板とを備えたルールベースシステムにおいて、推論結果
にユーザが満足しなかった場合のバックトラック方式に
関し、 ルールベースシステムの内部構造や、推論のメカニズム
を知らないユーザでも、容易にバックトラックを指示す
ることができるルールベースシステムを構築することを
目的とし、 ユーザが推論結果に不満足なときに、ユーザの指示を受
け付けるバックトラック指示部と、該バックトラック指
示部の指示に従って、上記黒板の内容を戻し、上記推論
エンジンを再起動させるバックトラック処理部を備える
ように構成する。上記バックトラック指示部、及び、バ
ックトラック処理部として、システムの導いた仮説を画
面上にレベル別に表示し、その画面上で削除したい仮説
を指示させて黒板の状態を戻すか、或いは、推論中での
ルールの適用過程を表示し、その画面上でバックトラッ
クの指示を受けて黒板の状態を戻すか、或いは、システ
ムが導いた最終的な解の情報を表示し、その画面上でユ
ーザの不満足な解を指示させ、その指示された属性を生
ずることになったルールの状態迄、推論と黒板の状態を
戻す機構を設けて、そのユーザに指示された黒板の状態
から再推論を行うように構成する。

〔産業上の利用分野〕

本発明は、ユーザとの対話を行うユーザインタフェース
部と、推論のための知識を記述したルールベースと、該
ルールベースを用いて推論を行う推論エンジンと、該推
論エンジンによって推論された結果を記録していく黒板
とを備えたルールベースシステムにおいて、推論結果に
ユーザが満足しなかった場合のバックトラック方式に関
する。

最近の計算機システム技術の進歩と、計算機によるデー
タ処理の多様化に伴い、例えば、様々な分野の専門家の
知的な判断や９問題解決の作業の一部を計算機に代行さ
せようという試みが盛んになっており、所謂、エキスパ
ートシステムの開発が進められている。

該エキスパートシステムでは、人間の知識に相当する部
分を「知識ベースＪと呼ばれるルールベースに対応させ
、該ルールの利用法は「推論エンジン」と呼ばれる知識
ベース解釈プログラムに対応させており、広義にはルー
ルベースシステムと呼ばれるシステムである。

該ルールベースシステムでは、与えられたデータ、例え
ば、画像に対して、上記ルールベースの内容を適用し、
問題を解く、例えば、画像認識を行う。

上記のルールは、例えば、ＩＦ＜条件ｌ〉、〈条件２〉
、〜、　ＴＨＥＮ＜帰結１〉、〈帰結２〉、〜の形式で
記述されており、ユーザからの要求、例えば、上記画像
認識要求があると、該ルールベースから、最も適切なル
ールが取り出され、上記１１文の内容が、現在の状態、
即ち、認識対象の画像中に存在するか否かが調べられ、
若し、存在すると、上記ＴＨＥＮ文を実行して、結果（
仮説〉を得るように動作する。

このようなルールベースシステムでは、システムの出し
た推論結果（画像認識結果）がユーザに満足しない場合
、ユーザが該システムにバックトラックをさせて、より
良い解を求める方法が取られるが、従来のルールベース
システムにおいては、システムに自動的にバックトラッ
クをさせるか。

或いは、ユーザ自身にどこまで、推論を戻すかを指示さ
せる方法をとるが、システムに自動的に別の解を見つけ
させる場合には、ユーザが満足する解を即座に得ること
ができない場合が多いとか、ユーザに何処まで推論を戻
すかを指示させる場合は、ユーザがシステムの構築者で
ないかぎり、現実的には困難な問題があり、一般のユー
ザでも、適切に、システムにバックトラック指示を与え
ることができる効果的なバックトラック方式が必要とさ
れていた。

〔従来の技術と発明が解決しようとする課題〕第５図は
従来のルールベースシステムを説明する図であり、（ａ
）はシステムの槽底例を示し、（ｂ）は従来の自動バッ
クトラックの方法例を示している。

ルールベースシステムは、前述のように、例えば、ＩＦ
＜条件１〉、く条件２〉、〜、　ＴＨＥＮ＜帰結１〉、
〈帰結２〉、〜の形式で記述されたルールがルールベー
ス２に格納されており、ユーザから要求、例えば、上記
画像認識要求があると、該ルールベース２から、最も適
切なルールが取り出され、上記１１文の内容が、現在の
状態、即ち、認識対象の画像中に存在するか否かが調べ
られ、若し、存在すると、上記ＴＨＥＮ文を実行して、
結果（仮説〉を得るように動作する。

かかる、従来のルールベースシステムでは、システムの
出した推論結果にユーザが満足しなかった場合、ユーザ
がシステムにバックトラックさせ、よりよい解を求める
方法を取っていた。

そのバックトラックの方法としては、ユーザがバックト
ラックを指示すると、（ｂ）図に示したように、システ
ムは最後の状態（結果を得た状態：例えば、仮説Ａ）か
ら戻り、最初の分岐点Ａを見つけて、そこで別の選択肢
を選ぶ方法をとっている。

このようにシステムが自動的に理解を見つける場合、分
岐点Ａの位置によっては、最初の解とあまり変わらない
解になることが多く、ユーザが満足する解を即座に得る
ことができない場合が多いという問題があった。

又、システムに自動的にバックトラックさせるのではな
く、ユーザ自身にどこまで推論を戻すかを指示させる方
法では、ユーザがシステムの内部構造を理解している訳
ではないので、システム構築者でないユーザにどこまで
バックトラックさせるのかを指示させるのは難しかった
。

このように従来のルールベースシステムでは、自動的に
バックトラックする方法ではユーザの求める解を得づら
く、又、ユーザが指示する方法では、どこまで戻るかを
指示するのが難しいという問題点があった。

本発明は上記従来の欠点に鑑み、ルールベースシステム
の内部構造や、推論のメカニズムを知らないユーザでも
、容易にバックトラックを指示することができるバック
トラック方式を提供することを目的とするものである。

〔課題を解決するための手段〕

第１図は、本発明の原理説明図であり、（ａ）はシステ
ム槽底の例を示し、（ｂ）は動作フローを示している。

上記の問題点は下記の如くに構成したルールベースシス
テムによるバックトラック方式によって解決される。

（１）　　ユーザとの対話を行うユーザインタフェース
部ｌと、推論のための知識を記述したルールベース２と
、該ルールベース２を用いて推論を行う推論エンジン３
０と、該推論エンジン３０によって推論された結果を記
録していく黒板４とを備えたルールベースシステムであ
って、 ユーザが推論結果に不満足なときに、ユーザの指示を受
け付けるバックトラック指示部１０と。

該バックトラック指示部１０の指示に従って、上記黒板
４の内容を戻し、上記推論エンジン３０を再起動させる
バックトラック処理部５を備えて、ユーザの指示に基づ
いてバックトラックを行うように構成する。

（２）　　上記ルールベースシステムの導いた仮説４１
を画面上にレベル別に表示し、その画面上でユーザの仮
説の削除指示を受け取る仮説指示部１０ａをバックトラ
ック指示部１０として設け、その削除指示に基づいて黒
板４中から仮説４１を削除し、削除した仮説に基づく仮
説４１も同時に削除する仮説削除部５ａをバックトラッ
ク処理部５として設け、 ユーザが削除したい仮説４１を指示することにより、該
指示された仮説４１を、上記黒板４から削除し、その結
果に基づいて再推論するように構成する。

（３）上記ルールベースシステムで推論中にＪＬ／　−
ルの適用履歴４０を黒板４に記録する履歴保存部４ａと
、その履歴４０に基づいて推論の過程を表示し、その画
面上でユーザのバックトラック指示を受け取る推論過程
指示部１０ｂをバックトラック指示部１０として設け、 その指示に基づいて推論と黒板４の状態を戻す推論復帰
部５ｂをバックトラック処理部５として設け、 ユーザが戻りたい推論の過程を画面上で指示することに
より、希望する状態まで戻して、再推論するように構成
する。

（４）上記ルールベースシステムで推論中にルールの適
用履歴４０を黒板４に記録する履歴保存部４ａと、シス
テムが導いた最終的な解の情報を表示し、それに対する
ユーザのバックトラック指示を受け取る解状態指示部１
０ｃをバックトラック指示部１０として設け、 その指示された属性を生ずることになったルールの状態
まで推論と、黒板４の状態を戻す状態復帰部５Ｃをバッ
クトラック処理部５として設け、ユーザが戻したい状態
を画面上で指示することにより、希望する状態まで戻っ
て再推論するように構成する。

〔作用〕

即ち、本発明によれば、ユーザとの対話を行うユーザイ
ンタフェース部と、推論のための知識を記述したルール
ベースと、該ルールベースヲ用いて推論を行う推論エン
ジンと、該推論エンジンによって推論された結果を記録
していく黒板とを備えたルールベースシステムにおいて
、推論結果にユーザが満足しなかった場合のバックトラ
ックの指示を可能にするために、ユーザにバックトラッ
クを指示させるバックトラック指示部と、実際のバック
トラック処理を行うバックトラック処理部を設けている
。

ユーザは、ユーザインタフェース部を通じてシステムと
のインタラクションを行う。推論部でルールを利用して
推論を行い、推論の途中結果や最終結果はメモリである
黒板に書き込まれる。

バックトラック指示部は、ユーザインタフェース部の一
部として機能し、画面にバックトラック指示のための画
面を表示し、その画面上でユーザがどこを直したいかに
ついての情報を受け取り、それをバックトラック処理部
に渡す。

バックトラック処理部では、受け取った情報に基づいて
、黒板の内容を戻す処理を行い、再推論のために推論部
を再起動する。

この処理の手順を以下に示す（第１図（ｂ）の動作フロ
ー参照） ■　推論を行い、その途中結果や履歴を黒板に記録する
。

■　推論終了後にユーザから結果に不満足であるという
指示を受けたなら、バックトラック指示部によってバッ
クトラック画面を表示し、ユーザのバックトラック指示
を受け取る。

■　■のバックトラック指示をバックトラック処理部へ
渡し、バックトラック処理を行う。

■　黒板をユーザの希望する状態まで戻したら、推論部
を再起動する。

このように機能するので、ユーザがシステムの推論結果
に不満足でバックトラックを行うとき、画面上でバック
トラックの位置を指示でき、システムの内部構造や、推
論メカニズムを知らないユーザでも、容易にバックトラ
ックを指示することができる効果がある。

〔実施例〕

以下本発明の実施例を図面によって詳述する。

前述の第１図が本発明の原理説明図であり、第２図は本
発明の一実施例を示した図であって、（ａ）は動作フロ
ー例を示し、（ｂ）はＰ！識対象図面の例を示し、（ｃ
）は推論終了時の黒板の内容の例を示し、（ｄ）は円の
仮説を表示した例を示し、（ｅ〉はバックトラック処理
後の黒板の例を示し、Ｃｆ’）は再推論後の仮説の表示
例を示しており、第３図は本発明の他の実施例を示した
図であって、（ａ）は動作フロー例を示し、（ｂ）は推
論終了時の黒板の例を示し、（ｃ）はバックトラック指
示画面の例を示し、（ｄ）はバックトラック処理後の黒
板の例を示しており、第４図は本発明の他の実施例を示
した図であって、（ａ）は動作フローを示し、（ｂ）は
推論終了時の黒板の状態例を示し、（ｃ）はバックトラ
ックの指示画面例を示し、（ｄ）はバックトラック処理
後の黒板の状態例を示していて、ユーザにバックトラッ
クを指示させるバックトラック指示部１０と、実際のバ
ックトラック処理を行うバックトラック処理部５とを設
けて、ユーザからの推論結果が不満足であるという指示
に基づいて、該バックトラック指示部１０が、画面にバ
ックトラック指示の為の画面を表示し、その画面上でユ
ーザがどこを直したいかを指示させ、その情報に基づい
て、バックトラック処理部５が黒板の内容を戻して、再
推論の為に推論部に再起動を行う手段が本発明を実施す
るのに必要な手段である。尚、全図を通して同じ符号は
同じ対象物を示−している。

以下、第１図を参照しながら、第２図〜第４図によって
、本発明のルールベースシステムにおけるバックトラッ
ク方式を説明する。

（例１） 以下では、本発明のバックトラック方式を図面認識ルー
ルベースシステムに適用した例を、第２図によって説明
する。

このシステムでは、図形をボトムアップに、即ち、円、
三角形等の単体図形の認識から複合図形に認識していく
。

そのためのルールは、以下のように記述されている。

ルールＡ ＩＰ　（ａｎｄ　（Ｘ　ｉｓａ　　ループ）（Ｘの円形
度＞　０．８））ＴｔｌＥＮ　（ｃｒｅａｔｅ円’（Ｘ
）　０．６）これは、ある図形Ｘがループであり、かつ
その図形Ｘの円形度が０．８より大きいとき、その図形
Ｘが円であるという仮説のデータを作り、その確信度を
０．６にするということを意味している。

更に、以下のようなルールがあったとする。

ルールＢ ＩＰ　（ａｎｄ　（Ｘ　ｉｓａ　　円）（Ｙｉｓａ三角
形）（Ｘ接触Ｙ））ＴＨＥＮ　（ｃｒｅａｔｅ　　図形
Ｐ　　’（Ｘ　Ｙ）　０．７）これは、ある図形Ｘが円
であり、かつその図形Ｙの円形度が０．８より大きいと
き、図形Ｘと図形Ｙから図形Ｐの仮説を作り、その確信
度を０．７にすることを意味している。

このようなシステムの場合、処理は以下の手順で行われ
る（（ａ）図参照） ■　推論部３は、上記ルールＡ、Ｂを適用しながら、ど
の仮説４１が何を元にして構成されているかを、後ろ向
き結合スロットに、その仮説がどの仮説の構成要素とな
っているかを前向き結合スロットに記録する。この仮説
４１を黒板４に記録していく、該推論処理は、適用でき
るルールがなくなったときに終了する。

■　該推論終了後に、ユーザにシステムの解を表示する
。ユーザが削除したい仮説４１があればそれを指示する
。削除した仮説４１がなければ終了する。

（ステップ１０ａ参照） ■　ユーザの指示した図形の仮説４１を検索し、その仮
説４１を削除対象とする。更に、その仮説４１の前向き
結合スロットを順番に辿り、削除対象を求める。

■　前向きスロットに記述される仮説４１がなくなった
ら、今までの削除リストにある仮説４１を黒板４から削
除する。（ステップ５ａ参照）■　推論部３を再起動す
る。

例えば、（ｂ）図に示した図面について認識を行ってい
るとき、ルールＡと、ルールＢによって円や図形Ｐと推
論された仮説４１は、（ｃ）図に示した如くに、黒板４
に記録される。

ここで、「後ろ向き結合」は、仮説４１が何を元にして
いるかを示し、「前向き結合」は仮説から何ができてい
るかを示している。

推論が終了し、ユーザが結果に不満足ならば、該不満足
であることを指示すると、システムは仮説４１を下のレ
ベル、即ち、円、三角形といった単一図面から順番に、
例えば、特定の色で、或いは、実線で表示していく。

この場合は、まずルールＡによって導かれた円について
の仮説４１を表示する。　　（（ｄ）図の実線の図形） ここで、ユーザは表示された図形のうち、取り消したい
図形ｇを指示したとする。

すると、システムは指示された図形ｇが示す仮説４１の
フレーム「円２」を検索し、その仮説４１の前向き結合
スロットを辿り、そこに記述されている仮説「図形Ｐ２
Ｊも削除対象とする。こうして、削除対象「円２」　「
図形Ｐ２Ｊを求め、それらを黒板４から削除する（（ｅ
）図参照）次に、ルールＢによって導かれた図形Ｐにつ
いての仮説４１を表示する。　　（（ｆ）図参照）この
とき、仮説「図形Ｐ２Ｊはすでに除去されているので図
形Ｐ１だけが表示される。

そして、仮説４１に対するバックトラック処理が終わる
と、推論部３を再起動し、同じルールＡ。

Ｂに基づいて再推論を実行する。

その結果、例えば、上記（ｆ）図と同じ仮説が表示され
る。

（例２） 以下では、本発明によるバックトラック方式をコンピュ
ータグラフィックス（ＣＧ）エキスパートシステムに適
用した例を、第３図によって説明する。

ここで、ルールは以下のように記述されているとする。

ルールＰ １Ｆ　（ａｎｄ　　（対象面　状態　曲面）（対象面視
野変換　処理済）） ＴＨＥＮ　　（実行　多角形分割） 状態変化（対象面　状態　多角形） これは、対象面のタイプが曲面で、且つ、その面が視野
変換済ならば、多角形分割を行い、その効果として対象
面の状態を多角形にすることを意味している。

このシステムで−は、対象面の状態が上記ルールＰＯＩ
Ｆ文の条件と一致したルールのＴＩＩＥＮ文に記述され
ている技法、即ち、多角形分割が対象面について実行さ
れ、それと同時に対象面の状態は、状態変化部に記述さ
れる状態へ変化する。

このシステムでの処理の手順を以下に示す。

（（ａ）図参照！ ■　推論部３は、ルールＰを適用しながら、どのルール
を通用したときに、どの技法が対象面に対して処理され
、その結果、対象面の状態がどのように変化するかを黒
板４に記録する。対象面が終了状態になったら、該推論
が終了する。この終了結果は図示されていないコンピュ
ータグラフィックス（以下、ＣＧという）システムに送
出される。

■　該推論終了後、上記ＣＧシステムが表示するＣＧ再
画像ユーザが見て、その結果に不満足なら、それを指示
することにより、システムは黒板に保存しておいた「状
態」と「技法」の変化を画面上にグラフとして表示する
。

■　ユーザはそれに対してどの状態まで戻るかを「技法
」、又は、「状態」を指すことで指示する。該指示され
た「技法」、又は、「状態」はバックトラック処理部５
へ渡され、その技法を適用したところ、又は、その状態
になったところまで黒板４の後戻り処理が行われる。（
処理ステップ１０ｂ、５ｂ参照） ■　推論部３を再起動する。

上記■の推論終了時に（ｂ）図のような推論の履歴４０
が黒板４に記述されていたとする。

このとき、ユーザからの不満足の指示に基づいて、シス
テムは現在のルールＰと履歴４０を利用して、（ｃ）図
に示すような推論過程のグラフを表示する。ここでＯは
、面の状態を示し、ＯとＯの間の→、・−÷は、技法を
示す０面の初期状態はａ。

終了状態は２である。

ユーザはバックトラック指示として、「技法」か、又は
、１面の状態」を指示する。ここで、ユーザが技法「視
野変換」まで戻ることを指示したとする。

指示された技法「視野変換」はバックトラック処理部５
へ渡され、該「視野変換」を適用したところまで、対象
面の状態を戻す「黒板の後戻り処理」が行われる。（（
ｄ）図参照） そして、推論部３を再起動し、同じルールに対して新た
な推論を実行する。

（例３） 次に、本発明のバックトラック方式を、画像処理エキス
パートシステムに適用した例を、第４図によって説明す
る。

ここで、ルールは以下のように記述されているとする。

ルールＸ ＩＰ　（ａｎｄ　　（対象画像　種類　二値）（対象画
像雑音　大きい）） ＴＨＥＮ　　雑音除去１ 効果　（（対象画像　雑音　小さい）（対象画像鮮明度
　小さい）） これは、対象画像の種類が二値であり、対象画像の雑音
が大きいとき、「雑音除去１」を実行し、その効果とし
て対象画像の雑音が小さくなり、鮮明度が小さくなるこ
とを示す。

このシステムでは、対象画像の状態がルールＸのＩＦ条
件と一敗したルールのＴＨｆｉＮ文に記述されている処
理（「雑音除去ＩＪ）が対象画像について実行され、そ
れと同時に対象画像の状態は効果に記述される状態へ変
化する。

このシステムでの処理の手順を以下に示す。

（（ａ）図の動作フロー参照） ■　推論部３は、ルールＸを適用しながら、該ルールＸ
を適用したときに、該ルールＸのＴＨＥＮ文が指示する
どの処理（「雑音除去１」）が画像に対して処理され、
その結果、対象画像の状態は効果に記述される状態へ変
化したことを黒板４に履歴４０として記録する。適用で
きるルールがなくなったら、推論を終了し、図示されて
いない、表示装置に処理結果の画像を表示する。

■　推論終了後、ユーザは該表示された画像を見て、そ
の結果に不満足なら、システムに指示すると、システム
はユーザに推論が終わった時点での画像の状態（属性）
を表示する。

■　ユーザは表示された画像の状態のうち望ましくない
ものを指摘する。システムは、指摘された状態を生ずる
ことになった処理（「雑音除去ＩＪ）の実行前まで、画
像の状態を戻す後戻り処理を行う。〈処理ステップ１０
ｃ、５ｃ参照）■　システムは推論部３を再起動する。

上記の処理において、推論終了時に（ｂ）図のような履
歴４ａが黒板に記録されていたとする。

システムは、黒板４のデータ　（履歴４０）を元に現在
の画像の状１！（属性）を表示する。（（Ｃ）図参照） ここで、ユーザが画像の鮮明度が小さいことを不満足な
点として指摘したとする。

そこで、システムは画像の鮮明度が小さくなる原因とな
った、上記「雑音除去ｌ」を適用する前の状態まで画像
の状態を戻す、　　（（ｄ）図参照）そして、推論部３
を再起動し、別の方法で雑音除去を行うルールを選択し
、再推論を行う。

以上、３例について、本発明によるバックトラック方式
を説明したが、本発明によるバックトラック方式は、推
論結果についてユーザが不満であることをシステムに指
示したとき、システムは、推論結果である「仮説」を表
示するとか、推論の過程を表示するとか、或いは、最終
的な解の状態を表示し、該表示された画面上において、
ユーザにバックトラック点を指示させ、その指示に基づ
いてシステムがバックトラックを行うようにしたところ
に特徴がある。

〔発明の効果〕

以上、詳細に説明したように、本発明のルールベースシ
ステムにおけるバックトラック方式は、ユーザとの対話
を行うユーザインタフェース部と。

推論のための知識を記述したルールベースと、該ルール
ベースを用いて推論を行う推論エンジンと。

該推論エンジンによって推論された結果を記録していく
黒板とを備えたルールベースシステムにおいて、ユーザ
が推論結果に不満足なときに、ユーザの指示を受け付け
るバックトラック指示部と。

該バックトラック指示部の指示に従って、上記黒板の内
容を戻し、上記推論エンジンを再起動させるバックトラ
ック処理部を備えるように構威し、上記バックトラック
指示部、及び、バックトラック処理部として、システム
の導いた仮説を画面上にレベル別に表示し、その画面上
で削除したい仮説を指示させて黒板の状態を戻すか、或
いは、推論中でのルールの適用過程を表示し、その画面
上でバックトラックの指示を受けて黒板の状態を戻すか
、或いは、システムが導いた最終的な解の情報を表示し
、その画面上でユーザの不満足な解を指示させ、その指
示された属性を生ずることになったルールの状態迄、推
論と黒板の状態を戻す機構を設けて、そのユーザに指示
された状態から再推論を行うようにしたものであるので
、ユーザがシステムの推論結果に不満足でバックトラッ
クを行うときに、表示画面上でバックトラックの指示が
できるため、システムの内部構造や推論メカニズムを知
らないユーザでも、容易にバックトラックを指示するこ
とが可能となる効果がある。

【図面の簡単な説明】

第１図は本発明の原理説明図。 第２図は本発明の一実施例を示した図。 第３図は本発明の他の実施例を示した図。 第４図は本発明の他の実施例を示した図。 第５図は従来のルールベースシステムを説明する図。 である。 り指示。 ２はルールベース、　　３は推論部。 ３０は推論エンジン、　　４は黒板。 ４０は履歴、　　　　　　　４１は仮説。 ５はバックトラック処理部、又は、バックトラック処理
。 １０ａ、　１０ｂ、　１０ｃ、　５ａ、　５ｂ、　５ｃ
は処理ステップ。 をそれぞれ示す。 図面において、 １はユーザインタフェース部。 １０はバックトラック指示部、又は、バックトラツ第１
図（その１） 第 図 （その１） ４１） 第１図（その２） （ｂ） 第 図 （その２） （ｅ） 第 図 （その３） 第 図 （その１） 第 図 （その４） 第３ 図 （その２） 第 ３ 図 （その３） 第 図 （その２） 第 図 （その１） 第 図 （その３）

Claims (4)

【特許請求の範囲】
1. （１）ユーザとの対話を行うユーザインタフェース部（
   １）と、推論のための知識を記述したルールベース（２
   ）と、該ルールベース（２）を用いて推論を行う推論エ
   ンジン（３０）と、該推論エンジン（３０）によって推
   論された結果を記録していく黒板（４）とを備えたルー
   ルベースシステムであって、ユーザが推論結果に不満足
   なときに、ユーザの指示を受け付けるバックトラック指
   示部（１０）と、該バックトラック指示部（１０）の指
   示に従って、上記黒板（４）の内容を戻し、上記推論エ
   ンジン（３０）を再起動させるバックトラック処理部（
   ５）を備えて、 ユーザの指示に基づいてバックトラックを行うことを特
   徴とするルールベースシステムにおけるバックトラック
   方式。
2. （２）上記ルールベースシステムの導いた仮説（４１）
   を画面上にレベル別に表示し、その画面上でユーザの仮
   説の削除指示を受け取る仮説指示部（１０ａ）をバック
   トラック指示部（１０）として設け、その削除指示に基
   づいて黒板（４）中から仮説（４１）を削除し、削除し
   た仮説に基づく仮説（４１）も同時に削除する仮説削除
   部（５ａ）をバックトラック処理部（５）として設け、 ユーザが削除したい仮説（４１）を指示することにより
   、該指示された仮説（４１）を、上記黒板（４）から削
   除し、その結果に基づいて再推論することを特徴とする
   請求項１に記載のルールベースシステムにおけるバック
   トラック方式。
3. （３）上記ルールベースシステムで推論中にルールの適
   用履歴（４０）を黒板（４）に記録する履歴保存部と、
   その履歴（４０）に基づいて推論の過程を表示し、その
   画面上でユーザのバックトラック指示を受け取る推論過
   程指示部（１０ｂ）をバックトラック指示部（１０）と
   して設け、 その指示に基づいて推論と黒板（４）の状態を戻す推論
   復帰部（５ｂ）をバックトラック処理部（５）として設
   け、 ユーザが戻りたい推論の過程を画面上で指示することに
   より、希望する状態まで戻って再推論することを特徴と
   する請求項１に記載のルールベースシステムにおけるバ
   ックトラック方式。
4. （４）上記ルールベースシステムで推論中にルールの適
   用履歴（４０）を黒板（４）に記録する履歴保存部とシ
   ステムが導いた最終的な解の情報を表示し、それに対す
   るユーザのバックトラック指示を受け取る解状態指示部
   （１０ｃ）をバックトラック指示部（１０）として設け
   、 その指示された属性を生ずることになったルールの状態
   まで推論と、黒板（４）の状態を戻す状態復帰部（５ｃ
   ）をバックトラック処理部（５）として設け、 ユーザが戻したい状態を画面上で指示することにより、
   希望する状態まで戻って再推論することを特徴とする請
   求項１に記載のルールベースシステムにおけるバックト
   ラック方式。