【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、ルールベースシステムを構築するための知識システム構築装置に関する。

【０００２】

【従来の技術】知識システムのルールと複数の前記ルールを一つの集合にまとめたルールセットとを定義することにより推論が可能なルールベースシステムにおいて、
これらの情報を定義するには、ルールベースシステムの言語仕様に従ってプログラミングを行う。

【０００３】すなわち、汎用テキストエディタや専用ルールエディタを用いてルールベースは構築される。 このルール構築作業は一種のプログラミングである。 また、
構築されたルールベースは推論エンジンやデバッガを用いてデバッグされる。 この際には、ルールの実行状況はそのルール名で参照され、ルール名からそのルールの実際の内容をみるには、そのルール構築に用いたエディタを起動する。

【０００４】

【発明が解決しようとする課題】ところが、プログラミングに精通していないユーザは推論のためのルール定義が困難であり、また、ルールのデバッグが効率的ではない。 このように、プログラミングに精通していないユーザが容易にルール定義や推論が行える環境が必要である。

【０００５】また、従来は、ルールベースシステム知識表現言語による入力のため、ルールベースシステム構築には、推論対象の知識のみならず、実際のルールベースシステム知識表現言語、計算機システムの開発環境、ツールにも精通していなければならない。

【０００６】本発明の目的は、プログラミングに精通していないユーザにとっても、ルールの定義やデバッグが容易となる知識システム構築装置を提供することである。

【０００７】

【課題を解決するための手段】請求項１の発明に係わる知識システム構築装置は、ルールの前件部と後件部と優先度との入力領域を有し優先度の大小に応じてルールを並べ替える機能を有する表形式エディタによりルールを入力するルール入力手段と、ルールセットを入力するルールセット入力手段と、表形式エディタにより入力されたルールを実際のルールベースシステム知識表現言語のルール定義に変換する変換手段と、変換手段で変換されたルール定義に基づいてルールを実行する推論エンジンとを備えたものである。

【０００８】請求項１の発明に係わる知識システム構築装置では、表形式エディタでの表は一つの行が一つのルールに対応し、ルール前件部、ルール後件部、ルール優先度を入力する列を持つ。 ルール入力手段はルール毎にそれぞれの要素を入力する。 ルール優先度は数字入力されその数字の大小によって優先度の大きい順又は小さい順にルール行をソートする。 この表形式エディタにより入力されたルールは、変換手段により実際のルールベースシステム知識表現言語に変換される。 推論エンジンは、この変換されたルール定義とルールセット入力手段により入力されたルールセットにより推論を行う。

【０００９】請求項２の発明に係わる知識システム構築装置は、請求項１の発明において、表形式エディタは、
ルールが定義されている行を移動することにより優先度を変更するようにしたものである。

【００１０】請求項２の発明に係わる知識システム構築装置は、請求項１の発明の作用に加え、ルール優先度の昇順又は降順に整列されたルール行に対し、あるルール行を別の行の間に移動する時、その移動したルール行の優先度は移動先のルール行間の中間となるように優先度変更がなされる。

【００１１】請求項３の発明に係わる知識システム構築装置は、請求項１の発明において、推論エンジンは、ルール単位のステップ実行を可能とし、各ステップごとに表形式エディタの評価したルール行を表示するようにしたものである。

【００１２】請求項３の発明に係わる知識システム構築装置では、請求項１の発明の作用に加え、推論エンジンは、ルールの前件部を評価し前件部の条件を満たしたもののうち、優先度の一番高いルールの後件部を実行する。 実行するルールがなくなるまでこのステップを行うことにより推論を行う。 前件部条件を満たしたルールに対し、表形式エディタ上の前件部を表示変更する。 続いて、優先度の最も高いルールの後件部を表示変更する。

【００１３】請求項４の発明に係わる知識システム構築装置は、請求項３の発明において、推論エンジンにてあるルールが評価されときに、そのルールに対応する表形式エディタの行で一時停止するか否かの指標を設定するためのブレイクポイント設定領域を表形式エディタに備えたものである。

【００１４】請求項４の発明に係わる知識システム構築装置は、請求項３の発明の作用に加え、あるルールの前件部照合が成功しそのルール行にブレイクポイントが設定されているときはその時点で推論は一時停止する。 一時停止の時点で、複数のルールの照合が成功していた場合には、例えば、優先度を変更することによりルールベースのデバッグを行う。

【００１５】請求項５の発明に係わる知識システム構築装置は、請求項３の発明において、推論エンジンの推論時にあるルールを評価するか否かの指標を設定するためのルール評価制御情報入力領域を表形式エディタに備えたものである。

【００１６】請求項５の発明に係わる知識システム構築装置では、請求項３の発明の作用に加え、ルール評価制御情報入力領域において、「ルールを評価しない」が選択されている場合は、そのルールは推論時に評価されない。

【００１７】請求項６の発明に係わる知識システム構築装置は、請求項１の発明において、ルールセット入力手段は、アウトライン形式エディタとしたものである。

【００１８】請求項６の発明に係わる知識システム構築装置では、請求項１の発明の作用に加え、ルールセット入力手段でのルールセットの定義は、ルールセット名を設定しそのルールセットに含まれるルールを設定して行われる。 ルールセット名がアウトラインとなり、そのアウトラインの内容が実際のルールである。

【００１９】請求項７の発明に係わる知識システム構築装置は、請求項６の発明において、アウトライン形式エディタで定義されたルールセットを移動することによりルールセットの優先度を変更するようにしたものである。

【００２０】請求項７の発明に係わる知識システム構築装置は、請求項６の発明の作用に加え、あるルールセットを他のルールセットの次の位置に移動することにより、移動されたルールセットの次の優先度持つようにルールセット優先度を変更する。

【００２１】請求項８の発明に係わる知識システム構築装置は、請求項６の発明において、推論エンジンは、ルール単位のステップ実行を可能とし、各ステップごとにアウトライン形式エディタの評価したルールセットを表示するようにしたものである。

【００２２】請求項８の発明に係わる知識システム構築装置は、請求項６の発明の作用に加え、推論エンジンはルールの前件部を評価し、前件部の条件を満たしたもののうち、優先度の一番高いルールの後件部を実行する。
実行するルールがなくなるまでこのステップを行うことにより推論を行う。 そして、前件部条件を満たしたルールを含むルールセット名をアウトライン形式ルールセットエディタで表示する。

【００２３】請求項９の発明に係わる知識システム構築装置は、請求項６の発明において、推論エンジンの推論時にあるルールを評価するか否かの指標を設定するためのルールセット評価制御情報入力領域をアウトライン形式エディタに備えたものである。

【００２４】請求項９の発明に係わる知識システム構築装置では、請求項６の発明の作用に加え、ルールセット評価制御情報入力領域において、「ルールセットを評価しない」が選択されている場合は、そのルールセットに含まれるルールは推論時に評価されない。

【００２５】請求項１０の発明に係わる知識システム構築装置は、請求項６の発明において、ルールセット入力手段によりルールセットが指定されたときは表形式エディタを起動する表形式エディタ管理部を設け、そのルールセットに含まれるルールを表形式エディタに読み込むようにしたものである。

【００２６】請求項１０の発明に係わる知識システム構築装置では、請求項６の発明の作用に加え、ルールセット入力手段により、あるルールセット名が選択されたときは、表形式エディタ管理部は、そのルールセット内のルールを定義する表形式エディタを起動する。

【００２７】請求項１１の発明に係わる知識システム構築装置は、請求項４の発明において、推論エンジンによるルール単位のステップ実行でブレイクポイントで一時停止したときに、表形式エディタ上でルール行を変更するルール前件部変更手段を設け、推論の流れを変更可能としたものである。

【００２８】請求項１１の発明に係わる知識システム構築装置では、請求項４の発明の作用に加え、あるルールの前件部照合が成功しそのルール行にブレイクポイントが設定されているときはその時点で推論は一時停止する。 そして、ルール前件部変更手段が一時停止の時点でルールの前件部を変更すると、そのルールの照合は成功しなかったものとみなし、ルールの後件部を実行しない。 以降の推論は、その変更された前件部で推論を行う。 表形式エディタ上で行われたルール前件部の変更はルール表現に変換され、以降、推論エンジンにより実行される。

【００２９】請求項１２の発明に係わる知識システム構築装置は、請求項１１の発明において、ルール前件部変更手段で変更された前件部の変更履歴を格納する変更履歴格納手段を設けたものである。

【００３０】請求項１２の発明に係わる知識システム構築装置では、請求項１１の発明の作用に加え、前件部の変更の記録を変更履歴格納手段に格納し、推論エンジンはさらに推論を続けてその前件部を以前のものに戻したりする場合には、格納した変更履歴を取り出して変更候補として表示する。

【００３１】

【発明の実施の形態】以下、本発明の実施の形態を説明する。 図１は本発明の第１の実施の形態に係わる知識システム構築装置の構成図である。

【００３２】図１において、知識ベースの構築では、ルール入力手段１を用いてルールを入力する。 ルール入力手段１は、表形式エディタ２を用いてルールを入力する。 表形式エディタ２は、Microsoft Excelのような形式のものであり縦横の行列を持つ。 一つの行が一つのルールに対応し、そのルールの名前、優先度、前件部、後件部を記述する。 例えば、図１の第１行目には、以下のように記載されている。

【００３３】ルール名前：ｒｕｌｅ−Ａ 優先度：１ 前件部：Ｘ＆Ｙ 後件部：ｃｒｅａｔｅ Ａ このように各行にルールを記述していく。 また、表形式エディタ２中のルール優先度整列機能により、ルール優先度の昇順又は降順にルール行を並べ替えることを可能としている。

【００３４】また、ルールは、ルールセットという集合に属する。 ルールセットは、推論中、あるルールセット全体を実行の対象から一時的にはずしたり加えたりすることにより、推論の効率を高めるための知識表現である。 ルールセット入力手段３を用いて、ルールセットの定義をルールベースシステム知識表現言語の仕様に従って入力する。 一つの表形式エディタ２による知識構築が一つのルールセットの知識構築に対応する。 ルールセットが複数ある知識ベースの場合、複数の表形式エディタ２を用いてのルール入力となる。

【００３５】これらルール入力手段２及びルールセット入力手段３で入力されたルールは、変換手段４により実際のルールベースシステム知識表現言語によるルール定義５に変換され、推論エンジン６により実行される。

【００３６】このように、第１の実施の形態による知識システム構築装置は、ルールとルールセットを定義することにより推論が可能なルールベースシステムであり、
ルールセット入力手段３と、ルール前件部、後件部、優先度入力領域を持つ表形式エディタ２によるルール入力手段２と、表形式エディタ２により入力された情報を実際のルールベースシステム知識表現言語のルール定義５
に変換する変換手段４と、これらのルールを実行する推論エンジン６とからなる。 そして、表形式エディタ２
は、そのルール優先度の大小に応じて表中のルールを並べ替えるルール整列機能を有している。

【００３７】すなわち、表形式エディタ２の入力では、
表の一つの行が一つのルールに対応し、表は、ルール名前、ルール優先度、ルール前件部、ルール後件部を入力するための列を持ち、ルール毎にそれぞれの要素を入力する。 ルール優先度は数字入力され、その数字の大小によって優先度の大きい順又は小さい順にルール行をソートする。 この表形式エディタ２により入力されたルールは、変換手段４により実際のルールベースシステム知識表現言語に変換され、推論エンジン６は、ルール定義５
とルールセット入力手段３により入力されたルールセットにより推論を行う。

【００３８】以上述べたように、第１の実施の形態によれば、ルールを表形式で入力できるので、プログラム形式で入力するより入力が容易であり、また入力された情報は表形式のため見やすくなる。 従って、プログラミング言語に精通していないユーザもルール定義が行える。
また、ルール優先度によりルール行を並べ替えられるので、ルールの実行順序の把握を容易とし、知識システムを構築するのを支援できる。

【００３９】次に、本発明の第２の実施の形態を説明する。 図２は本発明の第２の実施の形態に係わる知識システム構築装置の構成図である。 この第２の実施の形態は、図１に示した第２の実施の形態に対し、表形式エディタ２のルール行を移動することにより、ルールの優先度を変更するようにしたものである。

【００４０】図２において、表形式エディタ２によりルール行を記述する。 第１の実施の形態では、ルール行を表形式エディタ２で優先度の降順に並べ替えたが、ルールの優先度を変更する場合には、以下のようにして行う。

【００４１】例えば、ルールＮの優先度をルールＡとルールＢとの間の優先度にしたい場合には、通常はルールＡより一つ小さい優先度にする。 しかし、一つ小さい優先度を持つルールＢが存在しているので、ルールＮと、
ルールＡ又はルールＢの優先度を変更しなければならない。 この変更は以下のようにして行う。

【００４２】図２の第２の実施の形態では、ｒｕｌｅ−
Ｎの優先度は５である。 これをｒｕｌｅ−Ａ（優先度１
０）の次の優先度にしたい場合、ｒｕｌｅ−Ｎのルール行を指定し、これを表操作でｒｕｌｅ−Ａの下へ移動する。 これにより、ｒｕｌｅ−Ｎはｒｕｌｅ−Ａの次の優先度となる。 この場合、ｒｕｌｅ−Ｎの優先度が１０となり、ｒｕｌｅ−Ａの優先度は１１となる。 もし、優先度１１のルールがあれば、そのルールの優先度は１２となり、以下同様にルールの優先度を変更する。

【００４３】このように、第２の実施の形態の知識システム構築装置は、表形式エディタ２中において、ルールが定義されている行を移動することによりルール優先度を変更することが可能な優先度変更機能を有する。

【００４４】すなわち、ルール優先度の昇順又は降順に整列されたルール行に対し、あるルール行を別の行の間に移動するときは、その移動したルール行の優先度は移動先のルール行間のちょうど中間となるように優先度変更がなされる。

【００４５】この第２の実施の形態によれば、ルールベースシステムにおけるルール優先度は、ルール間の相対的な順序を規定するものであるので、ルール行の移動や順番決めという簡単な操作でルール優先度を規定できる。

【００４６】次に、本発明の第３の実施の形態を説明する。 図３は本発明の第３の実施の形態に係わる知識システム構築装置の構成図である。 この第３の実施の形態は、図１に示した第１の実施の形態に対し、推論エンジン６の動作を表形式エディタ２上に表示するようにしたものである。

【００４７】図３において、ルール入力手段１及びルールセット入力手段３により入力されたルール及びルールセツトは変換手段４にてルール定義に変換され、推論エンジン６により実行される。 推論エンジン６では、以下の処理を行う。

【００４８】（１）ルール前件部照合 （２）実行するルールの選択（競合解消） （３）ルール後件部実行 推論エンジン６では、これらの３つのステップを実行可能なルールがなくなるまで行う。 つまり、第３の実施の形態における推論エンジン６は、この照合、競合解消、
実行を一つずつステップごとの推論を可能とする。 そして、推論エンジン６で前件部照合に成功した当該のルールの表形式エディタ２上でのルール行を、ルール定義５
を参照することにより表示変更する。 その際の表示変更としては、例えば網掛け表示とする。

【００４９】このように、第３の実施の形態における知識システム構築装置は、第１の実施の形態に対し、推論エンジン６はルール単位のステップ実行を可能とし、各ステップ毎に表形式エディタ２に評価されたルール行が表示される。 すなわち、推論エンジン６はルールの前件部を評価し、前件部の条件を満たしたもののうち、優先度の一番高いルールの後件部を実行する。 そして、実行するルールがなくなるまでこのステップを繰りすことにより推論を行う。 前件部条件を満たしたルールに対し、
表形式エディタ２上の前件部が表示変更される。 続いて、優先度の最も高いルールの後件部の表示変更が行われる。

【００５０】以上述べたように、この第３の実施の形態によれば、照合が成功したルール行の表示を変更するので、どのルールが後件部実行可能であるか把握しやすい。 後件部実行可能なルールが複数あった場合には、優先度の高いルールが実行されることになる。

【００５１】次に、本発明の第４の実施の形態を説明する。 図４は本発明の第４の実施の形態に係わる知識システム構築装置の構成図である。 この第４の実施の形態は、図３に示した第３の実施の形態に対し、表形式エディタ２上でルールにブレイクポイントを設定できるようにしたものである。

【００５２】図４において、表形式エディタ２にブレイクポイント設定領域ＢＰを設ける。 この領域を選択することにより、そのルールが実行可能となったところで停止する。 この停止は、推論エンジン６の処理により行われる。 競合解消終了後、実行可能なルールのルール名前がわかるので、そのルール名前が表形式エディタ２で設定されたブレイクポイントのルールと同一ならば、推論を一時停止し、そうでなければそのまま推論を継続する。

【００５３】このように、第４の実施の形態における知識システム構築装置は、第３の実施の形態請求項３に対し、あるルールが評価されたらそのルールに対応する表形式エディタ２の行で一時停止することを可能とするためのブレイクポイント設定領域を表形式エディタに備えている。 すなわち、あるルールの前件部照合が成功したらそこで推論を一時停止させるように、各ルール行に対し、ブレイクポイント設定領域を設ける。

【００５４】この領域にブレイクポイントが設定され、
前件部照合に成功したら、その時点で推論は一時停止する。 一時停止の時点で、複数のルールの照合が成功していた場合、例えば、優先度を変更することによりルールベースのデバッグを行う。

【００５５】第４の実施の形態によれば、一時停止点の設定を表形式エディタ２上で行えるので、知識ベース構築を効率よく行える。 一時停止したルールに対し、ルールの後件部の変更、例えば、図４で、「ｃｒｅａｔｅ
Ｂ」を「ｃｒｅａｔｅ Ｅ」とすることを可能とするので、知識ベース構築効率が向上する。

【００５６】次に、本発明の第５の実施の形態を説明する。 図５は本発明の第５の実施の形態に係わる知識システム構築装置の構成図である。 この第５の実施の形態は、図３に示した第３の実施の形態に対し、表形式エディタ２上でルールの評価を行うのを一時中止させることを可能としたものである。

【００５７】図５において、表形式エディタ２にルール評価制御情報入力ＥＶを設ける。 この領域を選択することにより、推論エンジン６はルール定義５を参照して、
そのルールの前件部は推論で照合対象でなくなるようにする。

【００５８】このように、第５の実施の形態における知識システム構築装置は、第３の実施の形態に対し、推論時に「あるルールを評価する又はしない」のルール評価制御情報入力領域を表形式エディタ２に備える。 そして、そのルール評価制御情報入力領域において、「ルールを評価しない」が選択されている場合は、そのルールは推論時に評価されないようにする。

【００５９】この第５の実施の形態によれば、表形式エディタ２上で推論の評価又は非評価を設定し照合の対象を変更できるので、知識ベースのデバッグを効率よく行ことができる。

【００６０】次に、本発明の第６の実施の形態を説明する。 図６は本発明の第６の実施の形態に係わる知識システム構築装置の構成図である。 この第６の実施の形態は、図１に示した第１の実施の形態に対し、ルールセット入力手段３として、アウトライン形式エディタ７により入力するようにしたものである。

【００６１】図６において、アウトライン形式エディタ７は、例えば、Microsoft PowerPointのように最初にアウトラインを入力し、あるアウトラインを選択することにより、そのアウトラインの詳細を記述するエディタが開いたり閉じたりする形式である。

【００６２】図７はアウトライン形式エディタの説明図である。 図７（ａ）に示すように、まず、ルールセット名前をアウトラインとして、そのルールセット優先度と共に入力する。 続いて、ルールセットの部分を選択することにより、ルール用の入力エリアが確保され、そのルールセットに含まれるルール名前を入力する。

【００６３】図７（ｂ）がその例であり、ｒｕｌｅｓｅ
ｔ−Ｘ、ｒｕｌｅｓｅｔ−Ｙをまずアウトラインとして入力し、ｒｕｌｅｓｅｔ−Ｘのところを選択することにより、ルール名入力領域が確保され、ｒｕｌｅ−Ａ、ｒ
ｕｌｅ−Ｂなどと入力できる。 また、図７（ａ）において、ｒｕｌｅｓｅｔ−Ｘを選択することにより、ルール入力領域を閉じる。

【００６４】このように、第６の実施の形態における知識システム構築装置は、第１の実施の形態に対し、ルールセット入力手段３はアウトライン形式エディタ７としている。 ルールセットはルールの集合体であり、あるルールはいずれかのルールセットに含まれる。 ルールセットを定義する場合、まずルールセット名を定義する。 続いて、そのルールセットに含まれるルールを定義する。
ルールセット名前を指定することにより、そのルールセットに含まれるルールを、ルールセット入力手段３で表示又は非表示を可能とする。 ルールセット名がアウトラインとなり、そのアウトラインの内容が実際のルールである。

【００６５】この第６の実施の形態によれば、ルールセット名前の選択により、ルール及びルールセットの関係を簡潔に表示するので、ルール名前及びルールセット名前の関係を把握しやすくなる。

【００６６】次に、本発明の第７の実施の形態を説明する。 図８は本発明の第７の実施の形態に係わる知識システム構築装置の構成図である。 この第７の実施の形態は、図６に示した第６の実施の形態に対し、アウトライン形式エディタ７により入力されたルールセットの優先度の変更を、ルールセット名前の移動により行うようにしたものである。

【００６７】図８において、ルールセットｒｕｌｅｓｅ
ｔ−Ｘの優先度をｒｕｌｅｓｅｔ−Ｙより大きくしたい場合、ｒｕｌｅｓｅｔ−Ｙの次にｒｕｌｅｓｅｔ−Ｘを移動することにより、ルールセットの優先度を変更可能とする。 優先度の大きいルールセットに含まれるルールの方が推論において実行される。

【００６８】このように、第７の実施の形態における知識システム構築装置は、第６の実施の形態に対し、アウトライン形式エディタ７で定義されたルールセットを移動することによりルールセット優先度を変更することが可能なルールセット優先度を持つ。 すなわち、ルールセットもルール同様に優先度を有する。 あるルールセットを他のルールセットの次の位置に移動することにより、
移動されたルールセットの次の優先度持つようにルールセット優先度を変更する。

【００６９】この第７の実施の形態によれば、ルールセット名前の移動という方法でルールセットの優先度を変更できるため、効率よく知識ベースを構築可能である。

【００７０】次に、本発明の第８の実施の形態を説明する。 図９は本発明の第８の実施の形態に係わる知識システム構築装置の構成図である。 この第８の実施の形態は、図６に示した第６の実施の形態に対し、推論エンジン６はルール単位のステップ実行を可能とし各ステップごとにアウトライン形式エディタ７の評価されたルールセットを表示するようにしたものである。

【００７１】図９において、アウトライン形式エディタ７のルールセット入力手段３において、推論の実行時に、ルールの照合に成功したルールセットの名前の表示を反転して表示する。 推論エンジン６より、ルール名前及びルールセット名前を取り出し、これをルール定義５
から参照することにより、ルールセット名前をアウトライン形式エディタ７上で表示変更する。

【００７２】このように、推論エンジン６はルールの前件部を評価し、前件部の条件を満たしたもののうち、優先度の一番高いルールの後件部を実行する。 実行するルールはなくなるまでこのステップを行うことにより推論を行う。 前件部条件を満たしたルールを含むルールセット名前をアウトライン形式エディタ７で表示する。

【００７３】この第８の実施の形態によれば、実行されるルールがどのルールセットに含まれているかが表示変更により容易に把握できるため、効率的な知識ベース構築を行える。

【００７４】次に、本発明の第９の実施の形態を説明する。 図１０は本発明の第９の実施の形態に係わる知識システム構築装置の構成図である。 この第９の実施の形態は、図６に示した第６の実施の形態に対し、推論エンジン６の推論時にあるルールを評価するか否かの指標を設定するためのルールセット評価制御情報入力領域をアウトライン形式エディタに備えたものである。

【００７５】図１０において、アウトライン形式エディタ７のルールセット入力手段３において、ルールセットの評価を行うのを一時中止させることを可能とする。 アウトライン形式エディタ７上に、ルールセット評価及び非評価を設定するためのルールセット評価制御情報入力領域を設ける。 例えば、ルールセット名前の前にある四角（□）を設ける。

【００７６】この四角（□）のアイコン上で非評価と設定すると、そのアイコンに×印がつく。 推論時には、推論エンジン６がこの×印のついたルールセットを評価しないこととする。 従って、そのルールセットに含まれるルールの前件部は照合対象としない。 これにより、ルールセット単位での評価及び非評価を行うことが可能となる。

【００７７】このように、第９の実施の形態における知識システム構築装置では、第６の実施の形態に対し、推論時に、あるルールセットを評価する又はしない、のルールセット評価制御情報入力領域をアウトライン形式エディタに備える。 従って、ルールセット評価制御情報入力領域において、「ルールセットを評価しない」が選択されている場合は、そのルールセットに含まれるルールは推論時に評価されない。

【００７８】この第９の実施の形態によれば、アウトライン形式エディタ７上で推論の評価及び非評価を設定し照合の対象を変更できるので、知識ベースのデバッグを効率よく行える。

【００７９】次に、本発明の第１０の実施の形態を説明する。 図１１は本発明の第１０の実施の形態に係わる知識システム構築装置の構成図である。 この第１０の実施の形態は、図６に示した第６の実施の形態に対し、ルールセット入力手段３によりルールセットが指定されたときは表形式エディタ３を起動する表形式エディタ管理部８を設け、そのルールセットに含まれるルールを表形式エディタ２に読み込むようにしたものである。

【００８０】図１１に示すように、アウトライン形式エディタ７のルールセット入力手段３において、ルールセットを指定すると、そのルールセットに対応する表形式エディタ２が起動し、そのルールセットに含まれるルールの編集を可能とする。

【００８１】すなわち、ルールセットの指定はアウトライン形式エディタ３のルールセット名前の前にある四角（□）のアイコン上で選択する。 ルールセットが選択されると、表形式エディタ管理部８が、どのルールセット名前が選択されたかを判断する。 そして、表形式エディタ２を起動し、そのルールセットに含まれるルールを表形式エディタ２が読み込むことにより、選択したルールセットに含まれるルールを編集可能とする。

【００８２】ここで、あるルールセットに含まれるルールの定義は、ルールセット単位で一つの表形式エディタ２により行われる。 そこで、第１０の実施の形態ではルールセット入力手段３により、あるルールセット名前が選択されたときは、表形式エディタ管理部８は、そのルールセット内のルールを定義する表形式エディタ２を起動動し、そのルールセットに含まれるルールを入力可能とする。

【００８３】第１０の実施の形態によれば、アウトライン形式エディタ７上からルール編集用エディタである表形式エディタ２を直接起動可能なので、効率よくルールの入力を行うことができる。

【００８４】次に、本発明の第１１の実施の形態を説明する。 図１２は本発明の第１１の実施の形態に係わる知識システム構築装置の構成図である。 この第１１の実施の形態は、図４に示した第４の実施の形態に対し、推論エンジン６によるルール単位のステップ実行でブレイクポイントで一時停止したときに、表形式エディタ２上でルール行を変更するルール前件部変更手段９を設け、推論の流れを変更可能としたものである。

【００８５】図１２において、表形式エディタ２にはブレイクポイント設定領域ＢＰが設けられており、この領域を選択することにより、そのルールが実行可能となったところで停止する。 すなわち、推論エンジン６による前件部照合に成功したら、その時点で推論は一時停止する。

【００８６】この一時停止の時点で表形式エディタ２により、そのルールの前件部を変更する。 図１２に示すように、ブレイクポイントでのルール名前は「ｒｕ１ｅ−
Ｂ」、前件部は「Ｙ ＆ Ｚ」となっている。 ここで、前件部を変更して、前件部を「Ｖ ＆ Ｗ ＆ Ｙ ＆ Ｚ」としたとする。 ルールの変更はルール前件部変更手段９によりルール表現に反映される。

【００８７】この変更においてもルールの前件部が成り立てば、そのままそのルールの後件部を実行し以降の推論を行う。 その変更によって、そのルールの前件部が成り立たなくなった場合には、そのルールの後件部は実行されない。 そして、その変更されたルールで以降の推論が行われる。

【００８８】このように、第１１の実施の形態における知識システム構築装置は、第４の実施の形態に対し、あるルールが評価されたらそのルールに対応する表形式エディタ２の行で一時停止することを可能とするためのブレイクポイント設定領域を表形式エディタ２に備えている。 さらに、照合の成功したルールの前件部を照合が不成功となるよう変更することで、ルールの後件部を実行しないようにすることを可能とするルール前件部変更手段９を備えている。

【００８９】すなわち、あるルールの前件部照合が成功したらそこで推論を一時停止させるように、各ルール行に対しブレイクポイント設定領域を設ける。 この領域にブレイクポイントが設定され、前件部照合に成功したら、その時点で推論は一時停止する。 一時停止の時点でルールの前件部を変更すれば、そのルールの照合は成功しなかったものとみなしルールの後件部を実行しない。
以降の推論は、その変更された前件部で推論を行う。 表形式エディタ２上で行われたルール前件部の変更はルール前件部変更手段９によりルール表現に変換され、以降、推論エンジン６により実行される。

【００９０】第１１の実施の形態によれば、推論の一時停止時に表形式エディタ２上で、ルールの前件部の条件を厳しくしたり、また逆に緩くしたりといった変更を動的に行えるので、知識ベースシステムの構築を効率よく行える。

【００９１】次に、本発明の第１２の実施の形態を説明する。 図１３は本発明の第１２の実施の形態に係わる知識システム構築装置の構成図である。 この第１２の実施の形態は、図１２に示した第１１の実施の形態に対し、
ルール前件部変更手段９で変更された前件部の変更履歴を格納する変更履歴格納手段１０を設け、前件部の変更の記録を変更履歴格納手段１０に格納し、推論エンジン６はさらに推論を続けてその前件部を以前のものに戻したりする場合には、格納した変更履歴を取り出して変更候補として表示できるようにしたものである。

【００９２】推論エンジン６が前件部照合に成功したときは、その時点で推論は一時停止する。 その一時停止の時点で表形式エディタ２により、そのルールの前件部を変更する。 図１３に示すように、ブレイクポイントでのルール名前は「ｒｕｌｅ−Ｂ」、前件部は「Ｙ ＆ Ｚ」
となっている。 ここで、前件部を変更して、前件部「Ｖ
＆Ｗ＆Ｙ＆Ｚ」としたとする。 ルールの変更はルール前件部変更手段９により、ルール表現に反映されると同時に、変更履歴格納手段１０にも過去の履歴と共に格納される。 つまり、ルール名前「ｒｕｌｅ−Ｂ」に対して、
変更前の前件部「Ｙ＆Ｚ」及び変更後の前件部「Ｖ＆Ｗ
＆Ｙ＆Ｚ」が格納される。

【００９３】そして、推論エンジン６はさらに推論を行い、このｒｕｌｅ−Ｂの前件部を再変更した結果、変更履歴格納手段１０には、ルール名前「ｒｕｌｅ−Ｂ」に対して、変更前の前件部「Ｙ＆Ｚ」及び変更後の前件部「Ｖ＆Ｗ＆Ｙ＆Ｚ」、変更前の前件部「Ｖ＆Ｗ＆Ｙ＆
Ｚ」及び変更後の前件部「Ｗ＆Ｘ＆Ｙ＆Ｚ」という二組の履歴データが格納される。

【００９４】このように変更の履歴を格納し、必要に応じて表示する。 そして、さらに推論を行い、やはり元の前件部に戻した方がいいと判断した場合、変更履歴格納手段１０から、過去の変更履歴を取り出し、戻したい変更前の前件部を選択するなどして前件部を戻すことを可能とする。

【００９５】この第１２の実施の形態における知識システム構築装置は、第１１の実施の形態に対し、あるルールが評価されたらそのルールに対応する表形式エディタ２の行で一時停止することを可能とするためのブレイクポイント設定領域を表形式エディタに備えている。 さらに、照合の成功したルールの前件部を照合が不成功となるよう変更するルール前件部変更手段９及びその変更履歴を格納しておく変更履歴格納手段１０とを備え、その変更履歴格納手段１０からの変更履歴を基にその変更の際の候補を出力する。

【００９６】すなわち、あるルールの前件部照合が成功したら、そこで推論を一時停止させるように、各ルール行に対しブレイクポイント設定領域を設ける。 この領域にブレイクポイントが設定され、前件部照合に成功したら、その時点で推論は一時停止する。 一時停止の時点でルールの前件部を変更する。 このとき、その変更の記録を格納しておく。 また、さらに推論を続けた場合には、
その前件部を以前のものに戻したりする場合、変更履歴格納手段１０から変更履歴を取り出して変更候補として表示する。 これにより、当該ルールの前件部の変更を容易にする。

【００９７】この第１２の実施の形態によれば、推論の一時停止時に、表形式エディタ２上で、ルールの前件部の条件の変更履歴を格納し、必要に応じて元の状態に戻すことができるので、知識ベースシステムの構築を効率よく行える。

【００９８】

【発明の効果】以上のように本発明によれば、表形式エディタやアウトライン形式エディタにより知識ベースを入力できる。 さらに、この表形式エディタやアウトライン形式エディタにより入力された知識ベースを基に知識デバッグを行うことができる。 従って、プログラミングやルールベースシステム知識表現言語に精通していないユーザも容易に知識システムを構築することが可能である。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態に係わる知識システム構築装置の構成図。

【図２】本発明の第２の実施の形態に係わる知識システム構築装置の構成図。

【図３】本発明の第３の実施の形態に係わる知識システム構築装置の構成図。

【図４】本発明の第４の実施の形態に係わる知識システム構築装置の構成図。

【図５】本発明の第５の実施の形態に係わる知識システム構築装置の構成図。

【図６】本発明の第６の実施の形態に係わる知識システム構築装置の構成図。

【図７】本発明の第６の実施の形態に係わる知識システム構築装置のアウトライン形式エディタの説明図。

【図８】本発明の第７の実施の形態に係わる知識システム構築装置の構成図。

【図９】本発明の第８の実施の形態に係わる知識システム構築装置の構成図。

【図１０】本発明の第９の実施の形態に係わる知識システム構築装置の構成図。

【図１１】本発明の第１０の実施の形態に係わる知識システム構築装置の構成図。

【図１２】本発明の第１１の実施の形態に係わる知識システム構築装置の構成図。

【図１３】本発明の第１２の実施の形態に係わる知識システム構築装置の構成図。

【符号の説明】

１ ルール入力手段 ２ 表形式エディタ ３ ルールセット入力手段 ４ 変換手段 ５ ルール定義 ６ 推論エンジン ７ アウトライン形式エディタ ８ 表形式エディタ管理部 ９ ルール前件部変更手段 １０ 変更履歴格納手段