JPH02178736A - エキスパートシステム用の判別ネットを生成する装置及び方法 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 （産業上の利用分野） この発明は、規則（ルール）によって定義された条件が
判別ネットとして構成され、システムで得られたデータ
にどの規則が適用可能かの効率的な判定を行えるような
、規則に基づく人工知能システム（いわゆる“エキスパ
ートシステム”）に関する。

（従来の技術と課Ｉｆｆ） エキスパートシステムは、−組の規則がらなり、規則に
従って処理されるデータ種類を定義するコンピュータプ
ログラムに基づいている。エキスパートシステムは“推
論”として知られるプロセスにより、規則とユーザまた
はその他のデータベースからシステムによって得られた
作業データベース中のデータとの間のマツチング（合致
）を行い、どの規則が適用されるかを判定し、一つ以上
の適用規則が“発射（ファイア）　°され（すなわちデ
ータに適用され）、ユーザに対するアドバイスあるいは
ユーザの質問に対する説明を与えたり、その他何らかの
処置を行う。推論プロセスは、データに適用可能な規則
がなくなるか、または規則の通用が結果を生じなくなる
まで繰り返される。

各規則は１つ以上の条件（まとめて規則の“左側”と称
する）を含み、これらの条件はデータによって満たされ
ると、その規則が適用可能なことを指示する。規則が適
用されたとき行うべき動作が、規則の“右側”に列挙さ
れている。どの規則が適用可能かを判定する１つの方法
は、新しいデータ要素がシステムから得られる毎に、全
ての規則の左側の各条件をテストすることである。この
方式では、作業中のデータベースがデータの追加または
削除によって変更される毎に、変更データがテストの結
果を変えないものであっても、作業中のデータベース内
のデータによって満たされる（あるいは満たされない）
と判定された条件が再テストされる。また、左側の１よ
り多い規則内に同じ条件が存在することがしばしばあり
、これらは新しいデータ要素が得られる毎に複数回テス
トされることになる。

この点を避けるため、一部のエキスパートシステムは規
則の左側を、いわゆる“網状（ｒｅｔｉｃｕｌａｒ）”
ネットつまりＲＥＴｆ！　（細網）ネットなどの“判別
ネット”として構成している。ＲＥＴＥネットは、作業
中のデータベースが変更されるとき、作業中のデータベ
ース内の変更データに応じて変化する結果を有する条件
だけをテストすることによって、どの規則が適用可能か
をより効率的に判定する。またＲＥＴＥネットでは、１
より多い規則に共通な条件を、作業中のデータベースが
変更する毎に１回だけテストする。

ＲＥＴＥネットは、全規則の条件がノードのネットワー
クとして構成されたデータ構造である。規則の条件は、
規則の左側に指定された条件の各種組合せを表す一組の
結合ノードで相互に結合されたテストノードによって識
別される。ある１つの条件は、その条件が複数の規則の
左側に生じる場合であっても、１つのテストノードによ
って表される。作業中のデータベース内のデータが各テ
スト及びテストの組合せに合致するにつれ、そのデータ
を表すトークンがＲＥ！ＴＥネフトを通じ各ノードを介
して通過してい（、ＲＥＴＥネットは、各々個々の規則
に対応する結果ノードに終端している。規則の左側が満
たされると、ＲＥＴＥネットはその規則に対応した結果
ノード内にトークンを記憶する。

ＲＥＴＥネットは、規則の左側の条件の組合せがノード
のネットワークとして容易に表せるようなものであると
き、良好に機能する０例えば、条件１ＡＮＤ条件２ＡＮ
Ｄ条件３ＡＮＤ条件４が満たされることを必要とする規
則の左側は、条件ｌと２のテストノードを結合するＡＮ
Ｄノード、この第２ＡＮＤノードと条件３のテストノー
ドを結合する別のＡＮＤノード、及びこの第２ＡＮＤノ
ードと条件４のテストノードを結合する第３のＡＮＤノ
ードで表される。

規則の左側は、条件のよりフレキシブルな組合せを指定
するのが望ましいことが多い：例えば、条件ＬＡＮＤ（
条件２．３．４または５のうち少なくとも２つ）。こう
した種類の条件の組合せは“メタテスト”と呼ばれ、一
般に条件１のテストノードを条件２．３．４及び５のテ
ストノードの順列と結合し、幾つかの異なる結果ノード
に終端する入り組んだ１組のノードによって表される。

推論のサイクル中、データが正しくないからでなく、条
件を満たすデータがデータベースから失われているため
に、１つ以上の条件が満たされず、規則全体の条件が満
たされないことがある。この場合継続させるには、失わ
れているデータが識別され、与えられねばならない。

１２ＥＴＥネツトに基づくエキスパートシステムのプロ
グラムでは一般に、推論のプロセスを反対方向に進める
特別の規則（つまり、“逆方向連鎖°）で、あるいは限
られた一連の質問をユーザに行うことによって、失われ
ているデータを識別しようと試みている。また、エキス
パートシステムのプログラムに、常に満たされる条件を
持ち、他のいずれの規則の左側も満たされないときにの
み適用される特別の規則（＠空き条件”規則と呼ばれる
）を付は加えることもできる。空き条件規則によって取
られる１処置”は、データが必要であることをユーザに
認識させ、失われているデータを識別するガイドを与え
るように選定されている。

（課題を解決するための手段） 本発明の一特徴において、条件からなる表現は、前記条
件がノードによって表され、しかも表現における条件間
での関係がノード間のリンクによって表されるようなネ
ットワークに与えられるデータ要素の値に基づき、前記
ノードの少なくとも一部によって表された条件のうちど
れがデータ要素の値によって満たされているかを識別す
る情報を記憶すること、及び前記表現を評価するベース
として、記憶された情報を前記表現に基づいてテストす
ることによって評価される。

好ましい実施例は、下記の特徴を有する。

前記情報は、ノード用と異なる、情報に割り当てられた
別個のロケーション内に記憶され、各ノードからの情報
は該ノードに割り当てられたロケーションに入力される
。前記表現中における前記条件の所定数が満たされたと
き、表現は満たされ、さらに前記情報で占められたロケ
ーションの数がカウントされて、幾つの条件が満たされ
ているかを判定する。

一実施例において、前記表現は一ノードによって表され
た標識付け条件を含み、さらにロケーションのグループ
分けが標識付け条件ノードからの情報に基づいて記憶装
置内に形成され、各グループが標識付け条件を満たすデ
ータ要素と対応付けられる。前記ノードからの情報が、
標識付け条件を満たすデータ要素を識別し、前記識別さ
れたデータ要素に対応するグループのロケーションに入
力される。前記ノードからの情報で占められた各グルー
プ内におけるロケーションの数がカウントされ、前記表
現が満たされているかどうかを判定する。

各グループは、前記表現の満たされていることを示す占
有ロケーションのカウントをそのグループが現在有して
いるかどうかを判定するためにモニターされる。情報の
新しいエントリが当該グループに加えられる毎に、グル
ープ内の前記占有ロケーションがカウントされる。

情報の新しいエントリによって、前記表現の満たされる
ことを示す占有ロケーションのカウントをそれまで有し
ていなかったグループが、前記表現の満たされることを
示す占有ロケーションのカウントを有するようになった
とき、表現は満たされたものとして指示される。但し、
情報の新しいエントリがグループに加えられたとき、そ
のグループが前記表現を満たす占有ロケーションのカウ
ントをすでに有している場合、前記指示をなされない。

一部のノードは、記憶装置内における対応した前記占有
ロケーションから前記情報を削除させ、さらに前記情報
がグループ内のロケーションから削除される毎に、グル
ープ内の占有ロケーションがカウントされる。情報の削
除によって、前記表現を満たす占有ロケーションのカウ
ントを前に有していたグループが、前記表現を満たさな
い占有ロケーションのカウントを有するようになったと
き、前記表現が満たされないことの指示がなされる。

この結果、網状ネント（すなわちＲＥＴＥネット）など
の判別ネットであるのが好ましいネットワークは、メタ
テストなど、表現内における条件の全てより少ない一部
によって満たされる表現を効率的に表すことができる。

これらメタテストの特定例には、条件のうちいずれか１
つが満たされたら満たされるという表現、あるいは条件
のうち少なくとも（または多くとも）所定の数が満たさ
れたら満たされるという表現が含まれる０本ネットワー
クは、評価の結果が１つのロケーション（例えばＲＢＴ
Ｅネット内の終端ノード）で得られるようにすることに
よって、表現が満たされるかどうかの判定を容易とする
。

別の側面において、本発明は、条件がノードによって表
されるようなネットワークデータに与えられるデータの
実際値に基づいて、データの項類に属するデータの可能
値に関連した条件からなる表現を評価する際、前記デー
タのうち、項類の値を必要とする条件が仮に満たされる
ために、値がネットワーク内に生じることを必要としな
い項類を識別すること、及び前記条件を表すノードによ
って、項類の値がネットワーク内で生じないときでも、
条件が仮に満たされることを指示させることによって評
価することをカウントする。

好ましい実施例は、さらに下記の特徴を有する。

前記項類は所定値をそれに割り当てることによって識別
され、その項類に属する値がネットワーク内に生じるま
で、所定値は維持される。前記識別された項類の値をテ
ストする条件を有する各ノードが、前記条件が満たされ
ないとき、項類が所定値を有しているかどうかをテスト
し、有していれば、前記条件が仮に満たされることをノ
ードが指示する。

前記ノードによって表された条件が満たされるかまたは
仮に満たされることを、ノードの所定の組合せが指示す
れば、前記表現が満たされたものと見なされ、さらに前
記表現が満たされたら、仮に満たされると指示された条
件の数を識別される。

前記表現は規則と関連しており、仮に満たされると指示
された前記条件の数がゼロであれば、その規則は適用さ
れない。

好ましくは、前記表現が複数存在し、該表現における条
件が満たされるかまたは仮に満たされることを、前記ノ
ードの所定の組合せが指示すれば、各表現が満たされた
ものとされ；さらに満たされ表現毎に、仮に満たされる
と指示された条件の数が識別される。前記満たされた表
現間における優先順位が、各表現毎の、仮に満たされる
と指示された前記条件の数に基づいて決められる。前記
表現は各々規則と関連しており、１つの規則がその優先
順位に基づいて選択される。

前記満たされた表現について、仮に満たされると指示さ
れた前記条件の数がゼロに等しければ、選択された規則
が適用される。一方、仮に満たされると指示された前記
条件の数がゼロより大きければ、ネットワーク中で値が
生じなかったデータの前記識別された項類を選択し、該
選択されたデータの項類に関する値が得られる。

この結果、データが失われている項類が、ユーザが見え
ない機構によって効率的に識別される。

特殊の規則、空き条件規則、または逆方向連鎖などは、
全く必要ない。つまり、失われているデータが、ユーザ
によってまたは別個のプログラムを実行することによっ
て、容易に検索可能である。

発明の上記以外の特徴及び利点は、以下の詳しい説明と
特許請求の範囲の記載から明かとなろう。

（実施例） 盪遺之軌作 第１図を参照すれば、エキスパートシステム１０は、任
意の適切なエキスパートシステムプログラミング言語（
デジタルイキブメント社から入力可能なｏｐｓｓなど）
を用いて作成されるエキスパートシステムプログラム１
２を実行する。エキスパートシステムプログラム１２は
、動作中にプログラムが使用するデジタルの項類（カテ
ゴリ）を識別する一組のデータの定義１４を含む０例え
ば、プログラム１２が人に関するデータに対して使われ
る場合、データの定義１４は姓名、年齢、性別、身長及
び体重などの項類を含み得る。またプログラム１２は、
規則の定義１６によって記述され、データの定義１４に
適合し且つシステム１０から得られる実際のデータを操
作するための一組の規則も含む、エキスパートシステム
プログラム１２はさらに、他の言語（Ｃ，フォートラン
、ベーシックなど）で書かれ、エキスパートシステムプ
ログラム１２の実行中に呼び出されたとき、（リモート
データベースへのアクセス、統計計算などの）タスクを
実施するプログラム１８へのリンクも含んでいる。

第２図を参照すれば、規則の定義１６によって記述され
た１組の規則２０　（例えばルール１−３）は各々、テ
ストコネクタ２４（例えば“ＡＮＤ”）によって相互に
結合され規則の左側として知られる表現式を形成する１
つ以上の条件つまりテスト２２（例えばテス）１−７４
）を含む。規則２０は、その規則の左側２６におけるテ
スト２２．２４の表現式をデータが満たす場合にのみ、
システム１０から得られたデータに適用可能である０例
えば規則１は、データがテス）Ｔ１．Ｔ２及びＴ３を通
過した場合にのみ（すなわちテス）Ｔｌ−Ｔ３が全て“
真゛である場合にのみ）、適用可能である。４−ス）Ｔ
２は規則２の左側２６内にも存在し、規則２が適用可能
であるためには、テストＴ４と共に真でなければならな
い。同じく、規則３の左側２６が満たされるためには、
テストＴｌ、Ｔ３及びＴ４が全て真でなければならない
。

各規則２０の右側２８は、規則が適用された場合に実行
される“処ＷＩＪスト°３０を含む、規則の適用は例え
ば、システムｌＯによってもっと多くのデータを得させ
たり、あるいは（他のプログラム１８の１つを実行する
などして）あるデータの値を演算させたりする。また規
則の適用で、（データを表示したり、外部のデータベー
ス４８を変更したりなど）何等かの外部的処置を取らせ
ることもできる。

再び第１図を参照すれば、データの定義１４と規則の定
義１６は、後で詳しく説明する方法でコンパイラ３２に
よって翻訳され、網状ネット３６（すなわちＲＥＴＥネ
ット）として知られる判別ネットデータ構造などのよう
な推論エンジン３４のメモリ３３内に記憶される。（他
のプログラム１８はそれぞれ独自のコンパイラ４６によ
って翻訳され、推論エンジン３４内のプロセッサ及びコ
ントローラ４６に与えられる。） また第３図を参照すると、ＲＥＴＥネット３６において
、各規則２０（第２図）の左側２６（第２図）間の区別
は取り除かれており、個々のテス）Ｔｌ−７４はそれぞ
れ、幾つの規則内でテスト２２が現れるかに関わりなく
、１つのテストノード４０ａ４０ｄによって表される０
例えば、テストＴｌは両規則１と３の左側２６内に現れ
るが、１つのテストノード４０ａによって表される。

テストノード４０ａ−４１ｄへは、後で詳しく説明する
ように共通の開始ノード３８から導かれる。テストノー
ド４０ａ−４０ｄの出力は、−組の結合ノード４２ａ−
４２ｅを介して、−組の結果つまり終端ノード４４ａ−
４４ｃに相互結合されている。結合ノード４２ａ−４２
ｅは各々、規則２０（第２図）の左側２６におけるテス
トコネクタ２４の関数機能（この場合“ＡＮＤ”）を表
す。

各終端ノード４４ａ−４４ｃは、１つの規則２０の左側
２６と対応している。つまり、開始ノード３８からテス
トノード４０ａ−４０ｄと結合ノード４２ａ−４２ｅを
経て各々の終端ノード４４ａ−４４ｃに至る経路が、１
つの規則２０の左側２６におけるテスト表現式を表す。

例えば、テストノード４０ａと４０ｂの百出力はＡＮＤ
結合ノード４２ａによって相互結合され、さらにＡＮＤ
結合ノード４１ａの出力がＡＮＤ結合ノード４２ｂでテ
ストノード４０ｃの出力と相互結合される。終端ノード
４４ａに与えられるこの結果が、規則１の左側２６を構
成するテストの表現式％式％）） 同じく、テストノード４０ｂと４０ｄの百出力はＡＮＤ
結合ノード４２ｃで結合され、その結果が規則２の左側
２６に規定されたテストの表現式（（Ｔ２）ＡＮＤ　（
Ｔ４））を表すものとして終端ノード４４ａに与えられ
る。最後に、規則３の左側２６のテスト表現式つまり（
（Ｔｌ）ＡＮＤ（Ｔ３）ＡＮＤ　（Ｔ４））はＲＥＴＥ
ネット３６内において、テストノード４０ａと４０Ｃの
百出力がＡＮＤ結合ノード４２ｄで結合され、その出力
がＡＮＤ結合ノード４２ｅでテストノード４０ｄの出力
と結合され、終端ノード４４ｃへ与えられることによっ
て表される。

さらに、各終端ノード４４ａ−４４ｃは、その終端ノー
ドが対応している規則の処理リスト３０を識別する０例
えば、終端ノード４４ａは規則１の処理リス１−３０を
識別する。

推論エンジン３４内のプロセッサ／コントローラ４６で
は、例えばデータベース４８からまたはユーザインタフ
ェース５０を介してユーザから、あるいはデータの定義
１４によって指定された初期の演算を行うことによって
、あるいは規則２０（第２図）の右側２８を実行するこ
とによって等、各種の方法で作業データを得る。プロセ
ッサ／コントローラ４６はそのデータを、−組のデータ
要素５６として作業メモリ５４内に記憶する。それぞれ
のデータ要素５６は、１つ以上のデータの定義と各定義
毎の値を識別する。例えば、データ要素５６は１つの項
Ｍ（例えば年ｔｅａ＞とそれに係わる値、もしくは複数
の項Ｍ（例えば姓名、年齢、身長、性別及び体重）と各
項類に係わる値で構成し得る。

動作時、新しいデータ要素５６が作業領域５４内に記憶
される毎に、プロセッサ／コントローラ４Ｇは各データ
要素に関する“追加”トークンを生成し、それらのトー
クンを１回に１つづつＲＩＥＴＢネ・ノド３６に与え、
ｌ？ＥＴεネットはトークンを処理して、１つ以上の規
則２０が作業メモリ５４内に記憶されているデータに適
用可能かどうかを判定する。このプロセスは“マツチン
グ（合致）′として知られ、後で詳しく説明する。複数
の規則２０が適用可能であるか、または１つの規則が１
より多いデータ要素の組合せに適用可能であると、プロ
セッサ／コントローラ４６が衝突の解消を行ってそのよ
うな１つ以上の規則“事例”を選択し、それらの規則事
例を適用させる。

規則事例の適用は、幾つかの結果をもたらすことがある
０例えば、新たなデータを生じたり、プロセッサ／コン
トローラ４６によって既存データに関する新たな値を計
算させたり、あるいはデータベース４８からまたはイン
タフェース５０を介してユーザからもっと多くのデータ
を取得させたりすることがある。プロセッサ／コントロ
ーラ４６は、新たに取得されたデータをデータ要素５６
として作業メモリ５４内に記憶し、それら新たなデータ
要素に関する追加トークンを生成し、新たな追加トーク
ンをＲＥＴＢネット３６内に別の推論サイクルで与えて
、適用される規則事例があるかどうかを捜す、同じく、
動作中にデータ値が変更されると、プロセッサ／コント
ローラ４６は古いデータ値を表す“削除１トークンをＲ
１！ＴＢネット３６に与え、次いで新たなデータ値に関
する“追加°トークンを与える。このプロセスは、適用
可能な規則が識別されなくなるまで、あるいは規則の適
用の結果新たなデータ要素５６が発生または得られなく
なるで継続される。

動作中、プロセッサ／コントローラ４６はインタフェー
ス５０を介して、ユーザーにアドバイスを与えたり、ユ
ーザからの質問に対する説明を与えることができる。ま
たプロセッサ／コントローラ４６は、１つ以上のプログ
ラム１８を実行したり、データをユーザに表示する等、
その他の処置を行うこともできる。

第３図において、プロセッサ／コントローラ４６は、デ
ータ要素５６を表す追加または削除トークンｔ　（原始
トークンと呼ぶ）を開始ノード３８に与え、その後テス
トノード４０ａ−４０ｄへと与える。そしてプロセッサ
／コントローラ４６は、各テストノード４０ａ−４０ｄ
によって識別されているテストを原始トークンｔに係わ
るデータに対して行い、テストが合格すると、プロセッ
サ／コントローラ４６はその原始トークンを該当の結合
ノードつまりノード４２ａ−４２ｅに送る。テストノー
ド４０ａ−４０ｄから送られる原始トークンは、第３図
中それぞれ１．−１４として示しである。但し、これら
はトークンｔと同等である。

各結合ノード４２ａ−４２ｅ　（例えば第３図に詳しく
示したＡＮＤ結合ノード４２ａ）は、その結合ノードが
トークンを受は取る各ノード毎に１つづつ一対のメモリ
を含む、つまり結合ノード４２ａは、テストノードから
のトークンｔ、を受は取って記憶する左側メモリ５２と
、テストノード４０ｂからのトークンｔ２を受は取って
記憶する右側メモリ５４とを含む。

プロセッサ／コントローラ４６は、各結合ノード４２−
４２ｅの左右メモリ５２．５４内のトークンを、その結
合ノードの関数機能に従ってマツチさせようとする。結
合ノードは、規則内のテストコネクタ２６（第２図）の
関数機能に対応した広範囲の可能な関数機能を定義して
いる０例えば、結合ノードは左側メモリ５２内のトーク
ンと右側メモリ５４内のトークンとの単純な論理積（Ａ
ＮＤ）を指定可能である。（これが結合ノード４２ａ−
４２ｅの関数機能に相当する。）あるいは、（ＮＯＴ結
合ノードと呼ばれる）結合ノードは、左側メモ１Ｊ５２
内のトークンの存在に対応した右側メモリ５４内のトー
クンの不在に関するチエツクを指定できる。また結合ノ
ードは入カドークンに係わるデータ要素に対するテスト
を識別し、プロセッサ／コントローラ４６によって例え
ば、一方のトークンに係わるデータ要素が他方のトーク
ンに係わるデータ要素に等しいか、等しくないか、それ
より小さいか、大きいか、以下かまたは以上かを判定す
ることもできる。プログラマは、プロセッサ／コントロ
ーラ４６によって結合ノードでデータ要素に対し行われ
るべきその他のテストも指定可能である。

いずれの種類の結合ノードにおいても、トークンのマツ
チングが見い出されるとプロセッサ／コントローラ４６
は、複合トークンと呼ばれ、どのトークン（従ってどの
データ要素）が結合ノードでマツチしたのかを識別する
複合トークンを発生する。プロセッサ／コントローラ４
６は、その複合トークンをＲＥＴＢネント３６内の次の
ノードに送る。原始トークンと同様、複合トークンは追
加トークンまたは削除トークンとし得る。例えば、（テ
ストＴ２を合格したデータ要素Ｂに係わる）１つの追加
トークンｔ２がＡＮＤ結合ノード４２ａの右側メモリ５
４内にすでに存在する時点で、データ要素Ａに係わる追
加トークンｔをＲ［！ＴＥネット３６に与える場合を考
えてみる。データ要素ＡがテストＴ１を合格すると、プ
ロセッサ／コントローラ４６はそのトークン（第３図中
ｔ３で示しである）をノード４０ａからＡＮＤ結合ノー
ド４２ａの右側メモリ５２に送る。ここで追加トークン
が左右両側メモリ５２．５４内に存在するので、結合ノ
ード４２ａのＡＮＤ関数が満され、プロセッサ／コント
ローラ４６は複合追加トークンｔ２ｔ１を発生し、その
複合１・−クンを結合ノード４２ａから結合ノード４２
ｂの左側メモリ５２に送る。

複合トークン１．−１．は両方の原始トークンｔ、とｔ
！を識別し、従ってテス１−ＴＩとＴ２を通過すると共
に、結合ノード４２ａの関数機能を満たしているデータ
要素Ａ、Ｂも識別する。

続けて、その後推論エンジン３４によって得られたデー
タ要素ＣがテストＣを満たしたものとする。プロセッサ
／コントローラ４６はデータ要素Ｃを表す追加トークン
ｔ、を、テストノード４０ｃからＡＮＤ結合ノード４２
ｂの右側メモリ５４に送る。従って、原始トークンｔ、
と、すでにノード４２ｂの左側メモリ５２に記憶されて
いる複合トークン１！−１，との間にマツチングが存在
する。そこでプロセッサ／コントローラ４６は、原始ト
ークンｔ８、Ｌｘ−ｔ＋（ひいてはそれぞれデータ要素
Ｃ，Ｂ及びＡ）を識別する別の複合追加トークン１．−
１．−１．を生じる。

複合追加トークン１．−１！−１，はプロセッサ／コン
トローラ４６によって終端ノード４４ａ内に記憶され、
規則１の左側２６が満たされていることを指示する。同
じく、新たなデータ要素５６の処理が規則２の左側２６
を満たすと、プロセッサ／コントローラ４６は複合追加
トークンｔ４１、を、結合ノード４２ｃから終端ノード
４４ｂ内に記憶する。また、規則３の左側のテストＴｌ
。

Ｔ３及びＴ４が満たされると、プロセッサ／コントロー
ラ４６によって複合追加トークン１４−１゜−１，が結
合ノード４２ｅから終端ノード４４ｃ内に記憶される。

全てのデータ要素５６を表すトークンがＲＥＴＥネット
３６に与えられた後、プロセッサ／コントローラ４６は
終端ノード４４ａ−４４ｃをチエツクし、どの規則の左
側２６が満たされているか、及びどの要素が１つまたは
複数の左側を満たしているかを判定する。複数の規則２
０（例えば規則１と２）の左側２６が、満たされること
がある。また、１つの規則２０　（例えば規則）の左側
２６が、データ要素５６の１より多い組合せによって満
たされることもある０例えば、テストＴ３がデータ要素
りによって満たされれば、データ要素り、　Ｂ及びＡと
データ要素Ｃ，Ｂ及びＡをそれぞれ識別する一対の複合
追加トークン１．−１．−１．が終端ノード４４ａ内に
存在することになる。

規則の左側２６を満たしたデータ要素５６の各組合わせ
が、その規則の“事例゛を識別する、すなわち規則が適
用可能な一組のデータ要素５６を定義する。推論エンジ
ン３４が規則の複数の事例間における衝突の解消を行い
、どの１つまたは複数の規則のどの１つまたは複数の事
例を適用すべきかを判定する。ある規則（例えば規則１
）の−事例が適用されると、プロセッサ／コントローラ
４６はその事例に係わる終端ノード内の複合追加トーク
ン（例えばノード４４ａ内の（データ２１Ｃ，Ｂ、Ａに
関する）トークン１．−１．−１．）を削除されるもの
としてマーク表示し、別の複合トークンがノード４４ａ
内に記憶されるまで（つまり規則１の適用時に１より多
い複合トークンがノード４４ａ内に記憶されていなかっ
たなら）、その規則が満たさているかどうか再び考慮さ
れないようにする。

第４−７図を参照すると、開始ノード３８、テストノー
ド４０ａ−４０ｄ、結合ノード４２ａ−４２ｅ１及び終
端ノード４４ａ−４４ｃがそれぞれ、推論エンジン３４
内に記憶されたデータ構造６０．７０．８０及び９０に
よって定義されている。開始ノード３８のデータ構造６
０が第４図に示してあり、ＲＥＴＢネット３６内におけ
る後続ノードのアドレス、すなわちテストノード４０ａ
−４０ｄのアドレス７１（第５図）を含むポインタリス
ト用のポインタを有するフィールド６２を含んでいる。

第５図を参照すれば、テストノード４０ａ−４０ｄのデ
ータ構造７０は、各テストノードに割り当てられたテス
ト（例えばノード４０ａのテストＴＩ）のメモリアドレ
スを含んだポインタであるフィールド７２を含んでいる
。フィールド７３は、各テストノード４０ａ−４０ｄか
らトークンが送られる１つまたは複数の後続ノードの左
側メモリ５２（第３図）のアドレスを保持したポインタ
リスト用のポインタを含む０例えば、テストノード４０
ｂのフィールド７３は、結合ノード４２ｃの左側メモリ
　（ＬＭ）５２のアドレスを保持したポインタを含むリ
スト用のポインタを有する。フィールド７４は、トーク
ンが送られる１つまたは複数の後続ノードの右側メモリ
５４のアドレスを含んだポインタリスト用のポインタを
有する。例えば、テストノード４０ｂのフィールド７４
は、結合ノード４２ａの右側メモリ　（ＲＭ）５４のア
ドレスを保持したポインタを含むリスト用のポインタを
有する。

第６図を参照すれば、結合ノード４２ａ−４２ｅのデー
タ構造８０は、結合ノードの左側メモリ（ＬＭ）５２の
アドレス用ポインタを含むフィールド８２を含み、結合
ノードの右側メモリ（ＲＭ）５４のアドレス用ポインタ
はフィールド８３内に含まれている。フィールド８４内
のポインタは、テスト（例えば等しいか、等しくないか
、より小さいか、大きいか、以下か、以上かまたは無視
かの判定）及び左右メモリ内のトークンのマツチングを
行うノードによって識別される論理関数（例えばＡＮＤ
またはＮ０Ｔ）の、推論エンジン３４のメモリ３３内に
おけるロケーシヨンを示す。テストノード４０ａ−４０
ｄからのトークンと異なり、結合ノード４０ａ−４０ｅ
からのトークンは後続ノードの左側メモリ５２だけに送
られる。そこでフィールド８５は、それら左側メモリの
アドレスを含むポインタリスト用のポインタを含んでい
る。例えば、結合ノード４２ａのデータ構造８０内のフ
ィールド８５は、結合ノード４２ｂの左側メモリ５２の
アドレス用ポインタを含む。

第７図を参照すれば、終端ノード４４ａ−４４ｃのデー
タ構造９０は、結合ノードから受は取った１つ以上の複
合トークンが記憶される推論エンジン３４のメモリ３３
内におけるロケーションを保持したポインタリスト用の
ポインタを有するフィールド９２を含んでいる０例えば
、ノーＦ　４４　ａ用のフィールド９２は、結合ノード
４２ｂからの複合トークン１．−１．−１．が記憶され
る推論エンジン３４のメモリ３３内におけるロケーショ
ン用ポインタを有する。終端ノード４４ａ−４４ｃのア
ドレスは、それぞれ結合ノード４２ｂ、４２ｃ。

４２ｃのデータ構造８０のフィールド８５内のポインタ
によって識別される。フィールド９３は、各終端ノード
４４ａ−４４ｃによって識別された規則の処置リスト３
０が記憶される推論エンジンメモリ３３内におけるロケ
ーション用ポインタを含む。

第８図を参照すれば、原始トークンのデータ構造１００
は、その原始トークンに係わるデータ要素５６が記憶さ
れる作業メモリ５４内のロケーション用ポインタを有す
るフィールド１０２を含んでいる０例えば、データ要素
Ａに係わる原始トークンｔのデータ構造内のフィールド
１０２は、データ要素Ａが記憶される作業メモリ５４内
のロケーション用ポインタを有する０例えば、データ要
素ＡがテストＴｌに合格すると、プロセッサ／コントロ
ーラ４６によって結合ノード４２ａの左側メモリ５２に
送られる原始トークンｔ、はトークンｔと同じアドレス
１０１を有し、またデータ要素Ａのロケーション用ポイ
ンタをフィールド１０２内に有する。

原始トークンのデータ構造１００は、トークンが追加ト
ークンであるかまたは削除トークンであるかを示すフィ
ールド１０３も含んでいる。追加トークンは、前記した
ようにトークンが与えられる１つまたは複数のノード内
でのトークンリストを増加させる。一方、削除トークン
は、１つまたは複数の後続ノードの左側メモリ５２また
は右側メモリ５４からトークンを差し引く。

原始トークンデータ構造１００内の別のフィールド１０
４は、例えば規則２０の複数の事例間（すなわち満たさ
れたそれぞれの左側２６を有する複数の規則２０間、及
び１つの規則の満たされた複数の事例間）での衝突を解
消するのに使われる、推論エンジンメモリ３３内に記憶
されたシーケンス用ポインタを含む。

第９図を参照すれば、複合トークン（例えば結合ノード
４２ａから生じるトークンｔｚ　　ｊ＋）のデータ構造
１１０は、複合トークンがそこから形成されたトークン
のアドレスを保持したポインタリスト用のポインタを有
するフィールド１１２を含んでいる０例えば、結合ノー
ド４２ａの左右メモリ５２．５４に記憶された（それぞ
れデータ要素ＡとＢ指す）原始トークン１．と１２間で
マツチングが存在するとき、プロセッサ／コントローラ
４６によって生成される複合トークン１．−１．は、原
始トークン１ｔ、１．の各アドレス１０１を保持した２
つのポインタを有するリスト用ポインタを有するフィー
ルド１１２を含む、同じく、結合ノード４２ｂで生成さ
れた複合トークン１．−１ｔ−１，は、トークンｔ、の
アドレス１０１と複合トークン１．−１．のアドレス１
１１をそれぞれ保持した一対の２つのポインタを有する
リスト用ポインタをフィールド１１２を含む。

つまり、複合トークンに係わるデータ要素（すなわちデ
ータの定義とそれぞれのデータ値）は、全ての原始トー
クンのアドレスが見つかるまでフィールド１１２に係わ
るポインタリストを辿り、次いで各原始トークンが表し
ているデータ要素５６の作業メモリ５４内のロケーショ
ンを指す原始トークンのフィールド１０２内のポインタ
を辿ることによって見い出される。

複合トークンのデータ構造１１０は、追加／削除フィー
ルド１１３と、トークンに係わる衝突解消シーケンス及
びその他の機能を指すポインタ用のその他のフィールド
１１４も含んでいる。

再び第２及び３図を参照すると、ＲＥＴＥネ７）３６は
、規則１−３のように、規則の左側における全ての条件
が満たされることを単に要求する規則２０（すなわちＡ
ＮＤ及びＮＯＴのテストコネクタ２４だけを含む規則）
のための効率的な表現を与える。しかし、左側のテスト
の全てでなく一部が合格したときに満たされるテスト表
現式を左側が定義しているその他の規則も存在する。こ
れらのテストの組合せは、“メタテスト”として知られ
ている。

第１０及び１１図を参照すれば、一種類のメタテストに
おいて、規則（例えば規則４）の左側２６′におけるテ
ストの表現式は、個々のテストＴ２−ＴＳ間に論理和（
ＯＲ）のテストコネクタ２４′を含んでいる。規則４の
左側は、テストＴ１とＴ２が通過するか、テス）ＴＩと
Ｔ３が通過するか、テストＴＩとＴ４が通過するが、あ
るいはテストＴｌとＴ５が通過すると満たされる。

規則４用のＲＥＴＥネットは表現１２０が第１１図に示
しである。プロセッサ／コントローラ４６は、開始ノー
ド１２２から導かれた原始トークンに係わるデータ要素
５６に対して、それぞれノード１２４ａ−１２４ｅによ
って識別されたテストＴｌ−７５を行う。左側２６′が
満たされるにはテストＴ１が合格しなければならないの
で、プロセッサ／コントローラ４６は原始トークンｔ、
を全ての結合ノード１２６ａ−１２６ｄの左側メモリ５
２（第３図）に与える。

原始トークンｔｚ　　ｔｓは、対応したテストＴ１−Ｔ
５が合格したとき、それぞれ結合ノード１２６ａ１２６
ｄの左側メモリに送られる。プロセッサ／コントローラ
４６は、トークンのマツチングが生じると、それぞれ結
合ノード１２６ａ−１２６ｄで複合トークンｊ！　　ｊ
ｌ＋ｔ！−ｔｌ＋ｔ４　　’ｌ＋ｔｓ−１，を生じる。

これら４つの複合トークンのいずれか１つの発生は規則
４の一事例をもたらすので、プロセッサ／コントローラ
４６はＲＥＴＥネット３６内のどこかで、あるいは４つ
の異なる終端ノード１２８ａ−１２８ｄで各複合トーク
ンを調べなければならない。また、（例えばＴ１とＴ２
の合格のため）規則４の一事例が適用された場合、規則
のその他の事例の適用な防止されねばならない。

第１２及び１３図を参照すれば、“少なくとも”の規則
による別の種類のメタテストが使われている０例えば、
テストＴｌとテストＴ２−Ｔ５のうち少なくとも２つが
合格すると、規則５の左側２６＃の表現式が満たされる
。左側２６″における“の中の少なくとも２つ（ａｔ　
１ｅａｓｔ　２　ｏｆ）　”という表現が、ＲＥＴＥネ
ットで容易に表せないテストコネクタ２５である。左側
２６“のための１つのＲＥＴｔ！ネット表現１３０が第
１３図に示してあり、テストノード１３４ａ−１３４ｅ
によって生じたトークン１．−１Ｓを組み合わせるのに
９個の結合ノード１３６ａ−１３６ｉを必要とする。Ｒ
ＥＴＥネット１３０は６個の複合トークン（１，−１゜
ｔｌ　ｒ　　ｔａ　　ｔｚ　　Ｌｌ　ｒ　　Ｌ％−ｔｌ
−’ｌ　＊　　ｔ４ｔ、−ｔ、　ｌ　ｔ、−ｔ、’ｓ−
ｔ、　＋　ｊＳ　Ｔ４−１１）を生じ、これらの内いず
れか１つの存在が、規則５の左側２６＃が満たされてい
ることを示す。

第１４及び１５図を参照すれば、規則が適用し得る場合
に合格可能な左側２６０ｃでのテストの数を制限する、
規則６など“多くとも（ａｔ　ｍｏｓｔ）”の規則につ
いて、さらに別の種類のメタテストが行われる。つまり
、規則６の左側２６ｏｃはテストＴｌ−７５の下記の論
理的組合せによってのみ満たされる： ｎｏｔ　Ｔ５　　ｎｏｔ　Ｔ４　　ｎｏｔ　Ｔ３　　ｎ
ｏｔ　Ｔ２　　Ｔｌｎｏｔ　Ｔ５　　ｎｏｔ　Ｔ４　　
ｎｏｔ　Ｔ３　　Ｔ２　　　　ＴｌｎｏｔＴ５　　ｎｏ
ｔＴ４　　Ｔ３　　　　Ｔ２　　　　ＴｌｎｏｔＴ５　
　Ｔ４　　　　ｎｏｔＴ３　　Ｔ２　　　　Ｔｌｎｏｔ
　Ｔ５　　ｎｏｔ　Ｔ４　　Ｔ３　　　　ｎｏｔ　Ｔ２
　　ＴＩＴ５　　　　ｎｏｔＴ４　　ｎｏｔＴ３　　Ｔ
２　　　　ＴｌｎｏｔＴ５　　Ｔ４　　　　Ｔ３　　　
　ｎｏｔＴ２　　Ｔｌｎｏｔ　Ｔ５　　Ｔ４　　　　ｎ
ｏｔ　Ｔ３　　ｎｏｔ　Ｔ２　　ＴＩＴ５　　　　ｎｏ
ｔＴ４　　Ｔ３　　　　ｎｏｔＴ２　　ＴＩＴ５　　　
　ｎｏｔ　Ｔ４　　ｎｏｔ　Ｔ３　　ｎｏｔ　Ｔ２　　
ＴＩＴ５　　　　Ｔ４　　　　ｎｏｔＴ３　　ｎｏｔＴ
２　　Ｔｌ第１５図は、左側２６ｏｃのためのＲＨＴＥ
ネット表現１４０を示す。テストノード１４４ａ−１４
４ｅが１０個のＡＮＤ結合ノード１４６ａ−１４６ｊと
２８個のＮＯＴ結合ノード１４８ａ−１４８ｂｂを供給
し、左側２６ｏｃの１１個の可能な事例を表す１１個の
出カドークンを生じる。

本発明の一特徴・によれば、ＲＥＴＥネット３６がメタ
テスト（規則４−６の左側におけるテストの表現式など
）を表す方法が、ＲＥＴ［！ネット内の通常のテストノ
ードつまり結合ノードによってテストされる１つ以上の
条件の発生をカウント可能とする新たなノードを生成す
ることによって変更される。

第１６図を参照すると、本発明によれば“ＯＲ”規則４
（第１θ図）、“少なくとも”の規則５（第１２図）、
及び“多くとも”の規則（第１４図）の各左側が、通常
の開始ノード１５２、テストノード１５４ａ−１５４ｄ
及び結合ノード１５６ａ−１５６ｄに加えて、新たなノ
ードを含む簡単なＲＥ↑Ｅネットによって表せる。新た
なノードはリレーノード１５８ａ−１５８ｄとカウンタ
ノード１６０で、これらがプロセッサ／コントロ−ラ４
６によってトークンを共有のトークンメモリテーブル２
００に与える。プロセッサ／コントローラ４６が、メモ
リテーブル２００に記憶されたトークンに対するテスト
を、メタテスト機能２１０に従って行う。リレーノード
１５８ａ−１５８ｄとカウンタノード１６０は、エキス
パートシステムプログラム１２が推論エンジン３４内に
翻訳されるとき、コンパイラ３２（第１図）によって生
成される。

プログラム／コントローラ４６は、トークン１゜をテス
トノード１５４ａから結合ノード１５６ａ−１５６ｄの
左側メモリ５２　（第３図）に送ると共に、トークンＬ
、をカウンタノード１６０にも送り、トークンｔ１は共
有メモリテーブル２００の行内に（それぞれの結合ノー
ド１５６ａ−１５６ｄを介してリレーノード１５８ａ−
１５８ｄから送られてくる）複合トークンを記憶するた
めの指標として使われる。結合ノード１５６ａ−１５６
ｄの右側メモリ５４は、それぞれテストノード１５４ａ
−１５４ｄからトークン１！−１，を受は取る。プロセ
ッサ／コントローラ４６は、前述したのと同様に、結合
ノード１５６ａ−１５６ｄの左右メモリ５２．５４内で
トークンをマツチさせることによって、メモリテーブル
２００に記憶される複合トークンを生じる。各リレーノ
ード（例えばノード１５８ａ）は、共有メモリテーブル
２００の列を識別し、プロセッサ／コントローラ４６が
複合ノード（例えばトークンｊｚ　　ｔｌ）を、結合ノ
ード１５６ａ−１５６ｄからテーブル２００内の割り当
てられた行に送るのを可能とする。

第１７図を参照すれば、リレーノード１５８ａ−１５８
ｄのデータ構造１７０は、リレーノード１５８ａ−１５
８ｄとカウンタノード１６０によって共有されるカウン
タノード情報１９０のアドレス（１９１、第１９図）を
保持したフィールド１７２を含む、フィールド１７３は
、トークンがリレーノード１５８ａ−１５８ｄからそこ
に送られる共有メモリテーブル２００内の列を識別する
ポインタを有する。

第１８図を参照すれば、カウンタノード１６０のデータ
構造１８０は、共有されるカウンタノード情ｆ１１９０
のアドレス１９１　　（第１９図）を保持したフィール
ド１８２を含む。

第１９図を参照すれば、リレーノード１５８ａ−１５８
ｄとカウンタノード１６０によって共有されるカウンタ
ノード情報１９０のデータ構造１９０は、カウンタノー
ド１６０のメタテスト機能（例えば規則４−６の“ＯＲ
”少なくとも。

または“多くとも”の表現）のメモリ３３（第１図）内
におけるロケーションを識別するポインタを有するフィ
ールド１９２を含んでいる。フィールド１９３は、メタ
テスト機能の引数（例えば１１２等）を含む、すなわち
規則５（第１２図）の場合、フィールド１９２内のテス
トポインタは、“少なくとも”のテストシーケンスが存
在する推論エンジン３４のメモリ３３内におけるロケー
ションを示し、フィールド１９３内の引数は、規則の左
側が満たされるためＴＩと共に合格しなければならない
テストＴ２−Ｔ５の番号（すなわち２）を与える。

フィールド１９４は、それぞれリレーノード１５８ａ−
１５８ｄを経た複合トークンｔＺ　　Ｌｌ＋ｔ３　　ｔ
ｌＩ　　Ｌａ　　Ｅｌ＋　　ｔＳ　ｔｌを記憶する共有
トークンメモリテーブル２００の開始アドレス用ポイン
タを含んでいる。共有トークンメモリテーブル２００は
、後で詳しく述べるようにカウンタノード１６０からの
トークンｔ、によって指標（＝Ｊけされる。フィールド
１９５は、システム１０の全ての規則に関するＲＥＴＥ
ネット１５０内における後続ノード（図示せず）の左側
メモリ５２のアドレスを含むポインタリスト用のポイン
タを保持する０図示の目的上、ＲＥＴＩ！ネッ）１５０
は第１６図中、唯一の後続ノードとして終端ノード１６
２を有するものとして示されている。つまり、終端ノー
ド１６２（第７図）のアドレス９１が、フィールド１９
５に係わるポインタリスト内に含まれている。

第２０図を参照すれば、共有トークンメモリテーブル２
００は、それぞれリレーノード１５８ａ−１５８ｄのフ
ィールド１７３において識別され、結合ノード１５６ａ
−１５６ｄからの複合トークン用の列２０２ａ−２０２
ｄを含む、つまり、結合ノード１５６ａによって表され
る結合（例えばＡＮＤ）を合格したテス）Ｔ２とＴＩの
事例を表す複合トークン１．−１．は、列２０２ａに割
り当てられる。結合ノード１５６ｂの関数機能に従って
合格したテストＴ３とＴＩの事例は、列２０２ｂに割り
当てられる複合トークン１．−１．によって表される。

列２０２ｃは、結合ノード１５６ａによってテストされ
る結合を合格したテストＴ４とＴ１の事例を表す複合ト
ークン１．−１．用に指定されている。結合ノード１５
６ｄの関数機能に従って合格したテス）Ｔ５とＴＩの事
例を表す複合トークン１．−１．は、列２０２ｄに割り
当てられる。

メタテスト規Ｊｌ！Ｉ　４−６のいずれか１つの左側は
、テストＴ２−７５の一部の組合せの合格と共にテスト
Ｔ１が合格した場合にのみ満たされ、また幾つかのデー
タ要素５６がテストＴ１を合格することがあるため、列
２０２，１−２０２ｄは、テストノード１５４ａによっ
てカウンタノード１６０に導かれたトークン【、に従っ
て、行２０４ａ−２０４ｎに指標付けされている。つま
り、各行２０４ａ−２０４ｎは、（第８図、フィー）Ｌ
ｔＦ１０２内のポインタによりて）データ要素を識別す
るトークン１．と対応する。結合ノード１５６ａ−１５
６ｄとリレーノード１５８ａ−１５８ｄから、（第９図
の各データ構造フィールド１１２に係わるポインタリス
トを介して）データ要素まで辿れる複合トークンだけが
、行２０４ａ　−２０４ｎ内に入れられる資格がある。

第１６．２０及び２１図を参照して、動作の初期時、結
合ノード１５６ａ−１５６ｄの左右メモリとメモリテー
ブル２００が空であるものとする。

新しいデータ要素５６（例えばデータ要素Ａ）が、（例
えばユーザまたはデータベース４８から、あるいは適用
された規則の結果として）推論エンジン３４から得られ
ると、プロセッサ／コントローラ４６はそのデータ要素
を作業メモリ５４内に記憶し、データ要素への記憶ロケ
ーションを指す原始追加トークンｔ　　（Ａ）　　（第
８図）を生成し、新らしいトークンｔ　　（Ａ）を介し
ノード１５２に与える（２２０）。

次いでプロセッサ／コントローラ４６は、トークンｔ　
　（Ａ）をテストノード１５４ａ−１５４ｅに順次送る
。データ要素ＡはテストＴ１を合格するものとする（２
２２）　、プロセッサ／コントローラ４６はこの追加ト
ークンｔｔ（Ａ）を、テストノード１５４ａからカウン
タノード１６０に与える（２２４）、カウンタノード１
６０が、（それぞれリレーノード１５８ａ−１５８ｄを
介して）結合ノード１５６ａ−１５６ｄから得られるデ
ータ要素Ａを指すトークン１．に対応した複合トークン
に指定されたメモリテーブル２００内の行２０４ａを生
じる（２２６）、またトークン１゜（Ａ）は、プロセッ
サ／コントローラ４６によって結合ノード１５６ａ−１
５６ｄの左側メモリ（ＬＭ）５２内にも記憶される（２
２Ｂ）。

新しい行く例えば行２０４　ａ’）がテーブル２００内
に確立される毎に、カウンタノード１６０が、メタテス
ト機能２１０を呼び出す、なぜなら、テス）Ｔｌが合格
すると直ちに、何等かの規則（例えば“多くとも”の規
則６）が満たされるからである。規則が満たされると、
プロセッサ／コントローラ４６は新たに生成された行を
１Ｔ”つまり真としてマーク表示する；満たされないと
、その行は“Ｆｏつまり偽としてマーク表示される。

データ要素Ａがナス１−Ｔ１合格したかどうかに関わり
な（、プロセッサ／コントローラ４６は、データ要素Ａ
に関してテストノード１５４ａ−１５４ｅによって識別
されたテストを順次行う（２３０）、テストプロセスは
、テストＴ２−Ｔ５が全て実行されるまで継続される（
２３２）。データ要素Ａは、テストＴ２−Ｔ５のいずれ
も合格しないものとする。従って、結合ノード１５６ａ
−１５６ｄの左側メモリ５４が全て空なので、いずれの
結合ノード１５６ａ−１５６ｄも左右メモリ５２．５４
内の両トークン間でマツチングを生じない（２３４）、
全てのテストＴｌ−Ｔ５が実行され（２３２）、且つ（
１つ以上のテストが合格した場合）全ての結合ノードが
マツチングをチエツクし終る（２３６）と、プロセッサ
／コントローラ４６はデータ要素Ａについてそれ以上進
むことができず、さらにいずれか新しいデータ要素５６
が得られるかどうかをチエツクする（２３８）。

このチエツクは、データ要素Ａが全てのテストＴｌ−Ｔ
５に合格しなかった場合にも行われる。

さらに得られるデータ要素５６が存在すれば、プロセス
は次のデータ要素（例えばデータ要素Ｂ）について！！
続される（２２０）。

（原始トークンｔ　（Ｂ）によって表される）データ要
素Ｂは、テストＴ４だけを合格するものとする（２３０
）。プロセッサ／コントローラ４６は原始追加トークン
ｔ、（Ｂ）を、テストノード１５４ｄを結合ノード１５
６Ｃの左側メモリ５４に送る（２４０）。ここで、プロ
セッサ／コントローラ４６は結合ノード１５６ｃにおい
て、左右メモリ５２．５４内の両原始追加トークンｔｔ
（Ａ）、ｔ４（Ｂ）間でマツチングを見い出す、従って
プロセッサ／コントローラ４６は、原始トークンｔ４（
Ｂ）とｔｒ（Ａ）のアドレス１０２　（第８図）を含む
ポインタリスト用のポインタを有する複合追加トークン
（第９図）を発生し、複合トークンＬｓ　（Ｂ）−ｔｒ
　（Ａ）をリレーノード１５８Ｃに送る　（２４２）。

複合トークンｔａ　（Ｂ）−ｔｒ　（Ａ）は、テストＴ
４とＴ１が合格したことを示す。リレーノード１５８Ｃ
が（フィールド１７２内のポインタを介して）共有のカ
ウンタノード情報データ構造１９０にアクセスするため
、プロセッサ／コントローラ４６は、複合トークンｔ４
（Ｂ）　　　ｔｒ　（Ａ）がメモリテーブル２００の行
２０４ａ内に入れるべきかどうかくすなわち原始トーク
ンｔ＋（Ａ）に割り当てられた行）を判定し、複合トー
クンｔ４（ａ）−ｔｒ（Ａ）を列２０２Ｃの行２０４ａ
　（すなわち第１７図、フィールド１７３内のポインタ
によって識別され、リレーノード１５８Ｃに割り当てら
れた行）に送る（２４４）。

次いで、メモリ行テスト機能２１０がリレーノード１５
８Ｃによって呼び出され、（トークンが追加されたのは
行２０４ａだけであるから）行２０４ａのテストポイン
タ１９２とテスト引数１９３に係わるメタテストをプロ
セッサ／コントローラ４６で行わせ、行２０４ａの列２
０２ａ−２０２ｄ内における複合追加トークンの数がメ
タテストを満たすかどうかを判定する（２４６）。

いま、規則５（第１２図）がＲＥＴＥネット１５０で表
されているものとする。プロセッサ／コントローラ４６
はテスト機能２１０を用い、複合追加トークンを含む行
２０４ａ内に少なくとも２つの列２０２ａ−２０２ｄが
存在するかどうかを判定することによって、合格したテ
ストＴ１のある事例と共に、テストＴ２−７５のうち少
なくとも２つが合格したかどうかをチエツクする（２４
６）。

行２０４ａ内には１つの複合トークン、つまりトークン
ｔａ　（Ｂ）　　　ｔｒ　（Ａ）だけが存在するので、
規則５の左側はまだ満たされず、プロセッサ／コントロ
ーラ４６は行２０４ａをマーク表示“Ｆ”つまり偽（第
２０図）の状態に保つ。

トークンｔａ　（Ｂ）が結合ノード１５６ｃの右側メモ
リに記憶されたとき、１より多い原始トークンが左側メ
モリ内に存在し、従ってトークンｔ４（Ｂ）に係わる連
続した複合トークンが発生されることもある（２４８）
、この場合、プロセッサ／コントローラ４６はこれらの
複合トークンをリレーノード１５８ｃに送り（２４２）
、メモリ２００の適切な行と列内に入れ（２４４）、そ
の行のテスト機能２１０を行う（２４６）。

リレーノード１５８ｃからの全複合トークンがメモリテ
ーブル２００でチエツクされ終ると（２４８）、全ての
結合ノード１５６ａ−１５６ｄがトークンのマツチング
についてチエツクされ（２３６）、全てのテストＴｌ−
Ｔ５が実行され（２３２）、プロセッサ／コントローラ
４６は次のデータ要素が存在すれば（２３８）、その推
論処理を繰り返す。

次の新しいデータ要素、つまり要素Ｃは、テストＴ１だ
けを合格するものとする。プロセッサ／コントローラ４
６は追加トークンｔ＋（Ｃ）をテストノード１５４ａか
らカウンタノード１６０に送り、カウンタノード１６０
はその原始トークンとデータ要素Ｃ用の行２０４ｂをメ
モリテーブル２００内に生成する（２２６）。原始トー
クン１゜（Ｃ）は、結合ノード１５６ａ−１５６ｄの左
側メモリ内にも記憶される（２２８）。従って、新しい
トークンのマツチングが結合ノード１５６Ｃで生じ＜２
３４）、プロセッサ／コントローラ４６は新しい複合追
加トークンｔオ（Ｂ）　−ｔ　ｔ（ｃ）をリレーノード
１５８Ｃに送る（２４２）。

複合トークンｔ４（Ｂ）−”　ｔｔ　（Ｃ）のｔ１部分
は（例えばデータ要素人でなく）データ要素Ｃに係わる
ものなので、複合トークンｔａ（Ｂ）　　　Ｌ＋（Ｃ）
はりレーノード１５８Ｃから、メモリテーブル２００の
行２０４ｂ、列２０２ｃ内に送られる（２４４）、Ｌか
しこの行２０４ｂは、テスト機能２１０の“少なくとも
２つ”というテストをまだ満たさず（２４６）、行２０
４ｂはマーク表示“Ｆ”つまり偽の状態に維持される。

その後、次のデータ要素５６が存在すれば（２３８）、
それについての推論処理が繰り返される。

次の新しいデータ要素、つまりデータ要素りは、テス）
Ｔ２だけを合格するものとする（２３０）　。

プロセッサ／コントローラ４６は追加トークンｔ２（Ｃ
）をテストノード１５４ｂから結合ノード１５６ａ−１
５６ｄの左側メモリ５４内に送られる（２４０）、従っ
て、トークンｔ、（Ｄ）とトークンｔＩ（Ａ）間でマツ
チングが生じ、複合追加トークンｔｚ　（Ｄ）　　　ｔ
ｔ　（Ａ）がプロセッサ／コントローラ４６によってリ
レーノード１５８ａに送られる（２４２）。

複合トークンｊ＊　（Ｄ）−ｔ　１（Ａ）の１．部分は
データ要素Ａに係わるものなので、プロセッサ／コント
ローラ４６はその複合追加トークンのリレーノード１５
８ａから、メモリテーブル２００の行２０４ａ、列２０
２ａに送る（２４４）。ここで、行２０４ａの少なくと
も２つの列内に複合追加トークンが存在するので、テス
ト機能２１０は満たされる（２４６）。すなわちデータ
要素Ａ。

Ｂ及びＤが、満たされている規則５の左側の一事例とな
る。そこで行２０４ａは“Ｆ”から“Ｔ”つまり真に変
更され、プロセッサ／コントローラ４６は、カウンタノ
ード１６０のアドレス１８１（第１８図）用のポインタ
と原始トークンｔ＋（ａ）のアドレス１０１用のポイン
タとをフィールド１１２内に含む新しい複合トークンを
発生する＜２５０）、この新しい複合トークン１ｃｍ１
゜（Ａ）は終端ノード１６２内に記憶され（２５２）（
また場合によっては全規則のＲＥＴＥネット３６内のい
ずれかに送られる）。

さらに、原始追加トークン間での別のマツチング、すな
わちトークンｔ＊（Ｄ）とｔｔ（Ｃ）間でのマツチング
が、結合ノード１５６ａに存在する（２４８．２３４）
、従って、プロセッサ／コントローラ４６は複合追加ト
ークンｊｚ（Ｄ）−ｔ。

（Ｃ）をリレーノード１５８ａに送り　（２４２）、そ
のトークンをメモリテーブル２００の列２０２ａのうち
、ｔｔ（Ｃ）に対応した行２０４ｂに記憶する（２４４
＞　、ここで、行２０４ｂの少なくとも２つの列内に複
合追加トークンが存在するので（２４６）、規則５の左
側の別の事例が満たされ、それが処理されねばならない
。そこでプロセンサ／コントローラ４６は、行２０４ｂ
の真／偽状態を“Ｆ”から“Ｔ”つまり真に変更し、新
しい複合トークンｔｃ−ｔ＋（Ｃ）を発生して（２５０
）、それが終端ノード１６２内に記憶される（２５２）
。

例えば、“少なくとも２つ”という規則５の事例は、メ
モリテーブル２００のある行２０４ａ−２０４ｎに属す
る少なくとも２つの列２０２ａ−２０２ｄが複合追加ト
ークンを含むときに生じるため、第３または第４の複合
追加トークンがその行内に入れられたとき、規則の追加
の事例は発生されるべきでない、従ってプロセッサ／コ
ントローラ４６は（テスト機能２１０に基づき）、その
行の列への追加トークンの付加によって行（例えば行２
０４ａ）が合格したことを判定する毎に１、その行の真
／偽（Ｔ／Ｆ）状態が変更されたかどうかをチエツクす
る（２４９）、変更していなければ（すなわちその行が
テストａ能２１０をすでに満たしていれば）、プロセッ
サ／コントローラ４６は（新しい規則の事例を表す）新
しい複合追加トークンを発生せず、プロセスはステップ
２４８に進む。

しかしながら、メモリテーブル２００のある行のある列
から対応した複合追加トークンを除去するため、複合削
除トークンがリレーノード１５８ａ１５８ｄを介してプ
ロセッサ／コントローラ４６によって送られると、また
その結果として、当該行のＴ／Ｆ状態が真から偽へ変化
すると（２４９）、（すなわちテスト機能２１０がその
行について満足しな（なると）、プロセッサ／コントロ
ーラ４６は複合削除トークンを発生する（２５０）。複
合削除トークンは、カウンタノード１６０のアドレス１
８１と、当該行に係わる原始トークン（例えば行２０４
ａに関する原始トークンｔ＋（Ａ））のアドレスも指す
、この複合トークンが、プロセッサ／コントローラ４６
によって終端ノード１６２に送られる（２５２）。

全ての新しいデータ要素に関する追加及び削除トークン
がＲＥＴＥネット１５０に加えられた後（２３８）、プ
ロセッサ／コントローラ４６は終端ノード１６２を、複
合追加トークンの存在についてチエツクする（２５４）
、終端ノード１６２が空であれば、規則５のどの事例も
適用の準備が整っていす、エキスパートシステムプログ
ラム１２の実行は、少なくともそれまでに推論エンジン
３４によって得られた全てのデータについて完了される
（２５６）。

しかし本例では、終端ノード１６２内における追加トー
クンｔ　ｃ−ｔ　＋　（Ａ）とｔＣ−ｔｌ（Ｃ）の存在
によって指示されているように、規則５の２つの事例が
適用の準備が整っている。プロセッサ／コントローラ４
６は、トークンのデータ構造１１０のフィールド１１４
（第９図）に存在する情報を用いて、２つの事例間にお
ける衝突の解消を行い、勝った方の事例規則、例えばト
ークンｔｃ　　ｔｌ（Ａ）によって表された事例を適用
する（２５８）、もちろん、１つの重複トークンだけが
終端ノード１６２内に記憶されていれば、衝突は存在し
ないので、プロセッサ／コントローラ４６はそのトーク
ンによって表された規則の事例を単に適用する。

規則事例の適用によって、より多くのデータが推論エン
ジン３４から発生または得られると（２６０）、プロセ
ッサ／コントローラ４６は新しいデータ要素の各々毎に
ステップ（２２０）から始まる推論プロセスを繰り返す
、新しいデータが全く発生または得られなければ、動作
が完了する（２５６）。

テストＴｌを合格した個々のデータトークン（例えばデ
ータ要素ＡとＣ用のトークン）に割り当てられた行によ
ってメモリテーブル２００を指標付けすることの重要さ
は、結合ノード１５６ａ−１５６ｄの１つ以上がデータ
要素に対するテストを、左側メモリ５２内のトークンと
右側メモリ５４内のトークンとのマツチング条件として
識別するきに明らかとなろう０例えば、結合ノード１５
６ｃが左側メモリ５２内のトークンと右側メモリ５４内
のトークン間での論理積（ＡＮＤ）関数を識別する他、
マツチング発生のためには左側メモリ内のトークンに係
わるデータ要素が右側メモリ内のトークンに係わるデー
タ要素の値より大きい値を持たねばならないことを指定
するテストを（第６図のフィールド８４を介して）識別
する場合を考える。さらに、データ要素Ａがデータ要素
Ｂ以下で、データ要素Ｃがデータ要素Ｂより大きいもの
とする。

この場合、プロセッサ／コントローラ４６は結合ノード
１５６Ｃにおいてトークンｊ＋（Ａ）とｔ４（Ｂ）間で
のマツチングを見い出せないが、トークンｔｔ（Ｃ）と
ｔａ　（Ｂ）間でのマツチングは認められる。トークン
ｔ＋（Ａ）　、＊（Ｂ）にそれぞれ割り当てられた行２
０４ａ、２０４ｂ間で指標付けられたメモリテーブル２
００により、プロセッサ／コントローラ４６は複合トー
クンｔａ（ｎ）−ｔｌ（Ｃ）を（リレーノード１５８ｃ
を介して）、行２０４ａの代わりに行２０４ｂへ正しく
送ることができる。これは、満たされている規則５の左
側の事例がデータ要素Ａによってでなく、データ要素Ｃ
によって生じたものであることを正しく示している。

ＲＥＴＢネフト１５０は、テスト機能２１０の適切なテ
スト（第１９図、フィールドエ９２）とテスト引数（フ
ィールド１９３）を識別することによって、広範囲のメ
タテストを表すことができる。

例えば、再び第１０図を参照すると、“ＯＲ”の規則４
をＲＥＴＥネット１５０で実施することもできる。テス
ト引数（第１９図、フィールド１９３）は、簡単に１に
設定される。つまり、テスト機能２１０の実行はメモリ
テーブル２００のある行２０２ａ−２０２ｎについて、
１つの複合追加トークンが該当の行内に記憶され、その
行のＴ／Ｆ状態を変更する度に、複合トークンが終端ノ
ード１６２の送られるようにする。

また第１４図を参照すると、ＲＥＴＥネット１５０は“
多くとも２”の規則６の左側を表すこともできる。テス
トポインタ（フィールド１９２）とテスト引数（フィー
ルド１９３）は、メモリテーブル２００のある行につい
て、０．１または２個の複合トークンが列２０２ａ−２
０２ｄ内に存在する場合にテスト機能２１０が満たされ
るように選定される。一方、ある行について３つ以上の
複合トークンがその行に記憶されている場合、トークン
は終端ノード１６２に送られない。

かかる方式を用いて、ＲＥＴＥネット１５０は例えば、
Ｘより多いがＹより少ないテストが合格したかの判定、
あるいはＸと７間のテストが合格したかの判定など、任
意の数のテストの上記以外の多くの組合せを実施可能で
ある。さらに別の例として、奇数または複数のテストが
合格したかどうか、あるいはテストの特定の組合せ（す
なわち第１．３及び４テストなど）が合格したかどうか
のチエツクもある。

再び第１６図を参照すると、ＲＥＴＥネット１５０は、
（規則４−６のＴ１のように、テストＴ２Ｔ５のメタテ
ストと共に合格しなければならないテストなど）指標付
はテストを含まない規則の左側を表すこともできる。例
えば、テストＴ２、Ｔ３、Ｔ４またはＴ５のうち任意の
２つが合格したら、単純に満たされる左側を有する規則
５′を考えて見る。コンパイラ３２（第１図）は、その
ような指標付けされないメタテストを認識し、カウンタ
ノード１６０にトークンを与える特別のテストノード（
１５４ａ）を生成する。コンパイラ３２はテストノード
１５４ｂ−１５４ｅをそれぞれテストＴ２−Ｔ５につい
て確立し、ＲＥＴＩ！ネット１５０の残りを第１６図に
示すように構成する。

またコンパイラ３２は、１つだけの許容値を有し、ノー
ド１５４ａの特別テストだけを合格可能な特別のデータ
要素も生成する。特別なテストノード及びデータ要素の
生成は、プログラマ（すなわち非指標付はメタテスト規
則の筆者）には見えない。

動作が始まると、プロセッサ／コントローラ４６は特別
なデータ要素に係わるトークンをＲＥＴＥネット１５０
に送り、特別なデータ要素は特別なテストノード１５４
ａだけを合格する。これによってカウンタノード１６０
はメモリテーブル２００内に、ノード１５４ａからのト
ークンに割り当てられた行を形成する。特別トークンは
各テストノード１５４ａ−１５４ｅからのいずれのトー
クンとも結合ノード１５６ａ−１５６ｄでマツチングし
、特別トークンを識別する複合トークンがリレーノード
１５８ａ−１５８ｄに送られる。リレーノード１５８ａ
−１５８ｄからの複合トークンは、カウンタノード１６
０からの特別トークンによって識別されたメモリテーブ
ル２００内の行に属する列２０２ａ−２０２ｄ　（第２
０図）内に入れられる。プロセッサ／コントローラ４６
はその行について、前述したのと同様にテスト機能２１
０を実施する。

再び第１図を参照すると、エキスパートシステム１０の
動作中しばしば、利用可能な全てのデータ要素５６がＲ
ＥＴＢネット３６に与えられた後でも、ＲＥＴＥネット
３６で表されている規則のいずれの左側も満たされず、
従ってどの規則も適用されないことがある。その一つの
可能性は、データの定義１４中の１つ以上の項類につい
て全てデータ値が得られないこと（すなわちそのような
各項類毎のデータが失われていること）がある０本発明
の別の特徴によれば、必要に応じて、失われているデ−
夕に対応したデータ定義の項類を効率的に確認可能とす
る機構が提供される。

第２２図を参照すれば、エキスパートシステムプログラ
ム１２のデータの定義１４は、１つ以上のデータ項類（
例えば姓名、年齢、身長、体重）を含み、各項類毎の初
期のデータ値、及びデータが持つことを許容される一組
の値を有する。例えば、身長は始め“Ｙ”に設定され、
１００までの値を取り得るようにされる。本発明では、
要求に応じてデータ収集が行われるデータ定義の項類（
例えば“年齢”）が選定され、初期値は“く不問（ｕｎ
ａｓｋｅｄ）　＞”として割り当てられる。エキスパー
トシステムプログラム１２の実行中、許容された値を持
つデータ要求が〈不問〉のデータ定義について得られる
と、もちろんその頃類のデータは“失われて”いないの
で、最初のく不問〉値はその得られた許容値によって書
き換えられる。

第２３及び２４図を参照すると、コンパイラ３２はく不
問〉のデータ定義を処理するテストを認識し、これらの
テストを、テストの主機能が機能しない場合はく不問〉
値についてテストを行うように構成する。例えば、規則
７（第２３図）の左側２７０は、年齢（ａｇｅ）　＝　
７であるかどうかをチエツクするテストＴ１と、身長が
６０より小さいかどうかをテストするテストＴ２を含む
。本発明では、コンパイラ３２が左側２７０を、規則７
′の左側２７０’　　（第２４図）であるかのように翻
訳し、規則７′のテストＴｌ’では、年齢の値が７に等
しくないと、年齢が値〈不問〉を有するかどうかを尋ね
る。そうであれば、テストＴｌ’は合格する。身長はく
不問〉のデータ定義でないので、テストＴ２は変わらな
い。

従って、年齢に関するデータがプロセッサ／コントロー
ラ４６から得られなかった場合であっても、年齢は初期
のく不問〉値に等しいので、左側２７０′のうちＴＩ’
を処理する部分は満たされる。しかし、年齢が７に等し
くない何等かの値（例えば６）を持つように、何等かの
データが年齢について得られると、〈不問〉が値“６”
で書き換えられるため、テストＴｌ’は不合格となる。

左側２７０′のうちＴ２を処理する部分は、身長が６０
より小さくなければ満たされない。

またコンパイラ３２は規則７の処理リスト２７１（第２
３図）も、年齢のデータが失われているために規則７が
合格したら、後で詳しく述べるように、規則を適用する
代わりにプロセッサ／コントローラ４６によって年齢用
のデータ収集シーケンスを開始させる処理リスト２７１
’へと変更する。

第２５図を参照すれば、プロセッサ／コントローラ４６
は原始及び複合両トークンのデータ構造２８０を変えて
、〈不問〉の初期値を有するデータ定義についてデータ
が失われているために合格した各トークンに係わるテス
トの回数を追跡するようにする。すなわち、全ての原始
及び複合トークンの衝突解消フィールド２８１に、デー
タが失われているにも拘らずく不問〉のデータ定義であ
るために合格したテストの回数を追跡するカウンタ２８
２が付は加えられる。原始及び複合トークンのデータ構
造２８０の残りのフィールド２８３は、そのままである
。

〈不問〉のデータ定義をチエツクするため規則の左側に
対しコンパイラ３２によってなされた変更、及びカウン
タ２８２を含めるためプロセッサ／コントローラ４６に
よってトークンのデータ構造に加えられた改変は、プロ
グラマには全く見えない。

第２６図を参照すれば、規則７′の左側２７０′がＲＥ
ＴＢネット２９０によって表されており、原始トークン
ｔがプロセッサ／コントローラ４６により開始ノード２
９２から、それぞれテストＴｌ’とＴ２を識別する一対
のテストノード２９４ａ、２９４ｂに送られる。データ
要素がテストＴＩ’とＴ２を合格すると、プロセッサ／
コントローラ４６は原始トークン１．．１．を、結合ノ
ード２９６の左側メモリと右側メモリにそれぞれ送る。

プロセッサ／コントローラ４６は、結合ノードで左右メ
モリ内の原始トークン間におけるマツチングをチエツク
し、成功したマツチングを表す複合トークン１．−１．
を終端ノード２９８に送る。

プロセッサ／コントローラ４６は各原始トークンｔをＲ
ＥＴＥネフト２９０に与え、同ネットのく不問〉カウン
タ２８２はゼロに初期設定されている。

プロセッサ／コントローラ４６は、〈不問〉値に関する
テストが行われ合格した場合にのみ、テストノード２９
４ａにおける原始トークンｔの〈不問〉カウントをイン
クレメントする。

〈不問〉カウンタ２８２がインクレメントされる量は、
テストされ且つ〈不問〉値を有するトークンｔによって
表されたデータ要素５６内におけるデータ定義の数に依
存する。例えば、トークン【によって表されたデータ要
素がテストノード２９４ａでテストされ（且つ合格して
）く不問〉値を有する１つのデータ定義だけを含む場合
、トークンｔのく不問〉カウンタ２８２はｌだけインク
レメントされる。一方、データ要素がテストノード２９
４ａで全てテストされる４つのデータ定義（例えば年齢
、身長、体重及び性別）を含み、データ要素自体が〈不
問〉値に設定されている場合、プロセッサ／コントロー
ラ４６はそのデータ要素を表すトークンｔの〈不問〉カ
ウンタ２８２を、結合ノード２９６にトークンを送ると
き４だけインクレメントする。

結合ノード２９６によって生成される複合トークン１．
−１．における〈不問〉カウンタ２８２の内容は、マツ
チングして複合トークンを形成した両トークン１．，１
．におけるく不問〉カウンタ２８２の内容の和である。

第２７図を参照すれば、動作時、１つ以上のデータ定義
（例えば第２２図の“年齢”）に値く不問〉が予め割り
当てられると（３００）、プロセッサ／コントローラ４
６は新しい各データ要素５６を作業メモリ５４内にいれ
、各データ要素についてのトークンｔを生成する（３０
２）。次いでプロセッサ／コントローラ４６は、トーク
ンｔをテストノード２９２ａに送り、新しいデータ要素
の値が年齢＝７のテストに合格するかどうかをチエツク
する（３０４）。合格すれば、トークン１、がプロセッ
サ／コントローラ４６によって、結合ノード２９６の左
側メモリに送られる（３０６）。

新しいデータ要素の値が年齢＝７のテストに合格しない
と、プロセッサ／コントローラ４６は、データ定義“年
齢°の値がく不問シに等しいかどうかをチエツクする（
３０８）。年齢について全くデータが得られていないと
すれば、データ定義の値はく不問〉に等しく、テス）Ｔ
Ｉ’を満たす（３１０）　、　　トークンＬｌが結合ノ
ード２９６へ送られる前に、プロセッサ／コントローラ
４６はトークン１．の〈不問〉カウンタ２８２をカウン
ト“１”にインクレメントする（３１２）。

結合ノード２９６において、プロセッサ／コントローラ
４６は、左側メモリ　（ＬＭ）５２内の新しいトークン
１．と現在右側メモリ　（ＲＭ）内に存在するトークン
１ｔとの間に、１つ以上のマツチングが存在するかどう
かをチエツクする（３１４）。

存在すれば、プロセッサ／コントローラ４６は複合トー
クン、つまりトークン１ｔ−１，を発生し、その各々は
く不問〉カウンタ２８２内に、マツチングした原始トー
クンｔ３、ｔ８の両〈不問〉カウンタ２８２の合計に等
しいく不問〉カウントを有する（３１６）。その後、新
しい各複合トークンはプロセッサ／コントローラ４６に
よって、終端ノード２９８に送られる（３１８）　。

尚、結合ノードが理論積（ＡＮＤ）以外の関数機能（例
えばＮＯＴ関数、あるいは−例として、１つのトークン
に係わるデータ要素の値が別のトークンに係わるデータ
要素の値より大きいかどうかのテストなど）を表す場合
も、結合ノードにおける関数機能が幾分変更される。つ
まり、テスト機能（例えば“より大きい”のテスト）は
、〈不問〉であると共に、それについてデータが失われ
ているデータの定義を含むときに、テストが合格である
ことを指示するように変更される。同じくＮＯＴ関数は
、ＮＯＴ関数を適用したとき、ゼロでないく不問〉カウ
ントを存するトークンを無視するように変えられる。こ
れにより、データの定義かく不問〉であるだけのために
、ＮＯＴ関数によって障害が不用意に指示されることを
防止する。

再び第２７図を参照すると、トークンｔはテストノード
２９４ｂにも送られ、テストＴ２（すなわち身長く６０
）が関連のデータ要素に対して行われる（３２０）、い
ま新しいデータ要素は、Ｔ２を通過する（但しＴ１は通
過しなかった）ものとする、プロセッサ／コントローラ
４６は、トークンｔ２を結合ノード２９６の右側メモリ
（Ｒ？ｌ）に送る（３２２）、テストＴ２を通過しなか
ったら、身長はく不問〉でない（３２４）ので、次のデ
ータ要素が存在すれば（３３６）、次のステップでそれ
をＲＯＴＥネソ）２９０に与える。（但し身長かく不問
〉であれば、テストが合格しく３２６）、トークンｔ□
のく不問〉カウントがゼロからインクレメントされる（
３２Ｂ））。

プロセッサ／コントローラ４６は、（規則７′の左側２
７１′に従って）論理積（ＡＮＤ）関数を実施し、新し
いトークンｔ２と現在結合ノード２９６の左側メモリ　
（ＬＭ）内に存在するトークンｔ１間でのマツチングを
チエツクする（３３０）。

この例では、年齢が〈不問〉である（３３２）結果とし
てトークンｔ、が結合ノード２９６に送られている（３
０６）ため、マツチングが見つかり、プロセッサ／コン
トローラ４６はく不問〉カウンタ２８２内に“ｌ”の値
を有する複合トークンｔ！−１，を発生する。新しい複
合トークン１．−１゜は、プロセッサ／コントローラ４
６によって終端ノード２９８内に記憶される（３３４）
。

さらに別の新しいデータ要素が存在すれば（３３６）、
それらは前述したのと同様、プロセッサ／コントローラ
４６によって１回に１つづつ得られ、ＲＥＴＥネット２
９０に与えられる。新しい全てのデータがＲＥＴＥネッ
トに与えられたところで、プロセッサ／コントローラ４
６は複合トークンが存在するかどうか、ＲＥＴＢネット
内の全ての終端ノード（例えばノード２９８）をチエツ
クする（３３８）。何にも見つからなければ、どの左側
も満たされていないので、処理は終了する（３４０）。

一方、（１つの終端ノード内か複数の終端ノード内で）
１より多い複合トークンが見づかると（３４２）、プロ
セッサ／コントローラ４６は複合トークン間での衝突解
消を行い、処理を進めるべき１つの複合トークンを得る
（３４４）。但Ｌ、１つの複合トークンだけが終端ノー
ドで見っがった場合、衝突の解消は必要ない。

第２８図を参照すれば、複合トークンに関する衝突の解
消（３４４）は、複合トークンの〈不問〉カウント２８
２によって決まる優先順序で行われる。０のく不問〉カ
ウントを持つトークン（３４４ａ）の方が、１のく不問
〉カウントのトークン（３４４ｂ）より高い優先順位を
有し、さらに後者は２のく不問〉カウントを持つトーク
ン（３４４ｃ）より高い優先順位を有する。つまり、い
ずれかの規則の左側に含まれたテストの最高数に対応し
た最大限のく不問〉カウント（すなわちＮ）を持つ複合
トークンが、最も低い優先順位となる（３４４ｎ＞。

この結果、データが失われている極わずかな数のく不問
〉のデータ定義に係わる複合トークンに対して、通常の
衝突解消手順が施される（３４５）。

従って、〈不問〉のデータ定義に幀ることなく満たされ
た左側を有する規則が、１つ以上のく不問〉のデータ定
義についてデータ値が失われているために満たされた左
側を有する規則と不用意に取り替えられることがない。

第２７図に戻ると、衝突解消手順によって選ばれた複合
トークンがゼロのく不問〉カウントを有すると（３４６
）、プロセッサ／コントローラ４６は、その複合トーク
ンを含む終端ノードに係わる左側を持った規則の事例を
適用する（３４８）。

なぜなら複合トークンは、該当規則の左側が作業メモリ
５４内に記憶されたデータ要素５６の実際値によって満
たされている事例を表しているからである。すなわち、
規則の左側におけるテストの中で、１つ以上のく不問〉
のデータ定義についてデータが失われている結果合格し
なかったものはない、規則の適用から新しいデータが発
生されると（３５０）、そのデータは前記したのと同様
に得られ、ＲＥ！ＴＥネット２９０に与えられる０発生
されなければ、手順は終了される（３４０）。

しかし、衝突解消（３４４）によって選ばれた複合トー
クンが１以上のく不問〉カウントを有すると、その複合
トークンに係わる規則は適用されない、なぜなら、トー
クンに係わる１つ以上のデータ要素が失われているから
である。従って、規則の左側が満たされていても、１つ
以上のデータ部分が失われているため、その規則の適用
準備は整わない。

また第９図を参照すると、プロセッサ／コントローラ４
６は、複合トークンのフィールド１１２内のポインタを
辿り、複合トークンが形成された原始トークンのアドレ
ス１０１へと遡ることによって、データが失われている
１つ以上のく不問〉のデータ定義を識別する。そこで、
１の値を含む〈不問〉カウントを有するリスト中の最初
の原始トークンが選ばれる。その原始トークンのフィー
ルド１０２（第８図）におけるポインタが、（値く不問
〉を有する）当該データ要素の作業メモリロケーション
まで追跡され、その原始トークンを生じるためにテスト
されたく不問〉のデータ定義がそこから識別される（３
５２）。

データ要素は１より多いデータの定義を含み得るので、
１より多いデータの定義が〈不問〉値を持つことがあり
、この場合にはく不問〉値を有するデータ要素内の最初
のデータ定義が識別される。

データ要素自体が〈不問〉値に設定されている場合にも
、データ要素内の最初のデータ定義が識別される。

く不問〉のデータ定義が識別されれば、その定義に関す
る失われたデータは多数くの方法で得られる（３５４）
、例えば、プロセッサ／コントローラ４６は、単にユー
ザに対してデータの定義を識別提示し、ユーザが失われ
たデータを入力するのを待っていてもよい。あるいはプ
ロセッサ／コントローラ４６は、失われたデータを演算
するその他のプログラム１８（第１図）の１つを実行し
てもよい。

失われたデータが得られると、プロセッサ／コントロー
ラ４６はそれを１つ以上のデータ要素として作業メモリ
５４内にロードし、そのデータ要素に関する新しい原始
追加トークンが生成される（３０２）、また、データ定
義の前の値く不問〉に関する削除トークンがＲＥＴＥネ
ット１９０に与えられた後、得られたデータ値を表す追
加トークンが生成される。

上記以外の実施例も、特許請求の範囲内に含まれる０例
えば、第１６．２０及び２１図において、メモリテーブ
ル２００は原始トークンによる代わりに、（カウンタノ
ード１６０を介して）複合トークンによって指標付けす
ることもできる。

【図面の簡単な説明】

第１図はエキスパートシステムの機能ブロック図、第２
図は第１図のシステムで使われる規則を表す図、第３図
は第２図の規則を表す網状ネット（すなわちＲＩＴＥネ
ット）の図、第４図はＲ１１！ＴＥネツト内の第１種類
のノードのデータ構造図、第５図はＲＥＴＥネット内の
第２種類のノードのデータ構造図、第６図はＲＥＴＥネ
ット内の第３種類のノードのデータ構造図、第７図はＲ
ＥＴＨネット内の第４種類のノードのデータ構造図、第
８図はＲＥＴＥネットで使われる原始トークンのデータ
構造図、第９図はＲＥＴＥネットで使われる複合トーク
ンのデータ構造図、第１０図は“ＯＲ”規則の図、第１
１図は第１Ｏ図の“ＯＲ”規則用の従来のＲｆ！Ｔｔ！
ネットの図、第１２図は“少なくとも（ａｔ　１ｅａｓ
ｔ）”の規則の図、第１３図は第１２図の１少なくとも
”の規則用の従来のＲＥＴＥネットの図、第１４図は“
多（とも（ａｔ　ｍｏｓｔ）　”の規則の図、第１５図
は第１４図の“多くとも”の規則用の従来のＲｆ！７Ｂ
ネットの図、第１６図は本発明の一特徴による第１Ｏ１
１２及び１４図の各規則用のＲＢＴＥネット図、第１７
図は第１６図のＲＥＴＥネット内における１つのノード
のデータ構造図、第１８図は第１６図のＲＥＴＥネット
内における別のノードのデータ構造図、第１９図は第１
７及び１８図のノードによって共有される情報のデータ
構造図、第２０図は第１６図のＲＯＴＥネットの動作を
理解するのに有用な図、第２１図は第１６図のＲＥＴＨ
ネットの動作を示すフローチャート、第２２図はデータ
定義の図、第２３図は代表規則の図、第２４図は本発明
の別の特徴に従って変更された第２３図の規則の図、第
２５図は本発明の別の特徴に従って変更された原始及び
複合トークンのデータ構造の図、第２６図は第２３及び
２４図の規則用のＲＥＴＥネットの図、第２７及び２８
図は本発明の別の特徴での動作を理解するのに有用なフ
ローチャートである。 ２０・・・・・・規則、２２・・・・・・テスト、４６
・・・・・・プロセッサ／コントローラ、５６・・・・
・・データ要素、１５０．１７０，２９０・・・・・・
ネットワーク（綱状（ＲＯＴＥ）ネット）、１５２．２
９２・・・・・・開始ノード、１５４　ａ−ｄ、　　２
９４　ａＳｂ−・−・・テストノード、１５６ａ−ｄ、
２９６・・・・・・結合ノード、１５８ａ−ｄ・・・・
・・リレーノード、１６０・・・・・・カウンタノード
、１６２・・・・・・終端ノード、２００・・・・・・
記憶装置（共有トークンメモリテーブル）、２１０・・
・・・・アナライザ（テスト機能）、２８２・・・・・
・トークン内のく不問〉カウンタ。 日Ｇ、２ ＦＩＧ、　１ 瑚暖貝り４： （Ｔｌ）ＡＮＤ叶２）ＯＲ（Ｔ３）Ｏ，Ｒ（Ｔ４）　　
０Ｒ（Ｔ５コ　呻処ｆｆ１ｌＪユ、４１　　１　　１　
　　ｔ　　　＼　　−＼、　　＼　　＼ＦＩＧ、　１０ ＦＩＧ、ｌ２ ＦＩＧ、ＩＩ 処置リスト５） ＦＩＧ、　＋９ 匡 手続補正書 特許庁長官　吉　１）文　毅　殿 １、事件の表示 平成１年特許願第２７５７６８号 ３、補正をする者 事件との関係

Claims (1)

1. 【特許請求の範囲】 １、条件からなる表現を評価するネットワークで、該評
   価がネットワークに与えられるデータ要素の値に基づい
   てなされ、前記条件がノードによって表され、前記表現
   における条件間での関係が前記ノード間のリンクによっ
   て表されるようなネットワークにおいて、 前記ノードの少なくとも一部によって表された条件のう
   ちどれが、前記データ要素の値によって満たされている
   かを識別する情報を保持する記憶装置、及び 前記表現を評価するベースとして、前記記憶された情報
   を前記表現に基づいてテストするアナライザを備えたネ
   ットワーク。 ２、前記記憶装置が、前記一部のノードのロケーション
   と異なる、前記情報に割り当てられた別個のロケーショ
   ンを備え、さらに 前記一部のノードの各１つからの前記情報を、該ノード
   に割り当てられたロケーションに入力する手段を備えた
   請求項１記載のネットワーク。 ３、前記表現中における前記条件の所定数が満たされた
   とき、前記表現が満たされる場合に使用され、さらに 前記アナライザが前記情報で占められたロケーションの
   数をカウントし、前記表現中における幾つの条件が満た
   されているかを判定する請求項２記載のネットワーク。 ４、前記表現が一ノードによって表された標識付け条件
   を含み、さらに 前記標識付け条件ノードからの情報に基づいて前記記憶
   装置内のロケーションをグループ分けする手段で、該グ
   ループの各１つが前記標識付け条件を満たす１つ以上の
   前記データ要素と対応している手段を備えた請求項２記
   載のネットワーク。 ５、前記一部のノードからの前記情報が、前記標識付け
   条件を満たすデータ要素を識別し、さらに 前記入力手段が前記一部のノードからの前記情報を、前
   記識別されたデータ要素に対応するグループのロケーシ
   ョンに入力する請求項４記載のネットワーク。 ６、前記表現中における前記条件の所定数が満たされた
   とき、前記表現が満たされ、さらに 前記アナライザが前記情報で占められた各グループにお
   けるロケーションの数をカウントし、前記表現が満たさ
   れているかどうかを判定する請求項４記載のネットワー
   ク。 ７、前記グループが前記表現の満たされていることを示
   す占有ロケーションのカウントを現在有しているかどう
   かを、前記アナライザがモニターする請求項６記載のネ
   ットワーク。 ８、前記情報の新しいエントリが前記グループに加えら
   れる毎に、前記アナライザがグループ内の前記占有ロケ
   ーションをカウントする請求項７記載のネットワーク。 ９、前記情報の新しいエントリによって、前記表現の満
   たされることを示す占有ロケーションのカウントをそれ
   まで有していなかったグループが、前記表現の満たされ
   ることを示す占有ロケーションのカウントを有するよう
   になったとき、前記表現が満たされたことの指示を前記
   アナライザが生じる請求項８記載のネットワーク。 １０、前記情報の新しいエントリが前記グループに加え
   られたとき、前記グループが前記表現を満たす占有ロケ
   ーションのカウントをすでに有している場合、前記アナ
   ライザが前記指示を生じない請求項９記載のネットワー
   ク。 １１、前記一部のノードが、前記記憶装置内における対
   応した前記占有ロケーションから前記情報を削除させ、
   さらに 前記情報が前記グループ内のロケーションから削除され
   る毎に、前記アナライザがグループ内の占有ロケーショ
   ンをカウントする請求項６記載のネットワーク。 １２、前記情報の削除によって、前記表現を満たす占有
   ロケーションのカウントを前に有していたグループが、
   前記表現を満たさない占有ロケーションのカウントを有
   するようになったとき、前記表現が満たされないことの
   指示を前記アナライザが生じる請求項１１記載のネット
   ワーク。 １３、前記ネットワークが判別ネットである請求項１記
   載のネットワーク。 １４、前記判別ネットが網状ネットである請求項１３記
   載のネットワーク。 １５、前記一部のノードによって表された前記条件のい
   ずれか１つが満たされたとき、前記表現が満たされてい
   ると前記アナライザが判定する請求項１記載のネットワ
   ーク。 １６、前記一部のノードによって表された前記条件の少
   なくとも所定数が満たされたとき、前記表現が満たされ
   ていると前記アナライザが判定する請求項１記載のネッ
   トワーク。 １７、前記一部のノードによって表された前記条件の多
   くとも所定数が満たされたとき、前記表現が満たされて
   いると前記アナライザが判定する請求項１記載のネット
   ワーク。 １８、条件からなる表現を評価する方法で、該評価がネ
   ットワークに与えられるデータ要素の値に基づいてなさ
   れ、前記条件がノードによって表され、前記表現におけ
   る条件間での関係が前記ノード間のリンクによって表さ
   れるようなネットワークであるものにおいて、 前記ノードの少なくとも一部によって表された条件のう
   ちどれが、前記データ要素の値によって満たされている
   かを識別する情報を記憶すること、及び 前記表現を評価するベースとして、前記記憶された情報
   を前記表現に基づいてテストすることを含む方法。 １９、前記情報が、前記一部のノードのロケーションと
   異なる、前記情報に割り当てられた別個のロケーション
   内に記憶され、さらに 前記一部のノードの各１つからの前記情報を、該ノード
   に割り当てられたロケーションに入力することを含む請
   求項１８記載の方法。 ２０、前記表現中における前記条件の所定数が満たされ
   たとき、前記表現が満たされ、さらに 前記テストが前記情報で占められたロケーションの数を
   カウントし、前記表現中における幾つの条件が満たされ
   ているかを判定することを含む請求項１９記載の方法。 ２１、前記表現が一ノードによって表された標識付け条
   件を含み、さらに 前記標識付け条件ノードからの情報に基づいて記憶装置
   内のロケーションをグループ分けし、該グループの各１
   つが前記標識付け条件を満たす１つ以上の前記データ要
   素と対応するようになすことを含む請求項１９記載の方
   法。 ２２、前記一部のノードからの前記情報が、前記標識付
   け条件を満たすデータ要素を識別し、さらに 前記一部のノードからの前記情報が、前記識別されたデ
   ータ要素に対応するグループのロケーションに入力され
   る請求項２１記載の方法。 ２３、前記表現中における前記条件の所定数が満たされ
   たとき、前記表現が満たされ、さらに 前記テストが前記情報で占められた各グループ内におけ
   るロケーションの数をカウントし、前記表現が満たされ
   ているかどうかを判定する請求項２２記載の方法。 ２４、前記グループが前記表現の満たされていることを
   示す占有ロケーションのカウントを現在有しているかど
   うかを、前記テストがモニターする請求項２３記載の方
   法。 ２５、前記情報の新しいエントリが前記グループに加え
   られる毎に、前記テストがグループ内の前記占有ロケー
   ションをカウントする請求項２３記載の方法。 ２６、前記情報の新しいエントリによって、前記表現の
   満たされることを示す占有ロケーションのカウントをそ
   れまで有していなかったグループが、前記表現の満たさ
   れることを示す占有ロケーションのカウントを有するよ
   うになったとき、前記表現が満たされたことの指示を生
   じることをさらに含む請求項２５記載の方法。 ２７、前記情報の新しいエントリが前記グループに加え
   られたとき、前記グループが前記表現を満たす占有ロケ
   ーションのカウントをすでに有している場合、前記指示
   を生じさせないことをさらに含む請求項２６記載の方法
   。 ２８、前記一部のノードが、前記装置内における対応し
   た前記占有ロケーションから前記情報を削除させ、さら
   に 前記情報が前記グループ内のロケーションから削除され
   る毎に、前記テストがグループ内の占有ロケーションを
   カウントする請求項２３記載の方法。 ２９、前記情報の削除によって、前記表現を満たす占有
   ロケーションのカウントを前に有していたグループが、
   前記表現を満たさない占有ロケーションのカウントを有
   するようになったとき、前記表現が満たされないことの
   指示を生じることをさらに含む請求項２８記載の方法。 ３０、データの項類に属するデータの可能値に関連した
   条件からなる表現を評価する方法で、該評価がネットワ
   ークに与えられるデータの実際値に基づいてなされ、前
   記条件がノードによって表されるようなネットワークで
   あるものにおいて、 前記データのうち、項類の値を必要とする条件が仮に満
   たされるために、値がネットワーク内に生じることを必
   要としない項類を識別すること、及び 前記条件を表すノードによって、前記項類の値が前記ネ
   ットワーク内で生じないときでも、前記条件が仮に満た
   されることを指示させることを含む方法。 ３１、前記データの項類が所定値を前記項類に割り当て
   ることによって識別され、前記項類に属する値が前記ネ
   ットワーク内に生じるまで、前記項類が前記所定値を維
   持する請求項３０記載の方法。 ３２、前記識別された項類の値をテストする条件を有す
   る前記各ノードが、前記条件が満たされないとき、前記
   項類が前記所定値を有しているかどうかをテストし、有
   していれば、前記条件が仮に満たされることを指示する
   請求項３１記載の方法。 ３３、前記ノードによって表された前記条件が満たされ
   るかまたは仮に満たされることを、前記ノードの所定の
   組合せが指示すれば、前記表現が満たされたものと見な
   され、さらに 前記条件の表現が満たされたら、仮に満たされると指示
   された前記条件の数を識別することを含む請求項３２記
   載の方法。 ３４、前記表現が規則と関連しており、さらに仮に満た
   されると指示された前記条件の数がゼロであれば、前記
   規則を適用することを含む請求項３３記載の方法。 ３５、前記表現が複数存在し、前記表現における前記条
   件が満たされるかまたは仮に満たされることを、前記ノ
   ードの所定の組合せが指示すれば、各表現が満たされた
   ものされ、さらに 前記満たされた表現毎に、仮に満たされると指示された
   前記条件の数を識別することを含む請求項３３記載の方
   法。 ３６、前記満たされた表現間における優先順位を、前記
   満たされた各表現毎の、仮に満たされると指示された前
   記条件の数に基づいて決めることをさらに含む請求項３
   ５記載の方法。 ３７、前記表現が各々規則と関連しており、さらに前記
   規則の１つを前記優先順位に基づいて選択することを含
   む請求項３６記載の方法。 ３８、当該規則に係わる前記満たされた表現について、
   仮に満たされると指示された前記条件の数がゼロに等し
   ければ、前記選択された規則を適用することをさらに含
   む請求項３７記載の方法。 ３９、当該規則に係わる前記満たされた表現について、
   仮に満たされると指示された前記条件の数がゼロより大
   きければ、前記ネットワーク中で値が生じなかったデー
   タの前記識別された項類を選択し、該選択されたデータ
   の項類に関する値を得ることをさらに含む請求項３７記
   載の方法。 ４０、データの項類に属するデータの可能値に関連した
   条件からなる表現を評価する方法で、該評価がネットワ
   ークに与えられるデータの実際値に基づいてなされ、前
   記条件がノードによって表されるようなネットワークで
   あるものにおいて、 前記データのうち、項類の値を必要とする条件が仮に満
   たされるために、値がネットワーク内に生じることを必
   要としない項類を識別する情報用の記憶装置、及び 前記条件を表すノードによって、前記項類の値が前記ネ
   ットワーク内で生じないときでも、前記条件が仮に満た
   されることを指示させる手段を備えたネットワーク。