JPS60237539A - ル−ル構造解析システム - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔発明の利用分野〕 本発明は、ＩＦ　−ＴＨＥＮ型ルールの内容と相互関連
を整理し表示するルール作成支援システムに係り、特に
ルールの矛盾や抜けのチェックに好適な支援システムに
関する。

［発明の背景〕 制御論理や生産計画などの論理を、ｒＩＦ−ＴＨＥＮ・
・・」型ルールで記述し、そのデータを与えるだけで、
自動的にルールを組合せ、制御指令や計画案などを決定
できる設備群制御方式を先に出願している（特願昭５８
−３７３９２号）。

この方式では制御論理のルール記述に当っては、専門オ
ペレータの持っている運用ノウハウをルール化する必要
がある。その際、■システム利用部門が多岐にわたるた
め目的・要求が多様である。

■システムが複雑であり取扱物が多種である等のため制
約が多様である１等の理由により、運用ノウハウのルー
ル化時にエラーの混入する可能性がある。その結果、ル
ール間の矛盾や抜けが発生することがあった。

この矛盾や抜けは、従来、次のような方式でチェックし
ていた。例えば、シミュレーションによるものである。

対象システムの動作モデルをプログラム化し、運用ルー
ルをデータとして与え、システム挙動を出力させる。目
的や要求、制約に反する挙動が見られると、それを分析
し、原因となったルールを修正する、といったものであ
る。

また別な方法としては、ルールの相互関連を示す図表を
、ルール作業者が手作りし、参照する、といったやり方
もある。

これらの方式では、ルールデータ作成期間が長期化する
、ルール数が大量になると専門オペレータのノウハウが
十分に反映されない、といった問題点があった。

〔発明の目的〕

本発明の目的は、ルールの矛盾・抜けのチェックを支援
するため支援システムを提供することにある。

〔発明の概要〕

本発明で取扱うＩＦ　−ＴＨＥＮ型ルールは、少なくと
も１つの条件部と少なくとも１つの結論部がら成り、条
件部ＡＩ、Ａ２．・・・Ａｎが全て真となるとき、結論
部Ｂｌ、Ｂ２．・・・Ｂｍが全て真となる。

この記法例を第１図に示す。条件部は、ＩＦの後にａｎ
ｄで連接してもよいし、ＩＦを並べてもよい。結論部は
、ＴＨＥＮの後にａｎｄで連接してもよいし、　ＴＨＥ
Ｎを並べてもよい。これらと同等であれば、別の記法で
あってもよい。以下、条件部をＩＦ部、結論部をＴＨＥ
Ｎ部と呼ぶ。このようなルール型では記述できないか、
或は記述はできても記述量が膨大となるような場合、例
えば微分方程式を解くとか組合せ最適解をめるような場
合、専用パッケージやサブルーチンを使用することにな
る。それへのリンケージやサブルーチンコールに関する
記述がルール中に出現してもよい（後述の実施例に、こ
の−例が出ている）。

本発明は膨大な量の矛盾や抜けを迅速、容易に分析・確
認できるように、ルールの内容や相互関連を自動的に図
示するシス妄ムであり、次の特徴を持たせる。

■ルール内容の見やすさ・・・ルールの上下部、　ＴＨ
ＥＮ部の記述単位（文字列）毎に、一つの枠で囲んで表
示する。

■表示の簡潔性・・・ある同一の文字列が、いくつかの
ルールのＩＦ部、　ＴＨＥＮ部に重複して出現する場合
、表示するのは１つだけとする。

■ルール構成の見やすさ・・・ルール名とがルール番号
などのルール識別名を枠で囲んで表示する。

このルール識別名を介し方向付けして、文字列を配置・
配線する。つまり、名ルール毎に、ＩＦ部にある文字列
→ルール識別名→ＴＨＥＮ部にある文字列の如く関連付
ける。ＴＨＥＮ部の文字列は、別のルール内でＩＦ部の
文字列として出現してもよく、その場合、上記パターン
が繰返されて、文字列→ルール識別名→文字列→ルール
識別名→文字列・・・という形でルール間の関連が表示
される。以上により、名文字列がどのルールのＩＦ部、
　ＴＨＥＮ部で使用されているが、さらに、各ルールが
どのような論理関係にあるかが明示される。

■文字列の意味付け（その１）・・・各文字列を、その
出現（使用）形態により、初期現況、中間結論、最終結
論の３層に分離して表示する。初期現況は、ＩＦ部にの
み出現する文字列；中間結論はＴＨＥＮ部、ＩＦ部の両
方に出現する文字列；最終結論はＴＨＥＮ部にのみ出現
する文字列である。

■文字列の意味付け（その２）・・・文字列を囲む枠と
ルール識別名を囲む枠とは形を違えて表示する。

■配置の見やすさ・・・各枠間の配線が可能な限り交叉
しないように、各枠を配置する。

なお、配置、配線２表示に関する処理は、例えば、特願
昭５６−１５６２７８号や特願昭５８−２１７１３０号
に述べられたシステム構造化手法支援システムの各機能
を活用すれば、容易に実現できる。

〔発明の実施例〕

以下、本発明の一実施例を図面を用いて説明する。

第２図は、ルールの記述方式を示す。ＩＦの後に続く文
字列２０１をＩＦ部文字列と呼び、ＴＨＥＮの後に続く
文字列２０２をＴＨＥＮ部文字例文字列。

手続名２０３は、このルールが使用する最適化プログラ
ムの名称であり、必要でなければ省略される。ＩＦ部文
字列が全て真となる時にのみ、ＴＨＥＮ部の文字列が全
て真となる。手続名２０３が記されている場合、当該プ
ログラムにより最適値が算出されて、ＴＨＥＮ部文字列
中の変数に代入される。

ＴＹＰＥの後には、ルールタイプ３０４として０又は１
が記されている。ルールタイプが１とは、そのルールの
ＴＨＥＮ部文字例文字列結論を意味しているものであり
、ルールタイプが０とは、そのルールのＴＨＥＮ部文字
例文字列結論を意味しているものである。

第３図は、制御論理をＩＦ−ＴＨＥＮ・・・型ルールで
記述した例である。制御の内容は、供給されたワークを
ステーション割付ける作業割付けである。

制御の方針は、（１）ワークは供給された順に割付ける
。（２）ステーションは稼働率の小さいものを優先する
、である６Ｎα１のルールは割付けるべきリークを決定
する。Ｎα２．＆３のルールは、そのリークを割付ける
対象ステーションを決定する。

すなわち、Ｎα２のルールによりそのワークの作業を行
なう機能がありかつ現在空いているステーションが候補
に挙げられる。＆３のルールは、それらの候補のうち稼
働率最小のものを選択する。Ｎα４のルールは、供給の
台車が使えることを確認し、最終的に制御指令を決定す
る。

第４図は、出力図面の一例を示したものであり、第３図
に記したルール群に対応している。この図の特徴は、■
３種類の枠型４０１，４０２゜４０３を使用する。■３
層（システム現況、中間結論、制御指令）に分離して各
枠を配置する、■配線の交叉数が最小となるように各枠
を配置する、■枠内にルール中の文字列や手続名を記述
する、等の点にある。枠型４０１は、ＩＦ部文字列、Ｔ
ＨＥＮ部文字例文字列ものであり、それらの中で特に制
御指令となる文字列は枠型４０２で囲う。枠型４０３は
、ルール識別名や手続名を囲うものである。

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

第５図は本発明を実現するシステム構成の一例を示した
ものである。５５１はコンソール端末であり、各種プロ
グラムの起動コマンドやデータ等を入力するための装置
である。５５２はＣＰＵで、各種プログラムを実行する
。５５３はグラフィックディスプレイであり、ルール関
連図の表示を行なう。５５４はＸＹプロッタであり、ル
ール関連図のハードコピーの出方を行なう。５５５はデ
ィスクであり、各種プログラムやデータを記憶−保管す
る。なお、ＸＹプロッタ５５４は、グラフィックディス
プレイ５５３に付属しているハードコピー装置や図形出
力の可能な漢字プリンタ等で代行することも可能である
。また、目的によっては、グラフィックディスプレイ５
５３．ＸＹプロッタ５５４は、どちらか一方でよいこと
もありうる。

第６図は、本発明の全体処理のフローチャートの概要を
、テーブルとの関連を含めて示したものである。５０１
はルール入力プログラム、５０２はルール構造解析プロ
グラム、５０３は配置処理プログラム、５０４は配線処
理プログラム、５０５は表示処理プログラム、５０６は
ルールデータテーブル、５０７は項目テーブル、５０８
は項目関連テーブル、５０９は項目順序テーブル、５１
０は項目配置テーブル、５１１は段・層対応テーブル、
５１２は関連線テーブルである。

配置処理プログラム５０３．配線処理プログラム５０４
２表示処理プログラム５０５２項目テーブル５０７９項
目関連テーブル５０８９項目順序テーブル５０９２項目
配置テーブル５１０２段・層対応テーブル５１１．関連
線テーブル５１２は特願昭５８−２１７１３０号に述べ
たテーブルと同じものである。

ルール入力プログラム５０１は、ｒ　Ｉ　Ｆ　−ＴＨＥ
Ｎ・・・」で記述されたルールを、コンソール端末５５
１或はデータファイル５２０から読みこみ、ＩＦ部文字
列、　ＴＨＥＮ部文字列をルールデータテーブル５０６
に格納する。ルール構造解析プログラム５０２は、ルー
ルデータテーブル５０６をもとにして、第４図の枠内に
記入する文字列やルール番号を１つの項目と見做し、そ
れらを項目テーブル５０７に格納するとともに、それら
の相互関連を項目関連テーブル５０８に格納する。これ
らのデータをもとに、配置処理プログラム５０３は、階
層構造化を行ない、各項目の配置レベルを決定し、項目
配置テーブル５１０に格納する。その配置データにもと
づき、作図処理プログラム５０４は枠間の配線データを
作成し、関連線テーブル５１２に格納する。表示処理プ
ログラム５０５は、項目配置テーブル５１０．関連線テ
ーブル５１２゜項目テーブル５０７１段・層対応テーブ
ル５１１をもとに、グラフィックディスプレイ５５３や
ＸＹプロッタ５５４にルール関連図を描き出す。

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

第７図は、ルールデータテーブル５０６の詳細を示すも
のである。文字列テーブル６０１は上下部文字列、ＴＩ
（ＥＮＮ大文字列重複しないように格納する。文字列テ
ーブルポインタ６０２は、文字列テーブル６０１が何番
目まで使用されているかをさすポインタである。ＩＦ部
文字列、ＴＨＥＮ部文字列は、文字列テーブル６０１の
何番目に格納されている文字列と同一であるかにより識
別され、それを文字列テーブル番号と呼ぶことにする。

ＩＦＦ文字列番号テーブル６０４は、ＩＦ部文字列の文
字列番号を格納し、ＴＨＥＮ部文字死文字列番号テーブ
ル６０５ＨＥＮ部文字列の文字列番号を格納する。

手続者テーブル６０６は、手続基を格納し、ルールタイ
プテーブル６０３は、ルールタイプを格納する。ＩＦ部
子テーブルポインタ６０フ、各ルール毎のＩＦ部文字列
がＩＦＦ文字列番号テーブル６０４のどこから（先頭位
置）どこまで（最終位置）に格納されているのかをさす
ものである。以上の、上下部テーブルポインタ６０７、
ＴＨＥＮ部文字死文字列番号テーブル６手続者テーブル
６０６、ルールタイプテーブル６０３は、それぞれのｉ
番目のエントリがｉ番目のルール番号と暗黙に対応付け
られている。ルール番号ポインタ６０８は。

何番目のルール番号まで使用されているかを示すもので
ある。

第８図は、ルール入力プログラム５０１の詳細フローで
ある。

ボックス７０１は、文字列テーブル６０１、ＩＦ部子テ
ーブルポインタ６０フＩＦＦ文字列番号テーブル６０４
、ＴＨＥＮ部文字死文字列番号テーブル６手続基テーブ
ル６０６．ルールタイプテーブル６０３、文字列テーブ
ルポインタ６０２、ルール番号ポインタ６０８をクリア
する。

ボックス７０２は、データファイル５２０或はコンソー
ル端末５５１からルールの１行を読み込む。もし、デー
タがなければ終了する。データがあれば次へ進む。

ボックス７０３は、読み込んだ１行が、ＴＹＰＥの行な
のか、ＩＦの行なのか、ＴＨＥＮの行なのかを判定し、
それぞれの結果に応じて、ボックス７０４゜７０７，７
０９にブランチする。

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

また、ルール番号ポインタ６０８のさす上下部テーブル
ポインタ６０７の先頭位置、最終位置の値を、（１つ前
の最終位置の値）＋１とする。もし、ルール番号ポイン
タ６０８の値が１であれば、先頭位置、最終位置の値を
共に１とする。

ボックス７０５は、読み込んだ１行中のルールタイプ値
（０又は１）を抽出し、その値をルールタイプテーブル
６０３のルール番号ポインタのさす位置に格納する。

ボックス７０６は、ＴＨＥＮ部カウントを０とする。

ＴＨＥＮ部カウントとは、１つのルール中に出現したＴ
ＨＥＮ部の数であり、後でボックス７０９にて使用され
る。

ボックス７０７，７０８はＩＦ部文字列に対する処理を
行なう。ボックス７０７は、読み込んだＩＦ部文字列と
同じ文字列が文字列テーブル６０１に既に格納されてい
るのか否かを判定する。もし格納されておれば、何番目
に格納されているかという格納番号をめる。もし格納さ
れていなければ、文字列テーブルポインタ６０２を１だ
け増加し、その指すところへ読み込んだＩＦ部文字列を
格納し、文字列テーブルポインタ６０７の新たな値を格
納番号とする。

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

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

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

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

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

第９図は、項目テーブル５０７の詳細構造を示すもので
ある。同図は、前記特願昭５８−２１７１３０号の第６
図から転記したものである。ＩＦ部文字列、ＴＨＥＮ部
文字列、ルール番号、手続基など、１つの枠内に記入す
る文字列を一つの項目と見做す。今、文字列テーブル６
０１に格納されている文字列の数、つまり、文字列テー
ブルポインタ６０２の値、をＮとし、ルール番号の数、
つまり、ルール番号ポインタ６０８の値、をＭとする。

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

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

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

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

第１０図は、項目関連テーブル５０８の詳細構造を示す
。これは、（Ｎ＋Ｍ）ｘ　（Ｎ＋Ｍ）のマトリックスで
あり、項目ＩＤがｉである項目から、項目ＩＤがｊであ
る項目へ関連があるとき、マトリックスの＜ｉ、ｊ）要
素は１であり、関連がないときには（ｉ、ｊ）要素は０
である。

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

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

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

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

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

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

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

もし、ルールタイプテーブル６ フィールド値がＯであれば、そのルールに対応したルー
ル番号とＴＨＥＮ部文字列を、中間ルール層に入れる。

そのため、ＴＨＥＮ部文字死文字列番号テーブル６０５
目のフィールドに格納されている値Ｘを読み出し、項目
ＩＤがＸ及びＮ＋にである項目の層種別コードを共にＢ
２に書き換える。以上の操作により、ＩＦ部文字列とし
てのみ使用されている文字列に対応した項目の層種別コ
ードはＬＬ（システム現況層）にセットされている。

ボックス１１０４は、枠種別欄のセットを行なう。

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

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

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

ボックス１１０６は，ＩＦ部文字列とルール番号との関
連付けを行なう。上記と同様の変数ｋを導入し、ｋを１
からＭまで順次変えて、次の操作を行なう。ＩＦ部子テ
ーブルポインタ６０フに番目のフィールドに格納されて
いる先頭位置ポインタ値と最終位置ポインタ値とにもと
づき、ＩＦ部文字列番号テーブル６０４から当該する文
字列番号Ｙ＋　ｌ　ｙ２１・・・ｔａｐを読み出す。こ
こにｐはそのルール中に含まれるＩＦ文の数である。次
に、ＩＦ部文字列とルール番号とを関連付けるため、項
目関連テーブル５６８の（３’　ｒ　＊　Ｎ＋　ｋ）　
ｅ（７２ｔ　Ｎ＋　ｋ）ｔ・・・ｔ　（ｙｐ　ｙ　Ｎ＋
ｋ）要素を全て１とする。

ボックス１１０７は、ルール番号とＴＨＥＮ部文字列と
の関連付けを行なう。上記と同様の変数ｋを導入し、ｋ
を１からＭまで順次変えて、次の操作を行なう。ＴＨＥ
Ｎ部文字例文字列番号テーブル６０５目のフィールドに
格納されている文字列番号ｙを読み出し、項目関連テー
ブル５０８の（Ｎ十に、ｙ）要素を１とする。

第１２図は、前記特願昭５８−２１７１３０号における
第５図のプログラム構成、テーブル構成を示すものであ
る。本発明の配置処理５０３、作図処理５０４、表示処
理５０５は、前記特許出願の配置処理１０４、作図処理
１０５、表示処理１０６をそのまま使用する。ただし、
テーブル構成が前記特許出願とは若干具なっているので
、以下説明する。前記特許出願においては、多層構造配
置処理１０４は、切出し処理１０３により出力される切
出し項目テーブル１５０、項目関連テーブル１３０、項
目順序テーブル１２０を入力する。ところで、本発明に
適用する場合、前記特許出願の切出し処理１０３は、項
目テーブル１１０中の全ての項目を切出すことになる。

つまり、項目テーブル１１０と切出し項目テーブル１５
０は、等価なテーブルとなる。このことから、本発明で
は、配置処理５０３は、項目テーブル５０７、項目関連
テーブル５０８、項目順序テーブル５０９を入力する。

なお、項目順序は、本発明においては意味を持たないの
で、項目順序テーブル５０９には任意の値（例えば、０
）をセットする。項目配置テーブル５１０、段・層対応
テーブル５１１、関連線テーブル５１２は、それぞれ前
記特許出願の項目配置テーブル１６０１段・層対応テー
ブル１７０、関連線テーブル１８０と同一である。

次に、本システムの動作を説明する。

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

本実施例によれば、（１）文字列はシステム現況、中間
結論、制御指令の３層に分類されて表示される。システ
ム現況の層に出ている文字列全体をチェックすることに
より、現況データとして入手可能か否かの判定、さらに
、それだけで十分か否かの判定が容易にできる。制御指
令の層に出ている文字列全体をチェックすることにより
、制御指令として実施可能か否か、十分か否かの判定が
容易にできる。（２）同一の文字列は一つだけ表示し、
重複表示は行なわないので、誤記された文字列の検出も
容易にできる。（誤記された文字列の場合、配線が途絶
える。）（３）ルール識別名を介して、方向付けして文
字列が配置、配線される。配線の途切れやループ（フィ
ードバック）等により、ルールの抜けや矛盾の検出が容
易となる。以上のような点により、ルールのチェックを
効率良〈実施できる。

また、本実施例によれば、ルールのＩＦ部、ＴＨＥＮ部
の文字列の着目してルール間関連をめているので、（１
）ルールをランダムに入力してもルール構造図が表示さ
れる、（２）ルールが修正されても、自動的にルール構
造図も修正できる、という効果がある。

なお、本実施例では、制御論理を記述したルールを用い
たが、制御以外の対象にも適用できる。

例えば生産計画へも適用できるが、その場合は、システ
ム現況を初期現況に、制御指令を最終結論に書き換えれ
ばよく、これは表示プログラム中のタイトルデータ文を
変更すればよい。

本実施例では、ＩＦ部、ＴＨＥＮ部の文字列をそのまま
表示枠の中に書いたが、画面が小さかったり表示枠数が
多くて、枠の中に文字列を書ききれない場合、画面上の
枠の中には各文字列に対応した番号やコードのみを表示
せしめ、表示の必要な文字列はコマンド等により画面の
一部分等に表示する方式も可能である。

〔発明の効果〕

本発明によれば、ＩＦ−ＴＨＥＮ・・・型ルールの内容
や相互関連が、整理された形で配置・配線されて表示さ
れるので、ルールの矛盾や抜けをｖｉｓｕａｌにチェッ
クでき、従って、複雑な運用ルールの作成工数を低減す
る効果がある。

【図面の簡単な説明】

第１図と第２図はルール型式例を示す図、第３図はルー
ル記述例を示す図、第４図は出力図例を示す図、第５図
はシステム構成図、第６図はソフト構成図、第７図はル
ールデータテーブル詳細構造図、第８図はルール入力プ
ログラムの詳細フローチャート、第９図は項目テーブル
の詳細構造図、第１０図は項目関連テーブルの詳細構造
図、第１１図はルール構造解析プログラム詳細フローチ
ャート、第１２図は特願昭５８−２１７１３０号におけ
るソフト構成図である。 ５５１・・・コンソール端末、５５２・・・計算機、５
５３ｆ１ｓ　図 第　３　図 第　９　図 第１１　回

Claims (1)

1. 【特許請求の範囲】 １、情報処理装置、情報処理装置への入力装置。 図形を表示する出力装置から成り、ＩＦ　−ＴＨＥＮ型
   ルールを処理するルール型記述処理システムにおいて、
   少なくとも１つの条件部と少なくとも１つの結論部から
   成るルールを入力するルール入力部と、あるルールの結
   論部に対応する条件部を持つ別のルールを探し、その２
   つずつのルールを関連付けるルール関連構造解析部と、
   条件部および結論部の文字列を内部に記した図形を、ル
   ールの関連をもとに画面上に装置し、関連ある条件部お
   よび結論部を記した図形同志を線で結ぶ配置・配線部、
   および、作成された画面を出力装置に表示する構造表示
   部とを設け、ルールの関連を階段的に表示することを特
   徴とするルール構造解析システム。 ２、上記配置・配線部は、条件部および結論部の文字列
   を、ルールで結論されず、外部から与えられる条件部、
   ルールで結論され、他のルールでも使用される条件部、
   ルールで結論され、他のルールの条件部に現われない結
   論部の３層に分離して配置することを特徴とする第１項
   のルール構造解析システム。 ３、上記配置・配線部は、各ルールを構成する条件部の
   文字列と結論部の文字列を内部に記した図形を、各ルー
   ルの識別名あるいはルールの識別名とそのルールが使用
   するルーチン名を内部に記した図形を介して配線するこ
   とを特徴とする第１項のルール構造解析システム。 ４、上記ルール関連構造解析部は各ルールを構成する条
   件部の文字列とそのルールの識別名とを関連付け、ルー
   ルの識別名と結論部の文字列とを関連付けることを全ル
   ールに対して行なうことにより、全ルールを相互に関連
   付けることを特徴とする第１項のルール構造解析システ
   ム。 ５、上記構造表示部は文字列のかわりに、文字列に割当
   てられた記号を表示図形の中に表示することを特徴とす
   る第１項のルール構造解析システム。