JPH07295818A

JPH07295818A - ルール処理装置

Info

Publication number: JPH07295818A
Application number: JP6088579A
Authority: JP
Inventors: Yuriko Nomura; 百合子野村
Original assignee: NEC Corp
Current assignee: NEC Corp
Priority date: 1994-04-26
Filing date: 1994-04-26
Publication date: 1995-11-10

Abstract

(57)【要約】【構成】ルール記憶１部１１と、ＷＭ記憶部９と、競
合集合記憶１部８と、ルールのＩＦ部と入力ＷＭ要素と
の照合を行ないＷＭ記憶部への参照、書き込みを行なう
条件評価１部６と、ＷＭの要素とルールが照合に成功す
るかどうかを判定し候補トークンを競合集合記憶１部に
格納する評価１部３と、評価関数を格納する戦略記憶１
部１２と、候補トークン記憶１部１０と、評価関数を計
算し評価値を得る戦略計算１部１２と、最も高い評価値
を持つ候補トークンをトークン記憶１部に格納する競合
解消１部４と、ルールのＴＨＥＮ部を実行しＷＭへの参
照と書き込みを行う実行１部５から構成される。【効果】きめこまかい評価関数を競合解消基準として
用いることのできるルール処理装置が提供できる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は前向き推論用ルールベー
スシステムのルール処理装置に関する。

【０００２】

【従来の技術】従来型の前向き推論ルールベースシステ
ムは、ルールベースとルール処理装置とワーキングメモ
リ（ＷＭ）からなる。ルールベースにはルール形式で記
述された知識が格納される。ＷＭにはオブジェクト形式
で記述された知識が格納される。ルールはＩＦ部とＴＨ
ＥＮ部からなる。ルール処理装置はＷＭの内容がルール
のＩＦ部を満たしていればＴＨＥＮ部を実行してＷＭの
内容を書き換える。ルールのＩＦ部ではＷＭを書き換え
てはならない。

【０００３】従来型の前向き推論用ルール処理装置を、
図３の従来型装置の構成例と、図４の処理フローを用い
て説明する。

【０００４】ルール記憶部３６にはルール群が格納され
る。戦略記憶部３７には使用する戦略が格納される。Ｗ
Ｍ記憶部３４には、中央処理装置から制御部を介して入
力されるワーキングメモリ（ＷＭ）要素群を格納する。
図１５はＷＭ記憶部に格納される要素の記述例である。
１５０〜１５２行はクラスオブジェクト要素の定義例で
ある。１５０行ではオブジェクト名が「さる」であるこ
とを定めている。１５１行ではこのオブジェクトが配下
にインスタンスオブジェクトを持つことができるような
クラスオブジェクトであることを宣言している。１５２
行ではオブジェクト「さる」はオブジェクト「ｒｏｏ
ｔ」の輩下のオブジェクトであることを示している。１
５３行〜１５６行はインスタンスオブジェクト要素の定
義例である。１５３行ではオブジェクト名が「ＭＩＫ
Ｅ」であることを定めている。１５４行ではこのオブジ
ェクトが配下にインスタンスオブジェクトを持つことが
できないインスタンスオブジェクトであることを宣言し
ている。１５５行ではオブジェクト「ＭＩＫＥ」はオブ
ジェクト「さる」の配下のオブジェクトであることを示
している。１５６行はオブジェクト「ＭＩＫＥ」の属性
「しんちょう」は４０であるという、オブジェクト「Ｍ
ＩＫＥ」の具体的な内容を定めている。

【０００５】前向き推論用ルール処理装置は図４のフロ
ーのように動作する。ルール評価４１フェーズでは、評
価部３０がルール記憶部３６に格納されたルール群をＷ
Ｍ記憶部に格納されたＷＭ要素と照合し、照合に成功し
たルールとＷＭの要素の組み合わせを候補トークンとし
て競合集合記憶部３３に格納する。

【０００６】図７はルール記憶部に格納されるルールの
記述例である。７０行はルールの名前であり、ＲＵＬＥ
１と設定されている。７１行〜７３行がルールのＩＦ
部、７４行がルールのＴＨＥＮ部である。ルールのＩＦ
部は、前記条件評価部によって以下のように検査され
る。７１行「クラスオブジェクト「さる」の配下に存在
する任意のインスタンスオブジェクトをｍｏｎｋｅｙと
いう変数にバインドする。」という条件を検査する。ク
ラスオブジェクト「さる」の配下にインスタンスオブジ
ェクトが存在して７１行が成功したならば、７２行では
「変数ｍｏｎｋｅｙにバインドされたオブジェクトの属
性「しんちょう」の値は５０よりも小さいか？」という
条件を検査する。７２行が成功したならば、７３行は
「クラスオブジェクト「だい」の配下に存在する任意の
インスタンスオブジェクトをｓｔｏｏｌという変数にバ
インドする。」という条件を検査する。ルールＲＵＬＥ
１のＩＦ部が、クラスオブジェクト「さる」の配下のイ
ンスタンスオブジェクト「ＭＩＫＥ」とクラスオブジェ
クト「だい」の配下のインスタンスオブジェクト「ＣＨ
ＡＩＲ」との組み合わせで成功する場合には、ルールＲ
ＵＬＥ１とＷＭ要素群オブジェクト「ＭＩＫＥ」とオブ
ジェクト「ＣＨＡＩＲ」とが候補トークンとして競合集
合記憶部に追加される。

【０００７】競合集合記憶部に格納される候補トークン
の表現例を図１２に示す。候補トークンは、１２１行〜
１２２行のように表現される。１２１行では成功したル
ールであるＲＵＬＥ１を指定し、１２２行では成功した
際のＷＭの要素群である［オブジェクト：ＭＩＫＥオブ
ジェクト：ＣＨＡＩＲ］を格納している。競合解消４２
フェーズでは、競合解消部３１が戦略記憶部に格納され
た戦略に従って競合集合記憶部のなかから１つの候補ト
ークンを選んでトークン記憶部３５に格納する。

【０００８】競合解消戦略としては「最初に照合に成功
したルールを選択する」、「同一のルールとＷＭの要素
群とからなる候補トークンは二度と実行しない」、「条
件節の条件数の多い候補トークンを優先する」などがあ
って、ルール処理装置の組み込み機能として提供され
る。利用者は複数の競合解消戦略から１つを選択し、あ
らかじめ、競合戦略記憶部に格納しておく。

【０００９】実行４３フェーズでは、実行部３２がトー
クン記憶部３５に格納された候補トークンに含まれるル
ールのＴＨＥＮ部を同候補トークンに含まれるＷＭの要
素をデータとして実行する。競合解消部３１において、
図１２の候補トークンが選択されてトークン記憶部に格
納されたならば、実行部３２においてルールＲＵＬＥ１
のＴＨＥＮ部７４行が実行される。７４行では、変数＾
ｍｏｎｋｅｙに格納されたオブジェクトの属性「のる」
に、変数＾ｓｔｏｏｌにバインドされた値を格納する。
図１２の候補トークンが選択された場合には、オブジェ
クト：ＭＩＫＥの属性「のる」にオブジェクト：ＣＨＡ
ＩＲが格納される。このように実行フェーズ４３ではＷ
Ｍの内容が更新される。

【００１０】前向き推論処理は、前記ルール評価４１、
前記競合解消４２、前記実行４３の３処理フェーズから
なる推論サイクルを繰り返す。実行４３フェーズでルー
ルのＴＨＥＮ部が実行されると一般にＷＭの内容が更新
されて成功するルールおよびＷＭ要素がかわるため、推
論サイクルが継続して行なわれる。停止命令を含むルー
ルが実行されるあるいは適用できるルールがなくなった
ときに推論サイクルは終了する。

【００１１】

【発明が解決しようとする課題】本発明では、資源割当
問題を前向き推論ルールベースを用いて解く場合の問題
点を解消する。

【００１２】資源割当問題は線形計画法などの数学的な
従来手法で最適解を求めるのは問題が複雑で難しいた
め、専門家知識を持つルールベースシステムを用いて準
最適解を求める方式が注目されている。生産要求群や資
源などのデータはＷＭの内容として表現される。ルール
ベースシステムにおいて専門家の知識は一般にルールの
内容で表現されるが、資源割当問題でのルールの場合に
は、ＩＦ部は「生産要求がＷＭに存在し、かつその生産
要求に対して資源の割当が可能か」という条件しか存在
せず、ＴＨＥＮ部は「ＩＦ部を満足した生産要求に対し
て資源の割当を行なう」というＷＭの内容更新しか存在
しない。だが、これは資源割当問題には専門家知識が少
ないということではない。資源割当問題における専門家
知識はルールにではなく競合解消戦略の中に含まれる。
例えば「もっとも早い時刻に生産が終了する生産要求へ
の資源割当を優先する」というような競合解消戦略が良
い結果を得るために大切である。このような戦略はＷＭ
の内容の参照が可能でないと記述できない。しかしなが
ら、従来型のルール処理装置における競合解消戦略は、
あらかじめ与えられた汎用の戦略群から選択するように
なっており、資源割当問題をルール処理装置を用いて解
く場合に必要となるＷＭの中身にまで踏み込んだ戦略を
作成可能ではない。

【００１３】

【課題を解決するための手段】本発明の第１のルール処
理装置は、ルールを格納するルール記憶１部と、ワーキ
ングメモリ（ＷＭ）要素群を格納するＷＭ記憶部と、競
合集合を格納する競合集合記憶１部と、入力としてルー
ルとＷＭの要素を与えられて入力ルールのＩＦ部と入力
ＷＭ要素との照合を行なって照合に成功するかどうかを
判定し、前記ＷＭ記憶部への参照と書き込みを行なう条
件評価１部と、前記ＷＭ記憶部に格納されたＷＭの個々
の要素を前記ルール記憶１部に格納されたルールと組み
合わせて前記条件評価１部に与えてＷＭの要素とルール
が照合に成功するかどうかを判定し成功するような組み
合わせを候補トークンとして前記競合集合記憶１部に格
納する評価１部と、評価関数を格納する戦略記憶１部
と、候補トークンを格納する候補トークン記憶１部と、
入力として候補トークンを与えられて入力候補を引数と
して前記戦略記憶１部に格納された評価関数を計算して
評価値を得る戦略計算１部と、前記競合集合記憶１部に
格納されたすべての候補トークンに対して前記戦略計算
１部を用いて評価値を計算して最も高い評価値を持つ候
補トークンを前記トークン記憶１部に格納する競合解消
１部と、前記トークン記憶１部に格納された候補トーク
ンをデータとして前記ルール記憶１部に格納されたルー
ルのＴＨＥＮ部を実行し前記ＷＭ記憶部への参照と書き
込みを行なう実行１部と、を備えることを特徴とする。

【００１４】また、本発明の第２のルール処理装置は、
前記評価１部と接続され、前記条件評価１部によってＷ
Ｍ記憶部への書き込みが行なわれるときに値偏光の履歴
リストを保存する変更情報記憶部と、前記競合解消１部
と前記実行１部に接続され、入力として履歴リストを与
えられて入力履歴リストに格納された値変更履歴に基づ
いてＷＭ記憶部を書換えるＷＭ書換え部と、前記評価１
部と前記競合解消１部に接続され、入力として履歴リス
トを与えられて入力の履歴リストに格納された値変更履
歴に基づいてＷＭ記憶部を元の状態に書き戻すＷＭ復帰
部と、を備えることを特徴とする。

【００１５】

【作用】従来型のルール処理装置における汎用の競合解
消戦略の共通した特徴として、照合されたＷＭのオブジ
ェクトの内容自体は競合解消の計算には使用しないとい
うことがある。従来型のルール処理装置においてＷＭの
オブジェクトの内容自体が使用できない理由としては、
照合されたルールが異なるならば照合時にバインドされ
るオブジェクトの個数および種類が異なるため、候補ト
ークンの質がトークン毎に異なることが挙げられる。例
えば、図１２の候補トークンはルールＲＵＬＥ１との照
合に成功した候補トークンであるため、「さる」のイン
スタンスオブジェクトと「だい」のインスタンスオブジ
ェクトの２つがバインドされているが、「だい」のイン
スタンスオブジェクトしかバインドしないような別のル
ールをルールＲＵＬＥ１と同時にルール記憶部に格納し
ておくならば、おなじタイミングで照合が行なわれ、２
つのルールが同時に成功して両方のルールに対する候補
トークンが競合集合記憶部に格納される場合も起きる。

【００１６】従って、さまざまなバインド状況を持つ候
補トークンが競合集合記憶部に混在することになるの
で、オブジェクトの内容を参照するような競合解消戦略
を記述しようとすることは、すべてのルールの場合分け
を考えてそれぞれのルールにおいて候補トークンとして
バインドされる可能性のあるオブジェクトの組み合わせ
についてどういう場合にどういう候補トークンを優先す
るのかを明記することになり、記述が複雑になってしま
い現実的ではない。以上の問題点を本発明のルール処理
装置では以下のようにして解決する。

【００１７】本発明の第１のルール処理装置の作用につ
いて説明する。従来型のルール処理装置ではルール記憶
部にルールベースを格納して複数個のルールを管理して
いたところを、本発明の第１のルール処理装置ではルー
ル記憶部には１つのルールしか格納しない。また、一般
にルールでは複数個のＷＭの要素が１つのルールにおい
てバインドされるが、本発明のルール処理装置では１つ
のＷＭの要素が１つのルールにおいてバインドされるよ
うなルールのみにルールの記述を制限する。

【００１８】競合解消部において競合集合記憶部に格納
された競合集合から１つの候補トークンを選択する処理
では、従来型のルール処理装置では既存の競合解消戦略
を用いて選択を行なっていたところを、利用者が任意に
評価関数を作成可能とする。利用者が任意に評価関数を
作成可能になることにより、汎用の照合解消戦略を用い
た場合よりも、個々の問題に適したきめ細かい推論制御
が可能となる。

【００１９】従来型のルール処理装置、すなわち、ルー
ルが複数個ある場合には個々のルールによってルールで
照合されるオブジェクトの個数やオブジェクトの種類が
異なり、従ってルールによって候補トークンの内容が異
なり、あらかじめ１つ指定するような評価関数を用いて
競合解消を行なおうとしても、すべての候補トークンに
対して意味のあるような評価関数を記述することが難し
い。

【００２０】しかし、ルールを１つに限定するならば、
候補トークンは必ず同じ数と種類のＷＭ要素を持つこと
になる。例えば、図１２のルールＲＵＬＥ１のみだとす
るならば、候補トークンには、クラスオブジェクト「さ
る」の配下の１つのインスタンスオブジェクトと、クラ
スオブジェクト「だい」の配下の１つのインスタンスオ
ブジェクトとの２つのオブジェクトがいつでも格納され
ていることになる。このように候補トークンの質を揃え
るならば、例えば、「候補トークンに格納された第２オ
ブジェクトの属性「すわりごこち」の数値が大きいよう
な候補トークンを優先する」といったＷＭの内容に関係
するような評価関数の記述が可能となる。

【００２１】次に、本発明の第２のルール処理装置の作
用について説明する。ルールに記述可能な内容に制限を
加えることにより高速なルール処理を可能とする。ルー
ルのＩＦ部の内容が、ルールのＩＦ部に従ってＷＭの書
換えを試みる、ＷＭの書換えに成功したならばルールの
照合に成功したとみなす、ＷＭを書き戻す、という３段
がまえに制限し、競合解消における評価関数の内容が、
ルールのＩＦ部で行なったＷＭの書換えと同じＷＭの書
換えを行なってから、書換え後のＷＭをデータとして評
価関数を適用して評価値を計算し、ＷＭの情報を書き戻
す、という３段がまえに制限し、ルールのＴＨＥＮ部の
内容が、ルールのＩＦ部で行なったＷＭの書換えと同じ
内容のＷＭの書換えを行なうという操作に制限する。こ
のように制限されるルール書式を本明細書では仮割当ル
ールと定義する。

【００２２】ルールベースシステムでは、推論サイクル
の処理速度がシステム全体の評価に大きく影響する。本
発明の第２のルール処理装置では、第１のルール処理装
置であげた記述形式およびルール処理装置に対して、対
象問題を仮割付必要問題に限定してＷＭ書換えの差分情
報を保存する機能を付加することによりＷＭの書換え処
理を高速化し、全体として高速なルール処理を可能とす
る。

【００２３】

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

【００２４】図１は本発明の第１のルール処理装置の一
実施例を示す機能ブロック図である。ルール記憶１部１
１には、利用者によって従来型ルール処理装置で用いる
ルールと同じ形式のルールが１つだけ格納される。図８
は前記ルール記憶１部１１に格納されるルールの記述例
である。このルールは８０行に示すようにＲＵＬＥ２と
いう名前を持ち、８１行〜８３行がルールのＩＦ部、８
４行がルールのＴＨＥＮ部に相当する。

【００２５】ＷＭ記憶部９には、中央処理装置から制御
部を介して入力されるワーキングメモリ（ＷＭ）要素群
を格納する。図１６はＷＭに格納される要素の記述例で
ある。１６０行〜１６２行はクラスオブジェクト要素の
定義例である。１６０行ではオブジェクト名が「生産要
求」であることを定めている。１６１行ではこのオブジ
ェクトが配下にインスタンスオブジェクトを持つことが
できるようなクラスオブジェクトであることを宣言して
いる。１６２行ではオブジェクト「生産要求」はオブジ
ェクト「ｒｏｏｔ」の配下のオブジェクトであることを
示している。１６３行〜１６８行はインスタンスオブジ
ェクトの要素の定義例である。１６３行ではオブジェク
ト名が「要求１」であることを定めている。１６４行で
はこのオブジェクトが配下にインスタンスオブジェクト
を持つことができないインスタンスオブジェクトである
ことを宣言している。１６５行ではオブジェクト「要求
１」はオブジェクト「生産要求」の配下のオブジェクト
であることを示している。１６６行〜１６８行は、チョ
コレートを１００個、１９９４年５月１０日までに生産
してほしいという、生産要求の具体的な内容を定めてい
る。

【００２６】条件評価１部６は、入力として与えられる
ルールのＩＦ部と入力として与えられるＷＭ要素との照
合をＷＭ記憶部に格納されたＷＭの内容とを参照しなが
ら行ない、ルールのＩＦ部との照合に成功するかどうか
を判定する。図８のルール記述例のルールＲＵＬＥ２の
ＩＦ部は条件評価１部によって以下のように検査され
る。８１行は「クラスオブジェクトｔａｓｋ１の配下に
インスタンスオブジェクトが存在するか？存在するなら
ばＴＡＳＫという変数にバインドする。」という条件を
検査する。８１行が成功したならば、８２行では「変数
ＴＡＳＫにバインドされたオブジェクトを引数として関
数「資源獲得」が成功するか？」という条件を検査す
る。関数「資源獲得」ではＴ１の生産要求に対して資源
が獲得された状態にＷＭの内容を変更することが可能か
どうかを検査する。８１行および８２行が成功するなら
ば、８３行では、関数「割当解除」を用いてＷＭの状態
をルール適用前の状態に戻す。８３行の関数は条件の検
査ではないが、ルールのＩＦ部では副作用があってはな
らないため、８３行が追加されている。

【００２７】評価１部３では、ＷＭ記憶部９に格納され
ているＷＭ要素とルール記憶１部１１に格納されたルー
ルをデータとして条件評価１部６に与えて個々の組み合
わせが照合に成功するかどうかを判定し、成功するよう
な組み合わせを候補トークンとして競合集合記憶１部８
に格納する。例えば、ルールＲＵＬＥ２のＩＦ部とクラ
スオブジェクト「生産要求」の配下の特定のインスタン
スオブジェクト「要求１」との組み合わせで条件評価１
部６による検査が成功した場合には、評価１部３によっ
てオブジェクト「要求１」が候補トークンの１つとして
競合集合記憶１部８に追加される。図１３の１３１行
は、図８のルールが照合されて成功した場合に評価１部
３によって作成される候補トークンの記述例である。ル
ールとの照合が成功したオブジェクトとして、「要求
１」というオブジェクトが記述されている。

【００２８】戦略計算１部７は、入力として与えられる
候補トークンとＷＭ記憶部９に格納されたＷＭの内容と
を参照しながら戦略記憶１部８に格納された評価関数を
計算して評価値を得る。図１０は戦略記憶１部８に記憶
される評価関数の記述例である。この評価関数では、生
産に時間を要する生産要求ほど高い評価点を返却する。
１０１行では、実際に生産要求への資源の割当を行なっ
てＷＭを書換えてみる。１０２行では、生産要求の生産
時間を計算する。この値は書換られたＷＭの内容を用い
て計算する。１０３行では、評価関数がＷＭに対して副
作用を持たないようにＷＭをもとの状態に復帰させる。

【００２９】競合解消１部４は、戦略計算１部７を用い
て競合集合１部８に格納された各候補トークンに対する
評価値を得て、そのなかから最も評価値の高い候補トー
クンを選んでトークン記憶１部１０に格納する。

【００３０】実行１部５は、トークン記憶１部１０に格
納された候補トークンを対象として、ルール記憶１部１
１に格納されたルールのＴＨＥＮ部を実行する。例え
ば、競合解消１部４において、ルールＲＵＬＥ２とオブ
ジェクト「要求１」からなる候補トークンが選択されて
トークン記憶１部に格納されたならば、実行１部５にお
いてルールＲＵＬＥ２のＴＨＥＮ部８４行が実行され
る。８４行では、オブジェクト「要求１」をデータとし
て関数「資源割当」がもう一度実行され、ＷＭの内容が
更新される。

【００３１】図２は本発明の第２のルール処理装置の一
実施例を示す機能ブロック図である。ルール記憶１部１
１には、利用者によって仮割当ルールが１つだけ格納さ
れる。ルールのＩＦ部の内容が、条件に従ったＷＭの書
換えを試みる、ＷＭの書換えに成功したならばルールの
照合に成功したとみなす、ＷＭを書き戻す、という３段
操作であり、競合解消における評価関数の内容が、ルー
ルのＩＦ部で行なったＷＭの書換えと同じ内容の書換え
を行なってから、書換え後のＷＭをデータとして評価関
数を適用して評価値を計算し、ＷＭの情報を書き戻す、
という３段操作であり、ルールのＴＨＥＮ部の内容が、
ルールのＩＦ部で行なったＷＭの書換えと同じ内容の書
換えを行なう操作となるような特徴を持つルールを本明
細書では仮割当ルールと定義する。

【００３２】図８のルールＲＵＬＥ２は、仮割当ルール
の書式の条件を満足するような問題を従来型のルールで
表現した例である。ルールＲＵＬＥ２のようにルールの
ＩＦ部が「生産要求が存在し、かつその生産要求に対し
て資源の割当が可能か」、ルールのＴＨＥＮ部が「ＩＦ
部を満足した生産要求に対して資源の割当を行なう」で
あったならば、ＷＭの初期状態は生産要求に対して資源
の割当をしていない状態であり、書換えは生産要求に対
する資源の割当であり、書換え後のＷＭは生産要求に資
源の割当をした状態であるので、このルールは仮割当ル
ールとして表現できる。

【００３３】図９はルールＲＵＬＥ２の内容を仮割当ル
ールで表現した場合の記述例である。仮割当ルールで
は、ルールのＩＦ部の照合が成功する場合にはルールの
ＩＦ部に副作用があっても良い。従来型のルールの記述
例である図８の８３行と８４行でＷＭの書換えを試みて
いるが、仮割当ルールの場合には暗黙のうちに、ＷＭの
書き戻し動作は行なわれるため、そのような記述は存在
しない。また、ルールのＴＨＥＮ部はルールのＩＦ部の
副作用の状況の再現に限定するため、ルールの記述自体
にはＴＨＥＮ部は存在しない。

【００３４】変更情報記憶部２０には、条件評価１部が
起こすＷＭ記憶部９の書換え動作に連動してＷＭの書換
えに関する履歴情報を追加する。

【００３５】評価１部３は、ＷＭ記憶部９に格納されて
いるＷＭの各要素とルール記憶１部１１に格納されたル
ールとの組み合わせをデータとして、図５のフローに従
って処理を行なう。５０行では変更情報記憶部２０の初
期化を行なう。５１行では指定された組み合わせを条件
評価１部６に与えて個々の組み合わせが照合に成功する
かどうかを判定する。５２行では保存リストをデータと
してＷＭ復帰部２２を呼びだし、ＷＭをルール照合前の
状態に書き戻す。照合に成功した場合には、照合に成功
したＷＭの要素とルールとの組み合わせ、および変更情
報記憶部の内容を候補トークンとして競合集合記憶１部
８に格納する。

【００３６】例えば、ルールＲＵＬＥ３のＩＦ部とクラ
スオブジェクト「生産要求」の配下の特定のインスタン
スオブジェクト「要求１」との組み合わせで条件評価部
６による検査が成功した場合には、評価１部３によって
オブジェクト「要求１」と保存リストの組み合わせが候
補トークンの１つとして競合集合記憶部に追加される。
図１４は、図９のルールが照合されて成功した場合に評
価１部３によって作成される候補トークンの記述例であ
る。候補トークンには、ルールとの照合が成功したオブ
ジェクト「要求１」と保存リストとが含まれている。保
存リストには、ＷＭの差分すなわち変更される資源オブ
ジェクト群の変更内容とが記録される。例えば、例題の
場合には１４１行において設備１の１９９４年１月５日
の１０：００〜１３：００の時間帯をオブジェクト「要
求１」を処理するための時間として確保し、１４２行に
おいて要員５の１９９４年１月５日の１０：００〜１
３：００の時間帯をオブジェクト「要求１」を処理する
ための時間帯として確保し、１４３行において倉庫１か
ら１９９４年１月５日の１０：００に「原料１」という
製品の原料を１０００差し引く。戦略計算１部７は、入
力として与えられる候補トークンとＷＭ記憶部９に格納
されたＷＭの内容とを参照しながら戦略記憶１部１２に
格納された評価関数を計算して評価値を得る。

【００３７】図１１は本発明の第２のルール処理装置で
用いられる評価関数の記述例である。この評価関数で
は、生産に時間を要する生産要求ほど高い評価点を返却
する。１１０行では、生産要求の生産時間を計算する。
この値はシステムによって自動的に書換えられたＷＭの
内容から読みとれる。本発明の第２のルール処理装置で
は、第１のルール処理装置に比べ、ＷＭの書換え内容に
関して利用者が考慮しなくて良いため、評価関数の記述
が容易になる。

【００３８】競合解消１部４は、各候補トークンに評価
関数を適用して評価値を得ることにより競合集合のなか
から１つの候補トークンを選ぶ。図６は、競合解消１部
４での各候補トークンに対する処理フローを示す図であ
る。６１行では、評価関数の適用の前にＷＭ書換え部２
１によってＷＭの書換えが行われる。６２行では、候補
トークンに含まれるＷＭの情報を引数として評価関数を
適用し評価点数を得る。６３行では、ＷＭ復帰部２２に
よってＷＭの復帰が行なわれる。実行１部５は、保存リ
ストとＷＭ書換え部２１を用いて、ＷＭの書換えを行な
う。

【００３９】

【発明の効果】以上説明したように、本発明のルール処
理装置では、図１０のような、きめこまかい評価関数を
競合解消基準として用いることが可能となる。また、本
発明の第２のルール処理装置では、仮割付環境を保存リ
ストを用いて保持する機構とＷＭに対して副作用をもつ
ようなルールおよび評価関数を簡単に表現する手段を提
供し、高速な推論を可能とする。

【図面の簡単な説明】

【図１】本発明の第１のルール処理装置の一実施例を示
す図。

【図２】本発明の第２のルール処理装置の一実施例を示
す図。

【図３】従来型装置を示す図。

【図４】前向き推論の推論フローを示す図。

【図５】本発明の第２のルール処理装置の評価１部のフ
ローを示す図。

【図６】本発明の第２のルール処理装置の競合解消１部
のフローを示す図。

【図７】従来型装置で用いるルールの記述例を示す図。

【図８】本発明の第１のルール処理装置で用いるルール
の記述例を示す図。

【図９】本発明の第２のルール処理装置で用いるルール
の記述例を示す図。

【図１０】本発明の第１のルール処理装置で用いる評価
関数の記述例を示す図。

【図１１】本発明の第２のルール処理装置で用いる評価
関数の記述例を示す図。

【図１２】従来型装置で用いる候補トークンの記述例を
示す図。

【図１３】本発明の第１のルール処理装置で用いる候補
トークンの記述例を示す図。

【図１４】本発明の第２のルール処理装置で用いる候補
トークンの記述例を示す図。

【図１５】従来型装置で用いるＷＭの要素の記述例を示
す図。

【図１６】本発明のルール処理装置で用いるＷＭの要素
の記述例を示す図。

【符号の説明】

１中央処理装置２制御部３評価１部４競合解消１部５実行１部６条件評価１部７戦略計算１部８競合集合記憶部９ＷＭ記憶部１０トークン記憶１部１１ルール記憶１部１２戦略記憶１部２０変更情報記憶部２１ＷＭ記憶部２２ＷＭ復帰部

Claims

【特許請求の範囲】

【請求項１】ルールを格納するルール記憶１部と、ワーキングメモリ（ＷＭ）要素群を格納するＷＭ記憶部
と、競合集合を格納する競合集合記憶１部と、入力としてルールとＷＭの要素を与えられて入力ルール
のＩＦ部と入力ＷＭ要素との照合を行なって照合に成功
するかどうかを判定し、前記ＷＭ記憶部への参照と書き
込みを行なう条件評価１部と、前記ＷＭ記憶部に格納されたＷＭの個々の要素を前記ル
ール記憶１部に格納されたルールと組み合わせて前記条
件評価１部に与えてＷＭの要素とルールが照合に成功す
るかどうかを判定し成功するような組み合わせを候補ト
ークンとして前記競合集合記憶１部に格納する評価１部
と、評価関数を格納する戦略記憶１部と、候補トークンを格納する候補トークン記憶１部と、入力として候補トークンを与えられて入力候補を引数と
して前記戦略記憶１部に格納された評価関数を計算して
評価値を得る戦略計算１部と、前記競合集合記憶１部に格納されたすべての候補トーク
ンに対して前記戦略計算１部を用いて評価値を計算して
最も高い評価値を持つ候補トークンを前記トークン記憶
１部に格納する競合解消１部と、前記トークン記憶１部に格納された候補トークンをデー
タとして前記ルール記憶１部に格納されたルールのＴＨ
ＥＮ部を実行し前記ＷＭ記憶部への参照と書き込みを行
なう実行１部と、を備えることを特徴とするルール処理
装置。
【請求項２】前記評価１部と接続され、前記条件評価１部によってＷＭ記憶部への書き込みが行
なわれるときに値偏光の履歴リストを保存する変更情報
記憶部と、前記競合解消１部と前記実行１部に接続され、入力とし
て履歴リストを与えられて入力履歴リストに格納された
値変更履歴に基づいてＷＭ記憶部を書換えるＷＭ書換え
部と、前記評価１部と前記競合解消１部に接続され、入力とし
て履歴リストを与えられて入力の履歴リストに格納され
た値変更履歴に基づいてＷＭ記憶部を元の状態に書き戻
すＷＭ復帰部と、を備えることを特徴とする請求項１に
記載のルール処理装置。