JPH02220136A - 推論方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は知識情報処理で用いられる推論方式に関する。

〔従来の技術〕

従来、この種の知識ベースシステムにおいては、構造化
されるべき知識を表現する枠組であるフレームの順序ず
けられた一対のタグとデータ要素のリストであり推論対
象であるトークンがルールの管理組織である推論ネット
ワーク上を流れると、そのフレームの構成要素で、その
フレームの属性情報であるスロット値を有する全てのス
ロットに関する１つのルールに対するインフラテストが
行われていた。つまり、スロットを単位とした判断が行
われていなかった。従来の技術としては、ＦＯＲＧＹ、
Ｃ，Ｌ、、ＲＥＴＥ　：　ｒア・ファースト拳アルゴリ
ズム・フォー啼ザ・メニイ・パターン／メニイ・オブジ
ェクト・パターン・マツチ・プロプレムコアーティフィ
シャル′・インテリジェンス、第１９巻、１９８２年を
参照できる。

〔発明が解決しようとする課題〕

このような従来の知識ベースシステムにおいては、スロ
ットを単位とした判断が行わｈていなかったので、更新
が行われたフレームのすべてのスロットに関するイント
ラテストが行われ、推論が無限ループを起こす可能性が
高いという欠点があった。

次に、無限ループを起こす例を示す。

ＩＦ　　Ａ、ａｌ＝５　　　ＴＨＥＮ　　Ａ、ａ：２−
１０゜上記ルール知識において、Ａはフレーム、ａｌお
よびａ２はＡのスロットであり、「フレームＡのスロッ
トａ１が５ならハ、フレームＡのスロットａ２に１０を
設定せよ」ということを表現している。このルール知識
が実行されるとフレームＡのスロワ）ａ２に１０が設定
される。そのとき、推論ネットワーク上を“フレームＡ
が更新された”というトークンが流れる。ここで、“フ
レームＡのスロワ）ａ２が更新された”という情報では
なく、“フレームＡが更新された”という情報であるこ
とに注意する必要がある。このとき、その情報は推論ネ
ットワーク上のクラスノードＡを通過し、クラスノード
Ａ配下のすべてのイントラテストが行なわれる。つまり
、クラスノードＡの持つすべてのスロットに関するイン
トラテストが行われる。従って、スロットａ１に関する
テストも行われることになり、前記ルール知識の条件部
が評価を受け、その結果、条件部が成立するのでふたた
びそのルールが実行されることになる。このように、前
記ルール知識の場合、無限ループに陥ってしまう。

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

本発明の方式は、推論時に必要となる情報を格納する推
論ネットワーク手段（以下推論ネットワーク）と、 トークンを含む知識を格納する知識ベース手段（以下知
識ベース）と、 前記推論ネットワークに流すべきトークンが前記知識ベ
ースに存在するか否かを判断し、存在するとき該トーク
ンを流すべきノードな前記推論ネットワークに設定し、
設定されたノードがスロットノードか否かを判定する推
論手段と、この推論手段によるスロットノードの判定に
応答して、現在流しているトークンが対象となっている
スロットノードのスロットに関するものか否かを判断す
るスロット判断手段とを備え、このスロット判断手段で
、トークンが該スロットに関するものでないとの判断に
応答して前記推論手段が該トークンを用いてインフラテ
ストを行なわないことを特徴とする。

〔実施例〕

次に、本発明の一実施例について図面を参照して詳細に
説明する。

第１図を参照すると、本発明の一実施例は知識を格納す
る知識ベース５と、推論時に必要となる情報を格納する
推論ネットワーク２と、知識ベース５に格納された知識
および推論ネットワーク２を利用し、推論を行い、結論
を導く推論手段１と、スロット判断処理が行われるスロ
ットノード４と、スロット判断処理を行うスロット判断
手段３とを含む。本発明の一実施例の特徴は、第１図に
おいて、スロット判断手段３とスロットノード４とを設
けたことにある。

次に、本発明の一実施例の動作について第１図および第
２図を参照して詳細に説明する。

第１図および第２図を参照すると、まず、推論手段１が
ステップ２１において、推論ネットワーク２に流すべき
推論対象であるトークンがあるか否かを調べる。そのよ
うなトークンがない場合は、推論手段１がステップ２１
０において、実行すべきルール知識があるか否かを調べ
、実行すべきルール知識がない場合は、処理を終了する
。実行すべきルール知識がある場合は、推論手段１がス
テップ２１１で実行すべきルール知識の中から実行する
ルール知識を１つ選択する。更に、推論手段１がステッ
プ２１２で選択されているルール知識を実行し、ステッ
プ２１以降の処理を行う。

方、そのようなトークンがある場合は、推論手段１がス
テップ２２で知識ベース５からトークンを取出す。次に
、推論手段１がステップ２３でトークンを流す対象とす
るノードを推論ネットワーク２の最上位レベルのノード
に設定する。次に、推論手段１がステップ２４で現在ト
ークンを流す対象となっているノードはスロットノード
４であるか否かを調べ、スロットノード４でない場合は
。

推論手段１がステップ２８でそのノード固有の処理を行
い、ステップ２７以降の処理を行う。スロットノード４
である場合は、スロット判断手段３が、ステップ２５で
現在流しているトークンが対象となっているスロットノ
ード４のスロットに関するものであるか否かを判断する
。トークンが対象となっているスロットノード４のスロ
ットに関するものである場合は、推論手段１がステップ
２６で、そのトークンを使ってイントラテストを行い、
ステップ２７以降の処理を行う。トークンが対象となっ
ているスロットに関するものでない場合は、推論手段１
がステップ２７で、推論ネットワーク２上の他のノード
に、今流してきたトークンを流す必要があるか否かを調
べ、流してきたトークンを流す必要がない場合はステッ
プ２１以降の処理を行う。必要がある場合は、推論手段
１がステップ２９で流す対象とするノードをその流す必
要のあるノードに設定し、ステップ２４以降の処理を行
う。

次に、本発明の一実施例を具体例をもって示す。

前述したルール知識 ＩＦ　　Ａ、ａｌ＝５　　　ＴＨＥＮ　　Ａ、ａ２←１
０を考える。このルール知識は、従来の技術においては
無限ループを起こしていたものである。まず、このルー
ル知識が実行されると、フレームＡのスロワ）ａ２に値
“１０”が設定さｈる。次に、フレームＡのスロットａ
２に関するトークンが推論ネットワーク２に流される。

そのトークンがフレームＡのスロットａ２に関するスロ
ットノード４に流されてくると、スロットａ２に関する
イントラテストが行われる。しかし、そのトークンがフ
レームＡのスロット＆１に関するスロットノード４に流
されてきたとしても、スロット判断手段３は、そのトー
クンがスロワ）ａｌのものではないことを認識するので
、スロットａ１に関するイントラテストは行われない。

つまり、このルール知識の条件部は評価されず、その実
行も行われない。このように、従来の技術において無限
ループを起こしていたものが、この実施例の方式により
無限ループが回避されている。

〔発明の効果〕

以上説明したように、本発明にはスロットノードおよび
スロット判断手段を設け、トークンとスロットノードと
の比較判断を行うことにより推論の無限ループを回避す
ることができ、ルール知識の記述性を向上させることが
できるという効果がある。

第１図において、１・・・・・・推論手段、２・・・・
・・推論ネットワーク、３・・・・・・スロット判断手
段、４・・・・・・スロットノード、訃・・・・・知識
ベース。

Claims (1)

1. 【特許請求の範囲】 推論時に必要となる情報を格納する推論ネットワーク手
   段と、 トークンを含む知識を格納する知識ベース手段と、 前記推論ネットワーク手段に流すべきトークンが前記知
   識ベース手段に存在するか否かを判断し、存在するとき
   該トークンを流すべきノードを前記推論ネットワーク手
   段に設定し、設定されたノードがスロットノードか否か
   を判定する推論手段と、この推論手段によるスロットノ
   ードの判定に応答して、現在流しているトークンが対象
   となっているスロットノードのスロットに関するものか
   否かを判断するスロット判断手段とを備え、 このスロット判断手段でトークンが該スロットに関する
   ものでないとの判断に応答して前記推論手段が、該トー
   クンを用いてインフラテストを行なわないことを特徴と
   する推論方式。