JPS61202230A

JPS61202230A - ル−ル動作モニタシステム

Info

Publication number: JPS61202230A
Application number: JP60042631A
Authority: JP
Inventors: Yasuo Ono; 小野　保夫; Norihisa Komoda; 薦田　憲久; Masahiro Oba; 大場　雅博; Kuniaki Matsumoto; 松本　邦顕
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1985-03-06
Filing date: 1985-03-06
Publication date: 1986-09-08
Anticipated expiration: 2011-01-29
Also published as: JPH087685B2

Abstract

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

Description

【発明の詳細な説明】〔発明の利用分野〕本発明は、ＩＦ−ＴＨＥＮ型ルールの内容と相互関連を
整理し、現況データやルールの起動状況を表示するルー
ル動作をモニタシステムに係り、特にルールの起動状況
のチェック、制御指令の妥当性のチェックに好適なルー
ル動作モニタシステムに関する。

ｓ　ｄ　Ｌ　ｔ　ｏ　ｒ）による因果知識の入力とその
体系化」　（情報処理学会第２７目金国大会前刷ｔ　ｐ
ｐＨ５３〜１１５４（昭５８））に示されるようにルー
ルの構造を階層化し、画面上に図示するシステムを用い
て行なわれていた。この方法ではルールの静的な構造を
把握し、ルールの抜けのチェックを行なうことはできる
が、初期現況（ルールで結論されず、外部から与え：ら
れる条件部）、中間結論（ルール！結論され、他のルー
ルでも年月される条件部）、最終結論貴ルールで結論さ
れ、他のルールでも使用さ些、る条件部といった層分け
や、ルールと文字列の区別が明確にされておらず、チェ
ックに手間どる等の問題があった。このため層げけや、
ルールと文字列の区別を明確にし、これらの問題点を解
決したルール構造解析システムを先に出願した（特願昭
５９−９２８１５）。しかしながら、これらのような支
援システムでは、どのような現況が揃い、そのも凄で、
どのルールがどのような順序で起動され、どのような中
間結論を出し、その結果とのよ４うな制御指令（最終結
論）が出たか、つまり。

ルール起動状態の妥ｉ性や制御指令の央当性が動的にチ
ェックできないという問題があった。　　′〔発明の目
的〕　　　　　□　　　　　゛本発明の目的は、ルール
ρ起動状、況の妥当性。

制御指令の妥当性のチェックを支援するため、ルール群
全体の相互関連の上で、現況データやルール起動状況を
表示するシステムを提供することにある。

上記目的実現のため、本システムでは、（１）ルールの
関連を階層的に表示する。

（２）制御指令の決定は、先ず、設備−の状態を客字列
に交換してワーク・テーブルに格納し、次にルールのＩ
、Ｆ部の文字列とワ」クチ−プル内の文字列のパターン
・マツチングによりＩＦ部の条件判定を・１．行ない、
条件が満足されたならば、ＴＨＥ′Ｎ部文字列を結論と
して新しくワーク・テーブルに書き加えるという方法を
繰り返すこ９　　とにより行なう、ここで、ＩＦ、部の
条件判定が満足されて、ルールが起動された時、静的に
描かれたルール関連図上の該当する文字列２、ＩＦ部の
条件が満足されたことによって起動された゛　ルール、
そのルールによって導かれた結論、お゛よび、その文字
列−ルール−文字列間の配線を点滅させたりｔね書きす
る；とによりルールの起動状況を把握で゛きるようにす
る。

（３）ルール関連図を構成する各文字列を示す図形　　
　　　　′の中には、該当する文字列をし・るす、この
図形の中にしるす文字列は、パラメータ部分く図１（ｂ
）の１１１０のように１〈２．・　６〉１で囲まれた部
分）を除いた固定部（図１（ｂ）の１１２０）だけをし
るし、固定部が等しい文字列は１重複してルール関連図
上に、書かないようにする。

°ごのようにすることによって関連図が複雑になるどと
を防ぐことができる。″　　。

（４）また、上記（３）のような特徴をもつルール関連
図において、パラメータ部分の矛盾をチェックするため
に（２）のような動的なチェックが有効である。

、□。

〔発明の実施例〕

版下、本発明の一実施例を図面を用いて説明する″、　
　　′ 第１・図（ａ）は、ルールの記述方法を示す。

ＩＦの後に続く文字列１０１を、ＩＦ部文字列と呼び、
Ｔ″ＨＥＮあ後に続く文字列１０２をＴＨＥＮ部文字列
と呼ぶ０手続名１０３・は、このルールが・使用する最
適化プログラムの名称であり、必要でなければ省略され
る。ＩＦ部文字列力だ全て真となる時にのみ、ＴＨＥＮ
部の文字列が全て真と々る。

手続名１０３が記されている場合、当該プロゲラ５゜ム
により最適値が算出されて、ＴＨＥＮ部文字列中の変数
に代入される。Ｔ、Ｙ　Ｐ　Ｅの後には、ルールタイプ
１０４として９ｙｚ、は１が記されている。１ルールタ
イプが１とは、その／？−ルのＴＨＥＮ部文字列が最終
結論を意味しているものであり、ルールタイプが０とは
、そのルールのＴＨＥＮ部文字列が中、間結論を意味し
ているものである。。

第２図は、制御論理をＩＦ−ＴＨＥＮ型ルールで記述し
た例であ、る、岬−の咋容は、供神され牟ワークをステ
ーションに割付け、る作業割付けである。制御の方針は
、（１）ワークは供給された順に割付ける、（２）ステ
、ニションは稼働率の小さいものを優先する。である、
、Ｎａ１．１７）ルニルは割付けるべきワークを決定す
る１１Ｎ１１２．＆３のルールは、そのワークを割付、
ける対象ステーションを決定する。すなりち、＆２．の
ルールによりその２ワークの作業を行なう機能がありか
つ現在空いているステーションが候補に挙げられる。Ｎ
α３のルールは、それらの候補のうち稼働率最小のもの
を選択する。Ｎα４のルールは、供給の台車が使えるこ
とを確認し、最終的に制御指令を決定する。

第３図は、出力図面の１例を示したものであり、第２図
に記したルール群に対応している。この図の特徴は、■
３種類の枠型３０１，３０２．３０３を使用する。■３
層（システム現況、中間結論。

制御指令）に分離して各枠を配置する、■配線の交叉数
が最小となるように各枠を配置する、■枠内にルール中
の文字列や手続名を記述する、等の点にある。枠型３０
１は、ＩＦ部文字列、ＴＩＩＥＮ部。

文字列を囲うものであり、それらの中で特に制御指令と
なる文字列は枠型３０２で囲う。枠型３０３は、ルール
識別名や手続名を囲うものである。第２図における文字
列２０１〜２１１．ルール識別名２２１〜２２４２手続
名２３１が、第３図の枠内に転記されている。なお第４
図中のシステム現況、「中間結論」、「制御指令」の文
字データは、表示処理５０５（後出）中にデータ文とし
て与えられる。

第４図は、本発明を実現するシステム構成の１例を示し
たものである。本システムは、各種プログラムの起動コ
マンドやデータを入力するためのコンソール端末４１０
゜ＩＦ−ＴＨＥＮルールのＩＦ部文字列と設備群の状態
を文字列に変換した現況とのパターンマツチングにより
最終結論を決定するＩ　Ｆ−ＴＨＥＮルール実行計算機
４１１゜あるルールのＴＨＥＮ部文字列が、他のルール
のＩＦ部文字列となり、さらにそのＴＨＥＮ部文字列が
他のルールのＩＦ部文字列になるといったルールの構造
を解析し、起動ルールの表示処理を行なうルール動作モ
ニタ計算機４１２６各種データやテーブルの格納を行な
う記憶装［４１３，システムの状態を入力したり、最終
結論を設備群に出力する入出力装置４１４゜ルールの構
造をグラフィックに表示し、起動ルールの表示を行なう
グラフィックディスプレイ４１５゜ルール関連図のハー
ドコピーの出力を行なうＸＹブロック４１６゜制御対象
となる設備群４″、７゜および各種制御線４１８．４１
９より構成されている。

次に第５図を用いて全体の処理の流れの概要をテーブル
との関連を含めて示す。まず、構造解析・配置・配線プ
ログラム５１０は、ルール入力プログラム５０１．ルー
ル構造解析プログラム５０２゜配置処理プログラム５ｏ
３１作図処理プログラム５０４、表示処理プログラム５
０５からなる。又、本図で５１２は、ルールデータテー
ブル、５１３は項目テーブル、５１４は、項目関連テー
ブル、５１５は項目配置テーブル、５１７は、文字列配
置テーブル、５１６は、ルール配置テーブル、５１８は
、関連線テーブルである。ルール入力プログラム５０１
は、ｒＩＦ−ＴＨＥＮ・・・」で記述されたルールを、
コンソール端末４１０或はデータファイル５１１から読
みこみ、ＩＦ部文字列、ＴＨＥＮ部文字列をルールデー
タテーブル５１２に格納する。ルール構造解析プログラ
ム５０２は、ルールデータテーブル５１２をもとにして
、第４図の枠内に記入する文字列やルール番号を１つの
項目と見做し、それらを項目テーブル５１３に格納する
とともに、それらの相互関連を項目関連テーブル５１４
に格納する。これらのデータをもとに、配置処理プログ
ラム５０３は階層構造化を行ない、各項目の配置レベル
を決定し、項目配置テーブル５１５に格納する。その配
置データにもとづき、作図処理プログラム５０４はディ
スプレイ４１５画面上の文字列の枠、および、ルールの
枠を表示するデータを作成し、文字列配置テーブル５１
７、ルール配置テーブル５１６に格納する。

また、枠間の配線データを作成し、関連線テーブル５１
８に格納する。表示処理プログラム５０５は、項目配置
テーブル５１５．関連線テーブル５１８、項目テーブル
を基に、グラフィックディスプレイ４１５やＸＹプロッ
タ４０６にルール関連図を描き出す。

制御指令決定プログラム５２０は、ルールデータ゛テー
ブル５１２内のルール群のＩＦ部文字列とワークファイ
ル５２２中の設備一群の状態の文字列とのパターンマツ
チングにより、ＩＦ部の条件判定を行ない、条件が満足
されたならば、ＴＨＥＮ部の文字列を結論としτ新しく
ワーク・テーブル５２１に書き加えるという処理を繰り
返すことに、より、最終的に実行すべき最終竺論を決定
するプログラムである。また、本プログラムにおいてＩ
Ｆ部の文字列とワークテーブル５ｔ１中の文字列のパタ
ーンマツチングにより、ＩＦ部の条件が満足遭れ適用ル
ールが決定した時、適用ルールのルール番号を適用ルー
ルデータテーブル５２２．に格納するとともに、ルール
動作モニタプ覧グラム５３０に、ルールが起動された二
ｉを知らせるルール起動信号を制御線４１８を介して誉
る・ルール動作モニタプログラム５３０は、制御指令決
定プログラム５２０よりルール起動信号を受信すると、
適用ルールデータテーブル５２２から適用ルールのルー
ル番号を読み出しディスプレイ４１５上吟表示されＣ″
％Ｎる）Ｌｌ　７７Ｌｌ関連図上の該当ルール、成立し
た文字列、該当ルールにより導かれた結論、および、該
当ルールと文、字列間の配線を点滅させることにより表
示する。

次に、各テーブルの詳細構造と、各プログラムの詳細フ
ローを説明する。

「第７図は、ルールデータテーブル５１２の詳細を示す
ものである０文字列テーブル７０１はＩＦ部文字列、Ｔ
ＨＥＮ部文字列を重複しないように格納する０文字列テ
ーブルポインタ７０２は、文字列テーブル７０１が何番
目まで使用されているかをさすポインタである。ＩＦ部
文字列。

ＴＨＥＮ部文字列は、文字列テーブルの何番目に格納さ
れている文字列と同一であるかにより一別され、それを
文字列テーブル番号と呼ぶことにする。ＩＦ部文字列番
号テーブル７０４は、ＩＦ部文字列の文字列番号を格納
し、ＴＨＥＮ部文字列番号テーブル７０５は、ＴＨＥＮ
部文字列、の°文字列番号を格納する０手続名テ二ブル
７０６は、手続名を格神し、ノーールタ、イブテーブル
７０３はルールタイ、プを格納、する、ＩＦ部子テーブ
ルポインタフ０フ、各ルール毎のＩＦ部文字列がＩＦ部
文字列番号テーブル７０４のどこから（先頭位置）どこ
まで、、（最終位置、）に格納されているかをさ！もの
である０以上の、、ＩＦ、、部テーブルポインタ？、、
Ｏ，，７ｔ、　Ｔ　ＨＦ、、Ｎ部文字列番号テーブル７
０５．。

手、続名テーブル７０６ルールタイプテーブル７０３は
、それぞれのｉ番目のエン一りがｉ番目のル−ル番号と
暗黙に対応付けられている。ルール番号″“　　　　　
　　　　　　　　　　　　、　“１　　　　　　　。

ポインタ７０８は、何番目、のイレール番号まで、使用
されているかを示すものである、す、第６図は、ルール入力プログラ１．台！５０１の詳細フ
ローである。

ボックス６０１　ｔｔ、、文字列テーブル７０１゜ＩＦ
部子テーブルポインタフ０フＩＦ部文字列番□、１号テーブル７０４．ＴＨＥＮ部文字列番号テープシフ０
５９手続名テーブル７０６．ルーフルタイプ、チー、プ
ル７０３１文字列テーブルポインタ７０２゜１ル５一層
番号ポイン′７′７０８をクリアする・ｙｌ（′Ｘ６０
２４ｔ・ｆ−Ｊ７７、ｊ２′５１１創１コンソール端末
４１０からルール９１行を読み込ｔ′すＬｌ、　ｆ−！
ｌ　ｈｉ？ｃｔｔｈ“研５′Ｉ・７−“゛あれば次へ進
む。

□ １セ′８°０°″゛シ９““”６７゛゛““０行なのか
、ＩＦの行なのか、ＴＨＥＮの行なのかを判定し、それ
ぞれの結果において、ボックス□ ６０４．６０７．．６０９にブランチする。

ボックス６０４は、ＴＹＰＥΦ行５があったことにより
１つのルールの開始だと判断し、ルール番号ポインタを
１だけ加算する。　　　。

また、ルール番号ポインタ７０８のさす１７部テーブル
ポインタ７．０６．７の（先頭卸り最終位置の値を、（
１つの前の最終位置の値）＋１とする。。

もし、ルール番号、ポインタ、７０８の値が１、であり
ば、先頭位置、最終位竺ρ値を共灸こ１とする。ｌ゛ボ
ツクス６０５１．読み込んだ１行中のルールタイプ値（
０又は１）を抽出し、その値をルール　　　　　　゛、
タイプテーブル７０３のルール番号ポインタの・さす位
置に格納する。　　　　　　　　　　　　　　　　　　
　、ボックス６０６は、Ｔ、Ｈ，８８部カウントをＯ，
とする−ＴＨＥＮ部カウ、トドとは、１２のルール中に
出現したＴＨＥＮ部の、数、、であり・後でｐ　’）　
、’）　Ｘ６０９にて使用される。　、ボックス６０７，６０，８．はＩＦ部文字列、に対する
処理を行なう、ボックス６０７は、読み込んだＩＦ部文
字列と同じ文字列が文字列テーブル７０１に既に格納さ
れているか否かを判定する。もし格納されておれば、何
番目に格納されているがという格納番号を求める。もし
格納されていなければ、文字列テーブルポインタ７０２
を１だけ増加し、その指すところへ読み込んだＩＦ部文
字列を格納し、文字列テーブルポインタ７０７の新たな
値を格納番号とする。

ボックス６０８は、ＩＦ部文字列番号テーブル７０４の
更新を行なう。まず、ルール番号ポインタ７０８の指し
ているＩＦ部子テーブルポインタフ０フ最終位置ポイン
タを１だけ増加する。それの指しているＩＦ部文字列番
号テーブル７０４のフィールドにボックス７０７で求ま
った格納番号を格納する。

ボックス６０９から６１２は、ＴＨＥＮ部文字列に対す
る処理を行なう。

ボックス６０９は、ＴＨＥＮ部カウントを１だけ増加し
、その値が２以上の場合、ボックス６１０ヘブランチし
、その値が１の場合、ボックス６１１ヘブランチする。

ボックス６１０は、１つのルール中に２つ以上Ｔ　ＨＥ
　Ｎ部が出現した場合、２番目以降のＴＨＥＮ部に対し
、ＩＦ部とルールタイプを保証するための処理を行なう
、ルール番号ポインタ７０８を１だけ増加し、それの指
すＩＦ部子テーブルポインタフ０フびルールタイプテー
ブル７０３の各フィールドに、それぞれ１つ直前のフィ
ールドに格納されている値を格納する。ボックス６１１
は、読み込んだＴＨＥＮ部文字列と同一の文字別が文字
列テーブル７０１に格納されているかを調べる。

もし格納されておれば、その格納番号を求める。

もし格納されていなければ５文字列テーブルポインタ７
０２を１だけ増加し、その指すフィールドへ、読み込ん
だＴＨＥＮ部文字列を格納し、ポインタの値を格納番号
とする。

ボックス６１２は、ルール番号ポインタ７０８の指して
いるＴＨＥＮ部文字列番号テーブル７０５゜手続名テー
ブル７０６の各フィールドに、格納番号、読み込んだ手
続名を格納する。

第８図は、項目テーブル５１３の詳細構造を示すもので
ある。ＩＦ部文字列、ＴＨＥＮ部文字列。

ルニル番号２手続名など、１つの枠内に記入する文字列
を１つの項目と見做す、今、文字列テーブルに格納され
ている文字列の数、つまり、文字列テーブルポインタ７
０２の値、をＮとし、ルール番号の数、つまり、ルール
番号ポインタ７０８の値、をＭとする。

項目ＩＤ８０１は、項目内容８ｏ２と属性８０３の検索
キーとして使用するものである。ＩＦ部やＴＨＥＮ部の
文字列に対しては、１〜ＮのＩＤ番号を与え、ルール番
号と手続名の組にはＮ＋１〜Ｎ＋ＭのＩＤ番号を与える
ものとする。

項目内容８０２は、枠の内に記入する文字列である６項
目ＩＤが１〜Ｎの項目の場合、ＩＦ部。

ＴＨＥＮ部の文字列が対応し１項目ＩＤがＮ＋１〜Ｎ＋
Ｍの項目では、ルール番号と手続名の組が対応する。尚
、ルール中に手続名が記されていない場合、項目内容の
手続名のところは空白とする。

属性８０３は、層種別コードと枠種別コードの組である
。層種別コードは、例えば、システム現況、中間ルール
、制御指令の各層に対して、ＬＬ。

Ｌ２．Ｌ３というコードを割付けておく。枠種別コード
は、例えば、枠型４０１，４０２，４０３に対して、Ｂ
ｌ、Ｂ２．Ｂ３というコードを割付けておく。例えば、
第４図の枠４０３に対して。

属性は（Ｌ２．Ｂ３）である。

第９図は、項目関連テーブル５１４の詳細構造を示す。

９０１，９０３は文字列番号、９０２゜９０４はルール
番号（Ｎ＋Ｍ）Ｘ　（Ｎ＋Ｍ）のマトリックスであり、
項目ＩＤがｉである項目がら、項目ＩＤがｊである項目
へ関連があるとき、マトリックスの（ｉ、ｊ）要素は１
であり、関連がないときには（ｉ、ｊ）要素はＯである
。

第１０図は、ルール構造解析プログラムの詳細フローを
示す。

ボックス１１０１とボックス１１０２は、項目内容の格
納と項目ＩＤのセットを行なう。

ボックス１１０１は、文字列テーブル７０１の１番目の
フィールドから順に、格納しである文字列を読み出し、
それを項目テーブル５１３の項目内容８０２の１番目の
フィールドか、ら順に格納していく、これをＮ番目のフ
ィールドまで繰返す、このとき同時に１項目ＩＤ８０１
のフィールドに、順に１から・Ｎまでの値を格、納する
。

ボックス１１０２は９手続名テーブル７０６の１番目の
フィールドから順に、格納しである手続名を読み出し、
それとルール番号とを組合せた文字列を作成しくもし、
手続名がなければ、ルール番号だけから成る文字列とな
る。）、それを項目内容８０２の、Ｎ＋１番目のフィー
ルドから順に格納していく、これを手続名テーブルの７
０６のＭ番目のフィールドまで繰返す、このとき同時に
、項目ＩＤ８０１のフィールドに、順にＮ＋１からＮ十
Ｍまでの値を格納する。

ボックス１１０３とボックス１１０４は属性の設定を行
なう。

ボックス１１０３は、層積別欄のセットを行なう。

ま、ず４初期状態として、項目ＩＤが１〜Ｎに対しては
Ｌｌ、項目ＩＤがＮ＋１〜Ｎ＋Ｍに対してはＬ２とする
０次に、ルール番号を示す一時的変数ｋを導入し、ｋを
１からＭまで順次変えて次の操作を行なう、もし、ルー
ルタイプテーブル７０３のに番目のフィールドに値１が
格納されている場合、そのルールに対応したルール番号
とＴＨＥ　Ｎ部文字列を、制御指令層に入れる。そのた
め。

ＴＨＥＮ部文字列番号テーブル７０５のに番目のフィー
ルドに格納されている値Ｘを読み出し１項目ＩＤがＸ及
びＮ十にである項目の層種別コードを共にＬ３に！き換
える。

もし、ルールタイプテーブル７フィールドの値が０であれば、そのルールに対応したル
ール番号，とＴＨＥＮ部文字列を中間ルール層に入れる
．そのため、ＴＨＥＮ部文字列番号テーブル７０５のに
番目のフィールドに格納されている値Ｘを読み出し，項
目ＩＤｆｆｉｘ及びＮａｋである項目の層種別コードを
共にＬ２に書き換える。

以上の操作により、ＩＦ部文字列としてのみ使用゛され
ている文字列に対応した項目の層種別コード・はＬｌ（
システム現況層）、にセットされている一．゛ボックス
１１０４は、棒積別欄のセットを行なう。

亨ず初期設定として，、、項目より．が１〜Ｎに対して
はＢｌ，項目ＩＤがＮ＋１〜Ｎ．＋　Ｍに対してはＢ３
とする．次．に、前ボックスと同様の変数ｋを導入し４
ｋを１からＭまで順次変えて，次の操作を行なう．もし
、ルールタイプテーブルの７０３のに番目のフィールド
に値１が格納されている場合、そのルールに対応したＴ
ＨＥＮ部文字列を囲む枠を枠型２とする．そのために、
その文字列番号Ｘを読み出し，項目ＩＯがＸである項目
の棒積別コードを８２に書き換える。

ボックス１１０５から１１０７は．、項目関連テーブル
５１４を作成する．　　。

ボックス１１０５は，項目関連テーブル５１４を初期化
、（０クリア）する、　。

ボックス１１０６は、ＩＦ部文字列とルール番号との関
連付けを行なう．上記と同様の変数ｋを導入し、ｋを１
からＭまで順次変えて、次の操作を行なう．ＩＦ部子テ
ーブルポインタフ０フに番目のフィールドに格納されて
いる．先頭位置ポインタ値と最終位置ポインタ値とにも
とづき、ＩＦ部文字列番号テープ！し７０４）から当該
する文゛字列番号’ｌｘ　ｔ　ｙｉ　ｅ・・・、ｙ，を
読み出す１．ここにＰはそのルール中に含まれるＩＦ文
の数である．水輪、。

ＩＦ部文字列とルーフル番号とを関連付けるため。

項目関連テーブル５１４の（ｙｓｅＮ＋桝）。

（ｙｉ　ｔ　Ｎａｋ）ｔ・・・、、Ｃｙｐ　　ｔ　Ｎａ
ｋ）要轡を全て１とする。

ボックス１１０７は、ルール番号？ＴＨＥＮ部文字列と
の関連付けを行なう．上記と同様の変数ｋを、、導入し
、ｋを１から．￥まで順次変えて，次や操作。

を行なう．ＴＨＥＮ部享字列番号テーブル７０５のに番
目のフ．イールドに格納されて．いる文字列番。

号ｙを読み出し，項目、関連テーブル５１４の（Ｎ十ｋ
　＊　ｙ　）要素を１とする．　　、第１１図は配置処
理プログラムの詳細フローである．ボックスＩＩＪ．で
、レベル力、ウンタを１にセットし，ボックス１１２で
，初期現況を抽９出！．、る。初期現況は、他の，ルー
ルの結論とな、ってゼらず、ルールのＩＦ部文字列５．
としてのみ現われるという定義を基に、項目関連テーブ
ル５１４から抽出可能である。このようにして抽出され
た初期現況の文字列番号を項目配置テーブル５１５のレ
ベルカウンタの指す列に順次格納する。つづいて、ボッ
クス１１３では、この項目配置テーブル５１５に格納さ
れた文字列が、最終結論となっているかどうかを確認す
る。最終結論は、他のルールで結論された文字列で、他
のルールのＩＦ部文字列に使われていないという定義を
基に項目関連テーブル５１４から判定可能である。ここ
で、項目配置テーブル５１５のレベルカウンタが指す列
に格納された文字列が最終結論でなかった場合は、ボッ
クス１１４でレベルカウンタに１を加え、項目配置テー
ブル５１５のレベルカウンタの指す列の項目の探索を続
ける。本プログラムで実現しようとするルール関連図（
第３図）は文字列の枠４０１とルールの枠４０３が交互
に現われるので、レベルカウンタが奇数の列を指した時
、その列に格納される項目は１文字列番号であり、偶数
の列を指した場合、その列に格納される項目はルール番
号である。したがって、項目を求めようとする列が偶数
であった場合は、求める列の１つの前の列（レベルカウ
ンタの指す列の１つの前の列）に格納されている文字列
がＩＦ部に現われるルールを項目関連テーブル５１４か
ら抽出し、抽出されたルールのうち、ＩＦ部に表われる
文字列がすべて、すでに現在、レベルカウンタが指す列
よりも前の列に格納されているルールの番号を現在のレ
ベルカウンタが指している項目配置テーブルの列に順次
格納してゆく。また１項目配置テーブル５１５の項目を
求めようとする列（レベルカウンタの示す種）が奇数の
ときは、まず、レベルカウンタの示す値より１小さい列
のルールのＴＨＥＮ部文字列を抽出し、この文字列をＴ
ＨＥＮ部の文字列として有するルールが、すべて、すで
に現在、レベルカウンタが指す列よりも前の列に格納さ
れている文字列の番号を順次、項目配置テーブル５１５
のレベルカウンタの指す列に格納してゆく。次にボック
ス１１３に戻り、項目配置テーブル５１５のレベルカウ
ンタが示している列の項目が最終結論であるかどうかの
判定を行なう最終結論であれば終了し、そうでなければ
、上記の操作を繰り返すことによって、項目配置テーブ
ル５１５．を作成してゆく。

第１２図は、項目配置テーブル５１５の詳細である０本
テーブルの列１２１は、階層のレベルに対応している。

したがって第１のレベルつまり、項目配置テーブル５１
５の第１列目には、システム現況の文字列番号が格納さ
れる。また、本テーブルは、画面上のルール関連図の配
置に対応している。図を用いて具体的に示すと、例えば
第１２図に示す項目配置テーブルの１行１列、２行１列
。

３行４列の項目は、それぞれ第３図に示すルール関連図
のＡ、Ｂ、Ｃの項目に対応している。ここで行は、文字
列の枠をルールの枠、または、ルールの枠と文字列の枠
を結ぶ配線の交さ数が最少になるように決定する。また
、本ルール関連図第３図では、文字列とルールの枠が交
互に現われるので項目配置テーブルもそれに対応して格
納する必要がある６したがって、奇数列は、文字列の番
号が格納され、偶数列にはルール番号が格納されるよう
になっている。

第１３図は、作図処理プログラムの詳細フローである。

この例では、まず、ボックス１３１で、項目配置テーブ
ルの１行１列のエリアのディスプレイ画面上の座標ｘ、
Ｙを任意に決める０次に、任意のエリアとＸ方向に隣り
あうエリアの距離Ａｘと、Ｘ方向に隣りあうエリアの距
離Δｙを任意に決める。ボックス１３２では、列カウン
タを１にセットし、ボックス１３３では、行カウンタを
１にセットする。ボックス１３４では、項目配置テーブ
ルのこれらのカウンタが指す項目番号エリアに格納され
ている項目番号を調べ、もしＯでなければ、ボックス１
３５でその項目配置テーブルのディスプレイ画面上での
座標を上記の基準座標Ｘ、ＹとΔＸ、ΔＹを基にして計
算し、ボックス１３６で列カウンタが偶数か奇数かを判
定し、偶数であればルール番号が格納されている列であ
るのでボックス１３７でルール配置テーブルにその座標
を格納し、また奇数であれば、文字列番号が格納されて
いる列であるので、ボックス１３８で、文字列配置テー
ブル１３８に、座標を格納する０次に、ボックス１３９
で、行カウンタが項目配置テーブルの最終行に等しいか
どうかを判定し、等しくなければ、ボックス１４０で行
カウンタを十１し、上記操作を繰り返す、また１等しけ
れば、ボックス１４１に進み、列カウンタが項目配置テ
ーブルの最終列であるかどうかを判定し、最終列でなけ
れば列カウンタに１を加え、上記の操作を繰り返し、最
終列であれば、終了する。

第１４図は、表示処理プロゲララムの詳細フローである
。ボックス１４４では、文字列配置テーブル５１７に格
納されているデータを基に、全文字列の枠を画面上に表
示し、ボックス１４５では。

ルール配置テーブル５１６．に格納されている一一タを
基に、全ルールの枠を画面上に表示する。ボックス１４
６では、関連線テーブル５１８を基に文字列−・ルール
、ルール−文字列間の全配線を画面上に表示する。　　
　　　　、第１５図は、ルール配置テーブル５１６と文字列配置テ
ーブル５１７の詳細図である。ルール配置テーブル５１
６の第１列目５１６１はルール番号。

第２列目５１６２は、該当するルール番号の画面上のＸ
ｉＩ！標、第３列目５１６３は、該当するルール番号の
画面上のＹ座・標である。同様に、文字列配置テーブル
５１７の第１列目５１７１は文字列番号、第２列目５１
７２は該当する文字列番号の画面上のＸ座標。

第３番目５１７３は、該当する文字列番号の画面上のＹ
座標である。

第１６図は、関連線テーブル５１８の詳細である。関連
線テーブル５１８の各関連線データ１６１ａ。

１６１ｂ・・・は、関連線の始点側の項目番号１６２゜
終点側の項目番号１６”３．関連線の始点、・折れ曲り
点、および終点の位置座標１６４ａ、１６４ｂ。

１６４ｃ、・・・と、各関連線が文字列からルールへの
配線であるか、あるいは、ルールから文字列への配線で
あるかの区別をあられす属性１６５から構成される０本
実施例では、ルール関連図の関連線は最大４つの折れ曲
り点をもつので、位置座標−セットエリアは、１．６４
ａ、１６４ｂ、１６４ｃ。

１６４ｄ、１６４ｅ、１６４ｆの６つである。Ｈ連線の
各々の位置座標はＸ、Ｙの座標の対で表わされる。それ
らの座標は、始点、折れ曲り点、終点の順に１６４　ａ
　、　１６’４　ｂ　、・・・に順次セットされ、未使
用の位置座標セットエリアは０がセットされる。　　　
　　　　　　　　　　・第１７図は、ルール動作モニタ
プログラム５３０の詳細フローである。

ボックス１７１では、制御指令決定プログラム５２０か
らのルール起動信号が・入力されたかどうかを判断し、
もし入力・さ・れでいれば次に進む、ボックス１７２で
は、適用ルー・ルデータテーブルポインタ１９１が指す
適用ルールデータテーブル　・１９２中のルールＨａを
読み込み、ボックス１７３では、ルール配置テーブルよ
り５１６、該当するルールの画面上の座標を読み込′ん
で、、ボックス゛１７４でディスプレイ画面の関連図の
該当ルールの部分を点滅させる− ボックス１７５では、関連図テーブル５１８の行カウン
タを０にセットし、ボックス１７７で同カウンタに１を
加える。ボックス１７８では、行、１６５を調べ、これ
が０であれば文字列の枠から　　　　　　−カウンタの
指す関連図テ、−プル５１８の属性の、列Ｉルールの枠
への関連線であり、それ以外であれば。

ルールの枠から文字列の枠への関連線であること　　　
　　・を示すものとする。・したがって、もし、最終列
°が　　　　　　。

０であればボックス１７９で行カウンタの示す行１″、
ｆ）ｍ２１ｒＪ＠ｖ＊　Ｕ：　ｉａ’ｌｌＡｔｌ）ｍ、
？ｉ、＠０）ｆ：、ｔ′＜、−４＜、　’′。

該当するルールのナンバーに等しければ、ボヅク。

ス１８０で、その行の第、１列目に示される番号　□該
当す、る文字列の座標を文字列配置テーブルより１　　
　　　、゛（文字列の番号）を読み出し、ボックス１８
１で読み出して、ディスプレイ画面のルール関連図上　
　　　　ゝ゛の該当文字列の部分を点滅させる。ボック
ス１８５′では、この関連図テーブルを基に、文字列−
ルー　　　　　　。

ル間の・配線を点滅させる。、一方、最終列が１であれ
ば、ボックス１８２で行カウンタの示す行の第・１列目
つまり、配線の始、点側のナンバーが、該当。

するルールのナンバ、−に等しいかどうかを調べ・；等
しければ、ボックス’１８３で該当する行の第２列目に
示される番号（文字列の番号を読み出し、文字列配置テ
ーブルより該当する文字列の画面上の座標を読み出して
、ボックス１８４でディスプレイのルール関連図上の該
当文字列の部分を点滅させる。ボックス１８５では、こ
の関連図テーブルを基に、ルール−文字列間の配線を点
滅させる。

次にボックス１７６に戻り、行カウンタが関連線テーブ
ル５１８の最終行を指しているかどうかを判定し、最終
行でなければボックス１７７で行カウンタに１を加え、
上記と同様の操作を繰り返す。

また、行ポインタが、関連線テーブルの最終行に等しけ
れば終了する。

第１８図は、適用ルールデータテーブル５２２の詳細を
示すものである。制御指令決定プログラム５２０により
起動されたルールのルール番号は、適用ルールデータテ
ーブル１９２に順次格納される。適用ルールデータテー
ブルが何番目まで使われているかを示す適用ルールデー
タテーブルポインタ１９１である。

次に、ルール動作モニタシステムのオペレーションを説
明する。

ユーザは、コンソール端末４１０からルール入力５０１
を起動し、ルールを１行ずつコンソール端末４１０から
入力する。全てのルールの入力を終了すると、空白行を
入力することにより、ルール入力５０１の実行を終了さ
せる。以上により、ルールデータテーブル５１２ヘデー
タの格納が終了する６次に、ユーザは、コンソール端末
４１０より、ルール構造解析５０２を起動する。このプ
ログラムの実行により、項目テーブル５１３９項目関連
テーブル５１４が出来上る。次にユーザは配置処理５０
３を起動する。以降、順次、作図処理５０４９表示処理
５０５を起動するにれにより、データとして入力したル
ールに対する構造図がグラフィックディスプレイス４１
５やＸＹプロッタ４１６上に描き出される。尚、ルール
データの入力は、コンソール端末４１１から行なう他に
。

ルールデータが既に格納されているデータファイル５１
１をルール人力５０１にアサインすることによっても実
行する。

このようにして入力したルールに対する構造図をグラフ
ィックディスプレイ上に表示した後、制御指令決定プロ
グラム５２０を起動し、このプログラムによって、ルー
ルが起動されると、適用ルールデータテーブル５２２に
適用ルールの番号が記憶されると同時に、ルール動作モ
ニタプログラム５３０にルール起動信号を送る。この信
号をルール動作モニタプログラム５３０が受信すると、
構造解析・配置・配線プログラム５１０によって作成さ
れた各種テーブルを基に、起動ルール、および該当する
現況および、起動ルールによる結論およびそれらを結ぶ
配線を点滅させる。

本実施例によれば、（１）文字列はシステム現況、中間
結論、制御指令の３層に分離されて表示される。システ
ム現況の層に出ている文字列全体をチェックすることに
より、１！Ａ況データとして入手可能か否かの判定、さ
らに、それだけで十分か否かの判定が容易にできる。制
御指令の層に出ている文字列全体をチェックすることに
より、制御指令として実施可能か否か、十分か否かの判
定が容易にできる。（２）同一の文字列は１つだけ表示
し１重複表示は行なわないので、誤記された文字列の検
出も容易にできる（誤記された文字列の場合、配線が途
絶える。）といった入力されたルールの構造からルール
及び制御指令の妥当性をチェックするといった静的なチ
ェックに加えて、制御指令決定プログラムの起動時に、
今どのルールのＩＦ部の文字列が満足されて、どのルー
ルが起動され、その結果どのような結論が出たかといっ
た。ルールの進行状況の確認やその妥当性のチェックを
するといった動的なチェックが可能である。

〔発明の効果〕

本発明によれば、ＩＦ−ＴＨＥＮ型ルールの内容や相互
関連が整理された形で配置・配線されて表示されたルー
ル関連図上で、ルールの起動状況や制御指令の妥当性を
動的にチェックできるので、複雑な運用ルールを用いる
場合には、修正作業等の工数の低減が可能である。

【図面の簡単な説明】

第１図（ａ）はルール型式例、第１図（ｂ）はＩＰ−Ｔ
ＨＥＮルールの文字列の型式、第２図はルール記述例、
第３図ｔ≠出力図例、第４図はシステム構成図、第５図
はソフト構成図、第６図はルール入力プログラム詳細フ
ロー、第７図はルールデータテーブル詳細構造、第８図
は項目テーブル詳細構造、第９図は項目関連テーブル、
第１０図はルール構造解析プログラム、詳細フロー、第
１１図は配置処、環プログラム詳細フロー、第１２図は
。項目配置テーブル詳細構造、第１３図は作、図処理プロ
グラム詳細フロー、第１４１！ｌは表示処理プログラム
詳細フロー、第１５図はルール・文字列配置テーブル詳
細構造、第１６１！ｌ−は関連線テーブル詳細構造、第
１７、図はルール動炉モニタプログラム詳細フｐ−１第
１８図は開閉ルールデータテーブル詳細構造をそれぞれ
示す。５１０・・・構造解析・配置・配線プログラム、５０１
・・・ルール入力プログラム、５０２・・・ルール構造
解析プログ、ラム１．５０３・・・配置処理プログラム
。５０４・・・作図処理プログラム、戸０５・・・表示処
理プログラム、５２０・・・制御指令決定プログラム、
５３０・・・ルール動作モニタプログラム、５２２・・
・。冨　１　図　　　　　・：・　　　　　　　　−（Ｌ）　　　　　　・、／、　　
　　　　　　　　″　　　　　　ζ゛　′　　１　　　
　　　　　　　　　・□・　。ト□１、、　　　　　　、　　（１７）　　　　　’！＋、、
”１□　　　　　　　　　　　　　　　　　　　　　　
　　　　　　　　　　−−窩゛２　図　　　　　゛１１□　、ｔ　　　　　　　　　　　　　　　　　　　
、。ｆＪ　８　図、、　　・　ＶＪｔｚ　　図＋２７￥Ｊ　／θ　図ｆＩＩ　　図冨　ｔｓ′　　図・　１．′ だ　ｔ　ミ　−−−−−−−− ′９　　〉　　　〉 ■／げ図

Claims

【特許請求の範囲】１、記憶装置、少なくとも１つの条件部と少なくとも１
つの結論部からなるＩＦ−ＴＨＥＮルール（以下ルール
と呼ぶ）を処理するＩＦ− ＴＨＥＮルール実行部分と、該ＩＦ−ＴＨＥＮルール実
行部分が適用したルールおよび実行結果を図形の表示で
きるモニタ装置に表示するモニタ部分からなるＩＦ−Ｔ
ＨＥＮルール型記述処理システムにおいて、モニタ部分
内にルールの結論部に対応する条件部を持つ別のルール
を探しその２つのルールを関連づけるルール関連構造解
析部、条件部および結論部の文字列を内部に記した図形
をルールの関連をもとに画面上に配置し関連ある条件部
および結論部を記した図形同志を線で結ぶ配置・配線部
、および、作成された図形をモニタ装置に表示する構造
表示部を設け、ルールの関連を階層的に表現したルール
構造図をモニタ装置上に表示するとともに、ＩＦ−ＴＨ
ＥＮルール実行部が適用したルールを逐次モニタ装置上
のルール構造図上に表示することを特徴とするルール動
作モニタシステム。