JPH06274342A - エキスパートシステムの推論制御方式 - Google Patents

Abstract

(57)【要約】 【目的】 推論の連鎖がデ−タのみに依存していなく
て、条件試験の連鎖を記述するだけで、エキスパ−トシ
ステムを構築することができるようにしたものである。 【構成】 ル−ルＲ１とＲ３はル−ル名、イベント論理
式ｅ１、条件部からなり、ル−ルＲ２とＲ４は前記の他
にル−ルの優先度、ドキュメント、実行部を有する。イ
ベント論理式ｅ１が発生すると、ル−ルＲ１とＲ３のイ
ベント論理式ｅ１が真となり、それぞれのル−ル条件部
（チェック項目）が実行される。条件部が実行される
と、その結果の真偽を表現するイベントｒ１，ｒ２が自
動的に発生する。ｒ１の値が真であれば、Ｒ２のイベン
ト論理式が真となり、その条件部が実行される。また、
ｒ１の値が偽のとき、ｒ３の値が真であれば、Ｒ４のイ
ベント論理式が真となり、その条件部が実行される。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明はエキスパ−トシステム
構築支援ツ−ルの一部である推論制御部の推論連鎖制御
方式に関するものである。

【０００２】

【従来の技術】、普通ル−ルを用いて推論を行うタイプ
のエキスパ−トシステムにおいては、全てのル−ルに条
件部と実行部を持っている。また、エキスパ−トシステ
ム構築支援ツ−ルの一部を成す推論制御部は個々のル−
ルの条件部をデ−タと照合し、条件を満足するル−ルの
中の１つあるいは全ての実行部を実行することの繰り返
しで推論を進めていく手段を採っている。このとき、ル
−ルからル−ルへの連鎖を決定する根拠は、ル−ルの実
行部で行われるデ−タの変更である。従って、デ−タを
変更しないル−ルの実行は、推論の連鎖を引き起こさな
い。

【０００３】

【発明が解決しようとする課題】上述のように推論の連
鎖を引き起して推論を継続させるには、エキスパ−トシ
ステムの利用者は必ずデ−タを変更をしなければならな
い。このため、診断型のエキスパ−トシステム等では条
件試験の連鎖が、すなわち、推論の実行でありチェック
項目の記述とチェック結果による連鎖の分岐のみを記述
することでエキスパ−トシステムを構築するのが自然で
ある。しかし、前記利用者がデ−タを変更しなければ、
推論の連鎖が起こらない現在の方式では、利用者は１つ
１つのチェック項目に、いちいちデ−タを割り当て、そ
れぞれのデ−タを書き換えるという操作によって、間接
的に上記条件試験の連鎖を記述するしか手段がなっか
た。

【０００４】この発明は上記の事情を鑑みてなされたも
ので、推論の連鎖がデ−タのみに依存していなくて、条
件試験の連鎖を記述するだけで、エキスパ−トシステム
を構築することができるようにしたエキスパ−トシステ
ムの推論制御方式を提供することを目的とする。

【０００５】

【課題を解決するための手段】この発明は上記の目的を
達成するために、第１発明はル−ル名、イベント論理
式、および条件部から構成されるル−ルを有するととも
に任意に真偽値を発生させる通常イベントと、ル−ルの
条件部が実行されたとき、その結果の真偽を表現するル
−ルイベントとを有し、前記イベント論理式は通常イベ
ントとル−ルイベントを参照してそれらの間で論理演算
を行って、１つの真偽値を導いて、イベント論理式の値
が真となったときに、その条件部を実行したことを特徴
とするものである。

【０００６】第２発明は前記ル−ルにはル−ルの優先
度、ドキュメント、実行部を形成したことを特徴とする
ものである。

【０００７】第３発明は前記ル−ルの条件部および実行
部にはＣ言語文法を用いたことを特徴とするものであ
る。

【０００８】

【作用】通常イベントとル−ルイベント間で論理演算を
行い、１つの真偽値を導いて、イベント論理式の値が真
となったル−ルの条件部は実行される。また、推論の連
鎖がデ−タのみに依存していないために、条件試験の連
鎖を記述するだけでエキスパ−トシステムを構築するこ
とができるとともに条件試験をイベントの発生とみな
し、利用者の操作する通常のイベントと同様に扱うこと
ができる。さらに、Ｃ言語文法を用いることで、手続き
的な処理を記述することができる。

【０００９】

【実施例】以下この発明の実施例を図面に基づいて説明
する。図１において、ル−ルＲ１とＲ３はル−ル名、イ
ベント論理式、条件部（チェック項目）からなり、ル−
ルＲ２とＲ４は前記の他にル−ルの優先度、ドキュメン
ト、実行部を有する。そして、ル−ルＲ１が「ＹＥＳ」
ならル−ルＲ２が成立する。ル−ルＲ１のチェック項目
１で例えば何かの温度が１０度以上であるという条件が
書いてあって、もし、測定値が１５度のときル−ルＲ１
が「ＹＥＳ」だったとすると、ル−ルＲ２のル−ルのイ
ベント論理式ｅ１が成立してル−ルＲ２が起動され、ル
−ルＲ２のチェック項目２が実行される。もし、測定値
が５度だったとすると、ル−ルＲ１のチェック項目１が
「ＮＯ」になる。すると、ル−ルＲ２のイベント論理式
ｒ１が成立しない「ＹＥＳ」であるル−ルＲ１を調べて
いるため，ル−ルＲ２は起動されない。一方、ル−ルＲ
４を見ると、イベント論理式ｒ１の前に否定が付いてい
るので、ル−ルＲ１が「ＮＯ」であると、イベント論理
式の否定ｒ１は条件が満足される。アンド条件があるた
め、イベント論理式ｒ３が「ＹＥＳ」にならないとル−
ルＲ４は起動されない。

【００１０】上記図１に示したエキスパ−トシステムは
ル−ルが４つで構成されたもので、今、イベント論理式
ｅ１が発生すると、ル−ルＲ１とＲ３のイベント論理式
ｅ１が真となり、それぞれのル−ル条件部（チェック項
目）が実行される。条件部が実行されると、その結果の
真偽を表現するイベントｒ１，ｒ２が自動的に発生す
る。ｒ１の値が真であれば、Ｒ２のイベント論理式が真
となり、その条件部が実行される。また、ｒ１の値が偽
のとき、ｒ３の値が真であれば、Ｒ４のイベント論理式
が真となり、その条件部が実行される。

【００１１】なお、Ｒ１およびＲ３には実行部が与えら
れていないので、条件部のみ実行される。Ｒ２およびＲ
４には実行部が与えられている。実行部は条件部の実行
の後に実行される実行部は条件部の真偽に関わらず実行
されるが、その内部で条件部の真偽を参照できるので、
それに応じた処理を記述することがでいる。

【００１２】

【発明の効果】以上述べたように、この発明によれば、
推論の連鎖がデ−タのみに依存していないので、条件試
験の連鎖を記述するだけで、エキスパ−トシステムを構
築することができるとともにル−ルの条件試験をイベン
トの発生とみなし、利用者の操作するイベントと同様に
扱うことができるので、容易にイベント駆動のエキスパ
−トシステムを構築できる。また、ル−ルの条件部と実
行部をＣ言語文法とすることで手続き型言語によるシス
テム開発に慣れた利用者が容易に利用できる。さらに、
ル−ルの条件試験結果をイベントの真偽値として扱い、
イベント論理式の中で参照可能とすることにより、論理
の連鎖を柔軟に制御することができる。

【図面の簡単な説明】

【図１】この発明の一実施例を示す構成説明図である。

【符号の説明】

Ｒ１，Ｒ２，Ｒ３，Ｒ４…ル−ル ｅ１，ｒ１，ｒ３…イベント論理式

Claims (3)

【特許請求の範囲】
1. 【請求項１】 ル−ル名、イベント論理式、および条件
   部から構成されるル−ルを有するとともに任意に真偽値
   を発生させる通常イベントと、ル−ルの条件部が実行さ
   れたとき、その結果の真偽を表現するル−ルイベントと
   を有し、前記イベント論理式は通常イベントとル−ルイ
   ベントを参照してそれらの間で論理演算を行って、１つ
   の真偽値を導いて、イベント論理式の値が真となったと
   きに、その条件部を実行したことを特徴とするエキスパ
   −トシステムの推論制御方式。
2. 【請求項２】 前記ル−ルにはル−ルの優先度、ドキュ
   メント、実行部を形成したことを特徴とする請求項１記
   載のエキスパ−トシステムの推論制御方式。
3. 【請求項３】 前記ル−ルの条件部および実行部にはＣ
   言語文法を用いたことを特徴とする請求項１記載のエキ
   スパ−トシステムの推論制御方式。