WO1994011809A1 - Appareil et procede generateurs de regles - Google Patents

Description

明 細 書 ル ー ル生成装置 お よ び方法 技術分野

こ の 発 明 は ル ー ル ， と く に フ ァ ジ ィ 推 論 の た め の ル ー ル を 自 動的 に 生成す る 装置 お よ び方法 に 関す る 。 背景技術

フ ァ ジ ィ 推論 ま た は フ ァ ジ ィ 制御 は多 く の分野でェ キ ス パ ー ト · シ ス テ ム ， 故障診断， 各種機器の制御等 に 用 い ら れ る よ う に な っ て き て い る 。 適切 な フ ア ジ ィ 推論 ま た は フ ァ ジ ィ 制御の実行 に は適切 な ル一ルが必 要で あ る 。 し か し な 力 ら ， ル ー ル の作成 な い し は構築 は応用 分野 に か な り 豊富な知識を も っ て い る 技術者で な い と 困難を伴 う こ と が多 い。

蓄積 さ れ た経験， 勘， 知識等 に基づい て ル ー ルを作 成す る 方法 は， 作成者が豊かな経験， 知識を も っ て い る 専門家で あ る こ と が必要で あ る か ら ， 限 ら れた者 に し か ル ー ルを作成で き な い と い う 欠点が あ る 。

常 識 的 な 範 囲 で 暫定 的 に 初 期 ル ー ル を 作 成 し て お き ， こ の 初期 ル ー ル に デ ー タ を あ て は め な 力く ら ゾレ ー ル を 修正す る 方法 も あ る 。 こ の方法 は必ず し も 専門的 な 知識お よ び経験 を必要 と は し な い 力 試行錯誤 を繰返 さ な け れば な ら な い た め に 時間 と 労力 が力、か る と い う 問題点が あ る 。 明 の 開示

こ の 発明 は専門的知識を必要 と す る こ と な く ， し か も 迅速 に 適切 な ノレ 一 ルを決定す る こ と がで き る ノレ ー ル 生成装置 お よ び方法を提供す る も の で あ る O

こ の発明 に よ る ノレ一ル生成装置 は， そ れぞれが複数 の ノレ一ルを 含む， 複数の ル ー ル群を あ ら か じ め記憶 し た ル 一 ル群記憶手 段， ル ー ル生成 に 用 い る 入力 変数 デ ー タ お よ び 出力変数つ— 夕 ^入力す る た め の入力手 段， 上記 ル ー ル群記憶手段 に記憶 さ れた ル — ル群の そ れぞれ に し た が う 演算を， 上記入力手段か ら 入力 さ れ た 入力変数デ ー タ を用 い て行 う 第 1 の演算手段， 上記 第 1 の 演算手段 に よ る 演算結果 と 上記入力手段か ら 入 力 さ れ た 出力変数デ ー 夕 と を比較 し ， ル ー ル群 ご と に そ の有効度 を算 出す る 第 2 の 演算手段， な ら び に 上記 第 2 の 演算手段 に よ つ て得 ら れた 有効度 に 基づ い て適 切 な ル一ル群を選択す る 選択手段を 備 え て い る も の で あ る o

好 ま し く は， 上記選択手段 に よ っ て選択 さ れ た ル ー ル群を記憶す る 記憶手段， ま た は選択 さ れ た ル ー ル群 を 出力す る 出力装置が さ ら に設 け ら れ る 。

こ の 発明 に よ る ル ー ル生成方法 は， そ れ ぞれが複数 の レ ー ル を 含む， 複数の ル ー ル群を あ ら か じ め記憶手 段 に 記憶 さ せ て お き ， ル ー ル 生 成 に 用 い る 入力 変数 夕 お よ び 出 力 変 数 デ 一 夕 の 入 力 を 受付 け ， 上記 ル ル群記憶手段 に記憶 さ れた ル ー ル群の そ れぞれ に し た が う 演算を， 入力 さ れた入力変数デ ー タ を用 い て 行 い， 上記演算結果 と 入力 さ れた 出力変数デ ー タ と を 比較 し ， ル ー ル群 ご と に そ の 有効度を算 出 し ， 得 ら れ た有効度 に基づ い て適切 な ル ー ル群を選択す る も の で あ る

の 発明 に よ る と ， ル ー ル群記憶手段 に は過去 に作 成 さ れ た 複数 の ル - - ノレ 群 が あ ら か じ め 格納 さ れ て お

« こ れ ら の ル ー ル群の 中か ら ， 入力 さ れた入， 出力 変数つ 夕 に 琅 も 適合す る ル ー ル群が 自 動的 に選択 さ れ る 。 し た 力 つ て， 専門的知識がな く て も ル ー ル生成 を行 う こ と がで き ， し か も ほ ぼ妥 当 な ル ー ル群が得 ら れ る 。 ま た， 正確かつ 迅速な 処理が期待で き る 。

さ ら に 望 ま し く は， 選択 さ れ た ル ー ル群の一部を必 要 に 応 じ て修正す る 。 修正 さ れた ル ー ル群 も ま た ル ー ル群記憶手段 に記憶 さ れ る こ と に な ろ う 。

の 発明 の 実施態様 に お い て は， 上記入力手段が， 入， 出力変数 デ ー タ を 記憶 し た記録媒体 と ， こ の 記録 媒体か ら 入， 出 力変数デ ー タ を読取 る 読取装置か ら 構 成 さ れて い る 。 ル ー ル生成の た め の 入， 出 力変数デ 一 夕 の 持 ち 運 びが可能 と な る 。 の 発明 の 他の 実施態様 に よ る と ， ル ー ル生成装置 は， ホ ス ト 装置 と こ の ホ ス ト 装置 に 交信可能 接続 さ れた端末装置 と か ら 構成 さ れ る 。 ホ ス ト 装置 は上記 ル一ル群 πし I思 f"段， 上記第 1 の 演算手段， 上記第 2 の 演算手段お よ び上 § 選択手段を備 え る 。 上記端末装置 は上記入力手段を備 え る ο

の 実施態様 に よ る と ， 端末装置 か ら 必要 な デ一 夕 を 入力 し ， ホ ス ト 装置 に ル一ル を生成 さ せ， 生成 さ れ た ル一ルを端末装置で受取 る こ と 力 で き る 。

さ ら に 他の実施態様 に よ る と ， ル ー ル生成装置 は， ホ ス ト 装置 と ， こ の ホ ス ト 装置 に交信可能 に接続 さ れ た端末装置 と か ら 構成 さ れ る 。 上記ホ ス ト 装置 は上記 ル一ル群 πし 段を備 え る 。 上記端末装置 は上記入力 手段， 上 δし 上 の演算手段， 上記第 2 の 演算手段お よ び上 Β己 ϋ択手段を備 え る ο

の 実施態様 に よ る と ， ホ ス ト 装置か ら 伝送 さ れた ル一ル群を受取 り ， 端末装置 に お い て ル ー ノレを生成す る こ と がで き る

さ ら に 発展的 に展開 さ れ た発明 が提案 さ れて い る 。 こ の 展開 さ れた発明 に よ る ル ー ル生成装置 は， そ れぞ れが複数 の ル ー ルを 含む， 複数の ル ー ル群を あ ら か じ め記 し た ノレ一ル群記憶手段， ル ー ル生成の た め の 仕 様を 入力 す る た め の 第 1 の 入力手段， ル ー ル生成 に 用 い る 入力変数デ 一 夕 お よ び 出力変数デ 一 夕 を 入力す る た め の 第 2 の入力手段， 上記第 1 の 入力手段か ら 入力 さ れ た 仕様を 満 た す ル ー ル群を上記ル ー ル群記憶手段 に 記憶 さ れて い る ル ー ル群の 中 か ら 選択す る 第 1 の 選 択手段， 上記第 1 の選択手段 に よ っ て選択 さ れた ル ー ル群の そ れぞれ に し た が う 演算を， 上記第 2 の 入力手 段か ら 入力 さ れ た 入力変数デ 一 夕 を用 い て行 う 第 1 の 演算手段， 上記第 1 の 演算手段 に よ る 演算結果 と 上記 第 2 の 入力手段か ら 入力 さ れ た 出力変数デ ー タ と を比 較 し ， ル ー ル群 ご と に そ の 有効度を算 出 す る 第 2 の 演 算手段， な ら び に上記第 2 の演算手段 に よ っ て得 ら れ た有効度 に基づ い て適切 な ル ー ル群を選択す る 第 2 の 選択手段を備 え て い る 。

好 ま し く は， 上記第 2 の 選択手段 に よ っ て選択 さ れ た ル ー ル 群 を 記憶す る 記憶手 段 ， ま た は 選択 さ れ た ル ー ル群を 出力す る 出力装置が さ ら に設 け ら れ る 。

こ の 発明 に よ る ル ー ル生成方法 は， そ れぞれが複数 の ル ー ル を 含む， 複数の ル ー ル群を あ ら か じ め記憶手 段 に記憶 さ せ て お き ， ル ー ル生成の た め の 仕様の 入力 を受付 け， ル ー ル生成 に 用 い る 入力変数 デ ー タ お よ び 出力変数デ ー タ の 入力 を受付 け， 入力 さ れ た 仕様 を 満 た す ル ー ル群を上記ル ー ル群記憶手段 に 記憶 さ れて い る ル ー ル群の 中 か ら 選択 し ， 選択 さ れ た ル ー ル群の そ れぞれ に し た が う 演算を， 入力 さ れ た入力変数デ 一 夕 を 用 い て 行 い ， 上記 演 算 結 果 と 入 力 さ れ た 出 力変数 T 一 夕 と を比較 し ， ル ー ル群 ご と に そ の 有効度 を算 出 し ， 得 ら れた有効度 に基づ い て適切 な ル一ル群を選択 す る も の で あ る 。

の 発明 に よ る と ， 生成を希望す る ル ー ル の 仕様が 入 力 さ れ， ま ず こ の 仕 様 に 適 合 す る 一 ま た は 複数 の ル一ル群が選択 さ れ る 。 そ し て， 選択 さ れ た一ま た は 複数の ル ー ノレ群 に つ い て ， ル ー ル群 の 有効度が算出 さ れ， こ の 有効度 に 基づ い て最終的 に最 も 適切 な ル 一 ル が決定 さ れ る 。 仕様を 満 た す ル ー ル群 に つ い て の み有 効度算 出処理が行な わ れ る の で， こ の 処理の簡素化が 図 ら れ る 。 仕様を 満 た さ な い ル ー ル群 は は じ め 力、 ら 除 外 さ れ る の で， 不適切な ル ー ル群が最終的 に選択 さ れ る こ と は な く ， よ り 適切 な ル ー ル生成が達成 さ れ る 。

好 ま し い 実施態様で は， 上記仕様が必須事項 と 条件 事項 と を 含み， 上記第 1 の選択手段が必須事項の すべ て を満 た す ル ー ル群を選択 し ， 上記第 1 の選択手段 ま た は 上記 第 2 の 選 択手 段 が上記 条 件事項 に 基 づ い て ル一ル群を選択す る 。

の 発明 の 実施態様で は， 上記第 1 の 入力手段が， 仕様デ ー タ を記憶 し た記録媒体 と ， こ の 記録媒体か ら 仕様 デ ー タ を読取 る 読取装置 か ら 構成 さ れ ， 上 §G 2 の 入力手段が， 入， 出力変数デ ー タ を記憶 し た記録媒 体 と , こ の 記録媒体か ら 入， 出力変数デ ー 夕 を読取 る 読取装置 か ら 構成 さ れ る 。 の よ う に し て， 各ォ ペ レ 一 タ カ 自 分の た め の 入力 手段を 保有 し かつ 持 ち 運ぶ こ と がで き る よ う に な る 。

の 発明 の 他の 実施態様で は， ル ー ル生成装置 は， ホ ス ト 装置 と ， こ の ホ ス ト 装置 に 交信可能 に 接続 さ れ た端末装置 と か ら 構成 さ レ な o ホ ス ト 装置が上記ル ー ル群 πし 1息手段， 上記第 1 の選択手段， 上記第 1 の演算 手段 ， 上 DL ^ ム の 演算手段 お よ び上記第 2 の選択手段 を備 え， 上記端末装置が上記第 1 の 入力手段お よ び上 3D第 2 の 入力手段 を備 え る o

の 実施態様 に よ る と ， 端末装置か ら ル ー ル生成 に 必要な デ 一 夕 を入力すれば， こ れ ら の デ ー タ が ホ ス ト に 伝送 さ れ， ホ ス ト 装置で ル ー ル生成処理が行な わ れ る o 生成 さ れ た ル ー ル群 は端末装置 に 伝送 さ れ る の で ， 端末装置で生成 さ れた ル — ル群を 受取 る こ と が で き る o

の 発明 の さ ら に他の 実施態様で は， ル ー ル生成装 置 は， ホ ス ト 装置 と ， こ の ホ ス ト 装置 に 交信可能 に接 れ た端末装置 と か ら 構成 さ れ る 。 上記 ホ ス ト 装置 が上記 ル ー ル群記憶手段を 備 え， 上記端末装置が上記 第 1 の 入力手段， 上記第 2 の 入力手段， 上記第 1 の選 択手段， 上記第 1 の 演算手段， 上記第 2 の 演算手段お よ び上記第 2 の選択手段を備 え る 。

し た が つ て， 端末装置 は ホ ス ト 装置 か ら 伝送 さ れ た 複数の ル — ル群を 用 い て ル ー ル生成を行 う こ と がで き る o

さ ら に こ の 発明 の 他の 実施態様で は， ル ー ル生成装 置 は， ホ ス ト 装置 と， こ の ホ ス ト 装置 に 交信可能 に接 枕 ^ れ た 端末装置 と か ら 構成 さ れ る 。 上記 ホ ス ト 装置 が上記 ル ― ル群記憶手段お よ び上記第 1 の 選択手段を 備 え， 上記端末装置が上記第 1 の 入力手段， 上記第 2 の 入力手段 第 1 の 演算手段， 上記第 2 の 演算手 段 お よ び上記第 2 の選択手段を備 ん る 。

し た が つ て， 端末装置で ル一ル生成の た め の 仕様を 入力す る と ， こ の 仕様が ホ ス ト 装置 に 伝送 さ れ， ホ ス ト 装置 に お い て仕様を 満 た す ル ー ル群が選択 さ れ る 。 選択 さ れ た ル一ル群 は端末装置 に 伝送 さ れ る 。 端末装 置で は , 仕様を ？ たす ル ー ル群の み を 用 い て ル ー ノレ生 成処理を 行 ラ こ と がで き る よ う に な る 。 図面の 簡単 な説明

第 1 図 は 第 1 実施例 に よ る ル ー ル生成装置の構成を 示す プ ロ ッ ク 図で あ る 。

第 2 図 は ル ー ル生成条件を記述 し た原 ソ ー ス · プ ロ グ ラ ム の 例 を示す。

第 3 図 は生成 さ れた ル ー ル群を 含む ソ ー ス · プ ロ グ ラ ム の 例 を 示す。

第 4 図 は デ ー タ · フ ァ イ ル の 例 を 示す。

第 5 図 は ル ー ル生成 に 用 い ら れ る ル ー ル群の 例 を 示 す。

第 6 a 図 お よ び第 6 b 図 は メ ン バ ー シ ッ プ関数の 例 を 示す グ ラ フ で あ る 。

第 7 図 は ル ー ル生成時 に 作成 さ れ， ル ー ル群有効度 を求 め る た め の デ ー タ を テ ー ブルの形で表わ す も の で あ o

第 8 図 は ル ー ル生成処理手順を 示す フ ロ ー · チ ヤ 一 ト で あ る 。

第 9 図 は第 2 実施例 に よ る ル ー ル生成装置の構成を 示す プ ロ ッ ク 図で あ る 。

第 1 0図 は ル ー ル生成条件を記述 し た原 ソ ー ス · プ ロ グ ラ ム の 例 を示す。

第 1 1図 は生成 さ れ た ル ー ル群を含む ソ ー ス · プ ロ グ ラ ム の 例 を示す。

第 1 2図 は デ ー タ · フ ァ イ ル の 例 を示す。

第 1 3 a 図お よ び第 1 3 b 図 は ル ー ル生成 に 用 い ら れ る ル ー ル群の 例 を 示す。

第 1 4 a 図お よ び第 1 4 b 図 は一致度を算 出す る 方法を 示す グ ラ フ で あ る 。

第 1 5図 は ル ー ル生成時 に 作成 さ れ， 総合一致度 を求 め る た め の 各種一致度 を テ ー ブルの形で表 わす も の で あ o

第 1 6 a 図 お よ び第 1 6 b 図 は ル ー ル生成処理手順を 示 す フ ロ ー · チ ヤ 一 ト で あ る 。 第 1 ?図 は 第 3 実施例 を 示す プ ロ ッ ク 図で あ る

発明 を 実施す る た め の最良の 形態

実施例 ，

1 図 は こ の 発明 の第 1 実施例 に よ る ル ー ル生成装 置 の構成を示 し て い る 。 こ の ル ー ル生成装置 1 0は， コ ン ピ ユ ー 夕 · シ ス テ ム に よ っ て実現 さ れ， C P U 1 1 ，

R 0 M 1 2 , R A M 1 3 , ハ ー ド · デ ィ ス ク （磁気デ ィ ス ク 記憶装置） 1 4， お よ び フ ロ ッ ピ ィ · デ ィ ス ク · ド ラ ィ ブ装置 （以下， F D D と い う ） 1 5か ら 構成 さ れて い る Ο

の ル ー ル 生 成装 置 1 0は 次 の 動 作 を 行 う も の で あ る o 複数 （少な く と も 一つ ） の ル ー ル群がル ー ル生成

1 0に あ ら 力、 じ め設定 さ れて い る 。 各ル 一 ル群 は複 数 （少な く と も 一つ ） の ル ー ルか ら 構成 さ れて い る 。 入力変数デ ー タ と 出力変数デー タ と の 集合が ル ー ル生 成装置 1 0に 入力 さ れ る 。 入力変数の種類 は一般 に は複 数で あ る が一つ の場合 も あ る 。 各 出力変数 デ ー タ は 入 力変数デ ー タ と 対応 し て お り ， 対応す る 入力変数デ ー 夕 が与え ら れ た と き に 得 ら れ る こ と が望 ま れ る 期待値 を 表わ す。 ル ー ル生成装置 は， 入力変数 デ ー タ と 出 力変数 デ ー タ と の 集合が入力 さ れ た と き に ， そ の 集 台 を 実現す る の に最 も 適 し た ル ー ル群を ， あ ら か じ め設 定 さ れ た 複 数 の ル ー ル 群 の 中 か ら 選 択 す る 。 こ れが 1

言 A冊

ル 一 ル の 生 成 で あ る 。 入 力 変 数 デ ー タ が 選 択 さ れ た ル一ル群 に 適用 さ れ， 選択 さ れ た ル ー ル群 に し た が う 推論演算が行 な わ れ た と き に ， そ の 入力 変数 デ ー タ に 対応す る 出 力 変数 デ ー タ の 表 わ す 値 に 近 い 値 を も つ 推 果 カ《得 ら れ る こ と に な る 。

C P U 11は ， あ ら か じ め R O M に 格納 さ れ た プ ロ グ ラ ム に し た が っ て 上述 し た ル ー ル生成処理 を 実行す る 。 R A M 1 ま ル ー ル生成処理 の 過程で 得 ら れ た デ ー 夕 を 一時 的 に 記憶す る 。 ハ ー ド · デ ィ ス ク 14に は 複数 の ノレ 一 ノレ 群 が あ ら か じ め 記 憶 さ れ て い る 。 F D D 15 は ， 入 力 変数 デ ー タ と 出 力変数 デ ー タ と の 集 合 （ こ れ を デ 一 夕 · フ ァ イ ル と い う ） を 入力す る と と も に ， 選 択 さ れ た ル ー ル群 を 表 わ す デ ー タ を 出 力 す る た め に 用 い ら れ る 。 こ れ ら の デ ー タ の 入， 出 力 の た め の 媒体 が フ ロ ッ ピ ィ · デ ィ ス ク （ 以 下 ， F D と い う ） 16で あ o

こ の 実 施 例 で は ル ー ル 生 成 の た め の 条 件 は 原 ソ ー ス ， プ ロ グ ラ ム （ X . C ) の 形 で F D 16に 記憶 さ れ て お り ， こ の F D 16の 原 ソ ー ス · プ ロ グ ラ ム （ X . C ) が F D D 15に よ っ て 読取 ら れ， ル ー ル生成装 置 10に 入 力 さ れ る 。

第 2 図 は 原 ソ ー ス · プ ロ グ ラ ム （ X . C ) の 一例 を 示 し て い る 。 原 ソ ー ス · プ ロ グ ラ ム （ X . C ) は 通常 の 命 令 ブ ロ ッ ク と ノレ ー ル ' ブ ロ ッ ク α と を 含 む 。 ル ー ル · ブ ロ ッ ク α に は デ ー タ · フ ァ イ ル 名 （ X . d a t ) ， 入 力変数 の 種類， お よ び 出 力 変数 の 種類が記 述 さ れ て い る 。

デ 一 夕 · フ ァ イ ル を 原 ソ ー ス ' プ ロ グ ラ ム （ X . C ) の 中 に 直接 に 記述す る と プ ロ グ ラ ム が長 く な っ て し ま う 。 こ の こ と を 避 け る た め に 原 ソ ー ス · プ ロ ダ ラ ム （ X . C ) に は デ 一 夕 · フ ァ イ ル名 の み が記述 し て あ る 。 デ ー タ · フ ァ イ ル は F D 1 6の 他 の エ リ ア に 記録 さ れ て い る 。 入力変数 の 種類 （ I i お よ び I ₂ ) な ら び に 出 力 変数 の 種類 （ 0 ) は デ ー タ · フ ァ イ ル で用 い ら れ て い る 入， 出 力変数名 で あ る 。

デ ー タ · フ ア イ ノレ 名 （ X . d a t ) を も つ デ ー タ · フ ァ イ ル の 一例 が第 4 図 に 示 さ れ て い る 。 各行 の 入， 出 力 デ ー タ が組 を 構成 し て い る 。 た と え ば第 1 行 に お い て ， I j = 3 0， I ₂ = 4 0の と き に 0 j = 0 . 9 力 得 ら れ る こ と が期 待 さ れ る 。

第 5 図 は ハ ー ド · デ ィ ス ク 1 4に あ ら か じ め 記憶 さ れ て い る 複 数 の ル ー ル 群 の 一 例 を 示 す も の で あ る 。 各 ル ー ル 群 に ル ー ル 群 番 号 が 割 当 て ら れ て い る と と も に ， そ の 使 用 分 野 が 記 述 さ れ て い る 。 ル ー ル 群 ご と に ， そ の ノレ 一 ル群 を 構成す る フ ア ジ ィ 推論 ル ー ル （単 に ゾレ 一 ノレ と い う ） お よ び用 い ら れ る メ ン バ ー シ ッ プ関 数 を 表 わ す デ ー タ が含 ま れ て い る 。

た と え ば ル ー ル群番号 R 1 0は 湿度制 御 に 用 い ら れ る も の：で あ り ， ル ー ノレ 1 ( r u 1 e 1 ) ， ノレ 一 ノレ 2 ( r u l e 2 ) を 含む複数の ル ー ル か ら 構成 さ れて い る 。 入力変 数 は I と 1 ₂ の 2 つ で あ り ， 出力変数 は 〇 i 一つ で あ る 。 こ れ ら の ノレ 一 ノレで用 い ら れ る メ ン ノ 一 シ ッ プ関 数 は S M A L L ( 小 さ い ） ， M E D 1 U M ( 中 位 い ） お よ び LARGE (大 き い） の 3 種類で あ る 。 メ ン バ 一 シ ッ プ関 数 は三角 形で表現 さ れ る 。 メ ン バ ー シ ッ プ関数デ ー タ の 3 つ の 数字 は そ れぞれ， グ レ ー ド力 0 ， 1 お よ び 0 を も つ 三角 形の 頂点の 変数値で あ る 。 た と え ば， 入力 変数 の メ ン バ 一 シ ッ プ関数 SMALL は， 座標 （変数 値， グ レ ー ド） 力 そ れぞれ （ 0 , 0 ) , ( 2 1 ) ,

( 40, 0 ) で 表 わ さ れ る 頂 点 を も つ 三 角 形 で あ る 。 ル ー ル群番号 R 1 Qに お け る 入力変数 に 関す る 3 種 類の メ ン バ 一 シ ッ プ関数お よ び 出力変数 0 } に 関す る 3 種類の メ ン バ ー シ ッ プ関数が そ れぞれ第 6 a 図 お よ び第 6 b 図 に 示 さ れて い る 。

第 8 図 は ル ー ル生成装置 10の C P U 11に よ る ル ー ル 生成 （ル ー ル群選択） 処理手順を示す も の で あ る 。

オ ペ レ ー タ は ま ず， 原 ソ ー ス ' プ ロ グ ラ ム （ X . C ) お よ び デ ー タ · フ ァ イ ル （ X . d a t ) が格納 さ れ て い る F D 16を F D D 15に 装 填 す る 。 C P U 11は F D D 15を制御 し て F D 16か ら 原 ソ ー ス · プ ロ グ ラ ム

( X . C ) お よ び デ ー タ ' フ ァ イ ル （ X . d a t ) を読 取 り ， こ れ ら の プ ロ グ ラ ム お よ び フ ァ イ ル を R A M U 4

に 一時 的 に 記憶す る （ ス テ ッ プ 101 ) 。

C P U 11は 原 ソ ー ス · プ ロ グ ラ ム （ X . C ) を 一行 ずつ チ ヱ ッ ク し て い き ， ル ー ル · ブ ロ ッ ク α に 達 し た か ど う か を 判 断 す る （ ス テ ッ プ 1 G 2 ， 103 ) 。 ル ー ル · ブ ロ ッ ク ひ で あ る 力、 ど う か の 判断 は ， そ の 第 1 行 「 # i ί d e f RULE BLOCK 」 お よ び 末 行 「 # e" RULE B LOCKJ の 先頭 の 記号 「 # 」 に 基づ い て 行 う こ と がで き る 。 C P U 11は 原 ソ ー ス · プ ロ グ ラ ム ( X . C ) を そ の 第 1 行 「 i nc l ude ( s t di c. h ) 」 力、 ら 順次一行ず つ 読込ん で い き ， 記号 「 # 」 が含 ま れ て い る か ど う か を チ ェ ッ ク し ， 第 1 番 目 に 見つ け た 「 # 」 と 次 に 見つ け た 「 # 」 と の 間 の 行力 ル ー ル · プ ロ ッ ク で あ る と 判 断す る 。

ル ー ノレ · プ ロ ッ ク 内 の 記述 に 基づ い て C P U 11は ， 用 い る べ き デ ー タ · フ ア イ ノレ 力く 「 X . d a t 」 で あ る こ と ， 入力変数が と ι ₂ で あ る こ と , 出 力変数 が

0 j で あ る こ と を 認識す る 。 そ こ で， ハ一 ド · デ イ ス ク 14に 記憶 さ れ て い る ノレ 一 ル群 の う ち ， 入力変数 の 種 類 が 2 つ で か つ 出 力 変数 の 種類 が 1 で あ る ル ー ル群 を 見つ け 出 し ， こ れ ら の ル ー ノレ群 の そ れ ぞ れ に デ 一 夕 · フ ァ イ ル （ X . d a t ) の 入力変数 デ ー タ を あ て は め て フ ア ジ ィ 推論 を 実行す る （ ス テ ッ プ 104 ) ο フ ア ジ ィ 推 論 演 算 に は 任 意 の 演 算 方 法 を 用 い る こ と 力 で き る が， 最 も 一般的 に は M I N — M A X 演算 が利 用 さ れ よ つ o デ フ ア ジ フ ア イ す る た め に， た と え ば重心法が用 い ら れ よ う 。

各 ル ー ル群 に お い て， 一組の 入力変数デ 一 夕 に つ い て一つ の 推論結果 I が得 ら れ る 。 すべ て の 適用 可能 な ル — ル群 に つ い て， 入， 出力変数デ ー タ の 組 と ， そ の 組 に つ い て の 推 論 結果 を ま と め た の が第 7 図 で あ る o こ の よ う な デ ー タ は R A M 1 3に記憶 さ れ る 。

各 ル ー ル群 に お い て， 入， 出 力変数デ ー タ の組 ご と に， 出力変数デ ー タ と 推論結果 I R と の 比 T 1 が算 出 さ れ る 。 こ の 比 の 算 出 に お い て， 得 ら れ る 比 T

1 が常 に 1 以下の値 と な る よ う に ， 出力変数デ ー タ と 推 果 と の 大 き い方が分母 に ， 小 さ い方が分子 に 用 い ら れ る

さ ら に ， ル ー ル群 ご と に， 比 T i の 平均値が ル一ル 群の 有効度 （％ で表現 さ れ る ） と し て求 め ら れ る （ ス テ ッ プ 1 0 5 ) フ ァ ジ ィ 推論 と 有効度の 算 出 はすべて の 適 用 可 能 な ノレ ー ル群 に つ い て ， デ ー タ ' フ ア イ ゾレ

( X d a t ) の デ ー タ を用 い て実行 さ れ る （ ス テ ッ プ 1 0 6 )

の よ う に し て求 め ら れた ル ー ル群の 有効度 の う ち 最 わ 大 き い も の が選択 さ れ る （ ス テ ッ プ 1 0 7 ) 。 ま た 選 択 さ れ た 最 大 有 効 度 が 所 定 の し き い 値 （ た と え ば 8 0 % ) 以上か ど う かが判断 さ れ る 。 し き い値以上の最 大有 度 を も つ ル ー ル群が与え ら れた デ ー タ · フ ア イ ル （ X . d a t ) の 入， 出 力 変数 の デ ー タ に 最適 の も の と し て 決 定 さ れ ， そ の ル ー ル 群 番 号 ， ル ー ル 使 用 分 野， ノレ 一 ル群 お よ び有効度 が R A M 13内 の 原 ソ ー ス · プ ロ グ ラ ム （ X . C ) の ル ー ル ' ブ ロ ッ ク ひ に 書込 ま れ る （ ス テ ッ プ 108 ) 。

第 7 図 に 示 す例 で は ル ー ル群 R 10が最大 の 有効度 85

( % ) を も ち ， かっ し き い 値以上 で あ る 。

最後 に R A M 13内 に お い て ル ー ル · プ ロ ッ ク α に 選 択 さ れ た 最適 ル ー ル群が書込 ま れ た ソ ー ス · プ ロ ダ ラ ム が， F D D 15に よ り F D 16に 書込 ま れ る （ ス テ ッ プ 109 ) 。 最 終 的 に 生 成 さ れ た ソ ー ス · プ ロ グ ラ ム

( X j . C j ) の 例 が第 3 図 に 示 さ れ て い る 。 こ の よ う に 最 適 ノレ 一 ノレ 群 力 ソ ー ス · プ ロ グ ラ ム （ X j . C j ) に 書 込 ま れ る の で ， こ の プ ロ グ ラ ム を 用 い て フ ア ジ ィ 推論演算， フ ア ジ ィ 制御等 を 実行す る こ と が で き る 。

こ の よ う に ， こ の 実 施 例 の ル ー ル 生 成 装 置 に よ る と ， ソ ー ス · プ ロ グ ラ ム と デ ー タ · フ ァ イ ル と を 格納 し た F D を 装 置 の F D D に 装填 し ， 装 置 を 起動 す る だ け で ， 最適 ル ー ル群 が選択 さ れ F D に 書込 ま れ る 。 し た が っ て ， 専 門 的知識 を 持 た な い オ ペ レ ー タ で あ っ て も 迅速 に 最適 ル ー ル を 得 る こ と が で き る 。

選択 さ れ た 最適 ル ー ル が F D に 書込 ま れ る 前 に ， ま た は F D に 書込 ま れ た 後 に ， . 選択 さ れ た 最適 ル ー ル の 一部 （ た と え ば メ ン バ ー シ ッ プ関数等） を 修正す る こ と に よ り ， デ ー タ · フ ァ イ ル の 入， 出 力変数デ ー タ に よ り 適 し た ル ー ル群を 得 る よ う に す る こ と も で き る 。 こ の 場合， デ ー タ · フ ァ イ ル の デ ー タ を 用 い て修正後 の ル ー ル群 に し た が う フ ァ ジ ィ 推論 を再度実行 さ せ， ル ー ル群の 有効度が向上 し て い る か ど う かを確認す る こ と が好 ま し い。 逆 に い う と ， ル ー ル群の 有効度が高 ま る よ う に ル ー ル群を修正す る 。

第 2 実施例

第 9 図 は第 2 実施例 に よ る ル ー ル生成装置の構成を 示 し て い る 。 こ の 図 に お い て， 第 1 図 に 示す も の と 同 一物 に は 同 一 符号 を 付 し ， 重複説 明 を 避 け る 。 以下 に， 第 1 実施例 と 異な る 点を 中心 に説明す る 。

F D D 15は 2 つ の F D 16と Πの読書 き 力 可能な も の で あ る 。 F D 16に は後述す る ル ー ル群 （第 13 a 図 お よ び第 13 b 図） が あ ら 力、 じ め格納 さ れて い る 。 F D Πに は 原 ソ ー ス · プ ロ グ ラ ム （ 第 10図 ） お よ び デ ー タ · フ ァ イ ル （第 12図） が あ ら か じ め格納 さ れて い る 。

生成 さ れ た ル ー ルの 修正等の た め の デ ー タ ， 命令等 を 入 力 す る た め に キ ー ボ 一 ド 18が設 け ら れ て い る 。 キ ー ボ ー ド 18は ィ ン タ 一 フ ヱ イ ス 19を介 し て C P U 11 と 接続 さ れて い る 。

第 10図 に 示す原 ソ ー ス · プ ロ グ ラ ム （ X . E ) が命 令 ブ ロ ッ ク と ル ー ル · ブ ロ ッ ク と を 含む こ と は 第 1 実 施例 と 同 じ で あ る 。 第 1 実施例 の 原 ソ ー ス · プ ロ グ ラ ム と 異 な る 点 は ， 第 2 実施 例 の 原 ソ ー ス · プ ロ ダ ラ ム （ X . E ) の ノレ ー ゾレ ' ブ ロ ッ ク に ， ノレ ー ル生成の た め の 必須事項 と 条件事項 と が記述 さ れて い る こ と で あ o

必須事項 は， ル ー ル生成の た め に 使用 す る 入， 出力 変数デ ー タ を格納 し た デ ー タ · フ ァ イ ル の 名称 （デ ー タ * フ ァ イ ル名 = X . d a t 3 ) ， 生成す べ き ル ー ル の 使用 分野 （ TEMP. CONTROL = 温度制御） ， 入力変数種 類数 （ 2 ) ， お よ び 出力変数種類数 （ 1 ) か ら 構成 さ れ る 。 こ れ ら の必須事項 は ル ー ル生成 に お い て必ず用 い な け れば な ら な い， ま た は満 た さ な け ればな ら な い 事項で あ る 。

条件事項 は で き る だ け 高 い程度 に お い て満 た す こ と が 要 求 さ れ る 事 項 で あ り ， 原 ソ ー ス · プ ロ グ ラ ム ( X . E ) で は H 1 N T S の 文字以降 に記述 さ れて い る 。 こ の実施例で は条件事項 は， ル ー ル数， 2 種類の 入力 変数の そ れぞれ に つ い て の 領域 （前件部 メ ン バ 一 シ ッ プ関数の 定義域） ， 出力変数の 領域 （後件部 メ ン バ ー シ ッ プ関数の 定義域） ， 2 種類の 入力変数の そ れぞれ に つ い て の 前件部 メ ン バ ー シ ッ プ関数種類数， お よ び 後件部 メ ン バ 一 シ ッ プ関数種類数を含む。

第 12図 に 示す デ ー タ · フ ァ イ ル は第 1 実施例 に お け る デ ー タ · フ ァ イ ル と 同 じ 構造を も つ 。 第 13 a 図お よ び第 13 b 図を参照 し て， ノレ ー ル群 に 関 す る デ ー タ に は， ル ー ル群番号， ル ー ル群特性， ル ー ル お よ び メ ン バ ー シ ッ プ関数デ ー タ が含 ま れ る 。 ル 一 ル群特性が第 2 実施例 に 特有の も の で あ る 。 ル ー ル群 特性 は基本的 に は， 原 ソ ー ス · プ ロ グ ラ ム の必須事項 お よ び条件事項 に 対応す る も の で あ り ， ノレ 一 ル群 ご と に 設 け ら れ る 。

ル ー ル群特性 に 含 ま れ る 使用 分野 は ， そ の ル ー ル群 が過去 に使用 さ れ た分野を 示す。 ル ー ル群特性 は さ ら に ， そ の ル ー ル群 に お け る ， 入力変数種類数， 出 力変 数種類数， 入力変数 ご と の 入力変数領域， 出力変数領 域 ， 入 力 変数 ご と の 前件 部 メ ン バ ー シ ッ プ関数種類 数， お よ び後件部 メ ン バ — シ ッ プ関数種類数を 含む。

第 16 a 図 お よ び第 16 b 図 は C P U 11に よ る ノレ ー ル生 成処理の 手順を示す も の で あ る 。

ル 一 ノレ群を 記憶 し た F D 16， な ら び に ソ ー ス · プ ロ グ ラ ム お よ び デ ー タ · フ ア イ ノレ を 記憶 し た F D 17が F D D 15に 装 填 さ れ る 。 F D D 15を 通 し て F D 17の ソ ー ス · プ ロ グ ラ ム （ X . E ) がー行 ずつ 読取 ら れ C P U 11に与え ら れ る （ ス テ ッ プ 111 ) 。 C P U 11は ル ー ル · ブ ロ ッ ク ま で 読 み 進 ん だ 力、 ど う か を 常 時 チ ェ ッ ク し （ ス テ ッ プ 112 ) ， ル ー ル · ブ ロ ッ ク に 至 る と そ こ に 記述 さ れて い る 必須事項を読取 り ， R A M 13に 一時記憶す る （ ス テ ッ プ 113 ) 。 必 須 事 項 の 比 較 処 理 が 行 な わ れ る （ ス テ ッ プ 114 ) 。 原 ソ ー ス · プ ロ グ ラ ム （ X . E ) に お け る 必 須事項の う ち 使用 分野， 入力変数種類数 お よ び 出 力変 数種類数の 3 項 目 が比較の対象 と な る 。

ル ー ル群 を記憶 し た F D 16か ら すべ て の ル ー ル群 に つ い て ， ル ー ル 群 ご と に ， そ の ノレ 一 ノレ 群番号 と と も に ， そ の ノレ ー ル群の ル ー ル群特性 に含 ま れて い る 使用 分野， 入力変数種類数お よ び 出力変数種類数が読込 ま れ， R A M 13に記憶 さ れ る 。

C P U 11は， 原 ソ ー ス · プ ロ グ ラ ム （ X . E ) に お け る 使用 分野， 入力変数種類数お よ び 出力変数種類数 と ， 各 ル ー ル 群 の そ れ ら に 対 応 す る 3 項 目 と を 比較 し ， 一致す る か ど う か を判断す る 。 3 項 目 の すべて が —致す る ル ー ル群の み が ル ー ル生成の た め の基礎ル ー ル群 と し て用 い ら れ る 。 C P U 11は， 3 項 目 の すべて がー致す る ル ー ル群 に 関す る デ ー タ を F D 16か ら 読込 ん で R A M 13に記憶す る （ス テ ッ プ 115 ) 。 第 U a 図 お よ び第 13 b 図 に 示す ル ー ル群デ ー タ の う ち ， 上記の 3 項 目 が原 ソ ー ス ' プ ロ グ ラ ム （ X . E ) の も の と 一 致す る も の は ル ー ル群番号 R 3 と R 57の ル ー ル群で あ こ の よ う に ， 生成すべ き ル ー ル の基本的枠組を定 め る 必須事項が完全 に 一致す る ル ー ル群の み を あ ら か じ め選別 し て候補 と し て い る の で ， 選択 の 対象 に な ら な い よ う な ル ー ル群 に つ い て 次 の 処理 を 行 う 必要 が な く な る 。

続 い て 条件項 目 に 関す る 検査 に 移 る 。 条件項 目 は 完 全 に 一致 す る 必要 は 必ず し も な く ， 原 ソ ー ス · プ ロ グ ラ ム （ X . E ) に 記述 さ れ た 条件項 目 と ル ー ル群 の 対 応す る 項 目 と が ど の 程度一致 す る かが判 定 さ れ る 。 こ の 検査 は R A M 1 3内 に 取込 ん だ ル ー ル群 に つ い て の み 行 な わ れ る 。

ま ず ル ー ル 数 一 致 度 が 算 出 さ れ る （ ス テ ッ プ 1 1 6 ) 。 原 ソ ー ス · プ ロ グ ラ ム （ X . E ) の ル ー ル数 は 1 Qで あ る 。 R A M 1 3内 に 取込ん だ ル ー ル群 の そ れ ぞ れ に つ い て ， そ れ ら の ル ー ル群 に 含 ま れ て い る ル ー ル の 数 が計数 さ れ る 。 た と え ば ル ー ル群 R 3 に 含 ま れ て い る ノレ一ノレ数力 9 で あ っ た と す る 。 こ れ ら の ソレ ー ル数 1 0と 9 と が そ れ ぞ れ フ ア ジ ィ 数 に 変換 さ れ る 。 数値 を フ ア ジ ィ 数 に 変換す る や り 方 は い ろ い ろ あ る が， 一例 と し て 第 1 4 a 図 に 示す手法 を 採用 す る 。 ル ー ル数 1 0に 対す る グ レ ー ド が 1 ， ノレ ー ル数 1 0に ± 5 し た 値 （ 1 5お よ び 5 ) に 対 す る グ レ ー ド 力く 0 と な る 三 角 形 の メ ン バ 一 シ ッ プ関数 （第 1 4 a 図 に 実線で 示す ） を 考 え ， こ の メ ン ノ '一 シ ッ プ関数 に よ っ て ル ー ル数 1 0の フ ァ ジ ィ 数 が表 わ さ れ る も の と す る 。 ル ー ル数 9 に つ い て も 同 じ ょ う な 三角 形状 の メ ン バ ー シ ッ プ関数 （第 1 4 a 図 に 鎖線 で 示 す ） を 考 え る 。 こ れ ら の 2 つ の メ ン バ ー シ ッ プ 関 数 の M I N — M A X 演 算結果 が ル ー ル数一致度 ( 0. 93) と な る 。 ル ー ル群 R 57の ル ー ル数が 10で あ つ た と す る と ， ル ー ル数一致度 は 1. Q と な る 。

次 に 入 力 変 数 領域 一致 度 が 算 出 さ れ る （ ス テ ッ プ

117 ) 。 入力変数領域一致度の算 出 は 入力変数の 種類 ご と に 行な わ れ る 。 た と え ば， 原 ソ ー ス · プ ロ グ ラ ム

( X . E ) に記述 さ れた 入力変数 1 } の 領域 は 0 〜 66 で あ る 。 こ れ に対 し て ル ー ル群 R 3 に お け る 入力変数

I j の 領 域 は ひ 〜 60で あ る 。 こ の よ う な 場 合 に ， 第 14 b 図 に 示す よ う に， 入力変数領域 を 底辺 と し ， そ の 領域 の 中 心 で グ レ ー ド カ 1 と な る 三 角 形状 の メ ン バ 一 シ ッ プ関数を考え る 。 こ れ ら の メ ン バ 一 シ ッ プ関 数の M I N — M A X 演算結果が入力変数 1 } に つ い て の 領域 一 致度 （ G . 9 O と い う こ と に な る 。 ル ー ル群 R 3 の 他の 入力変数 I ₂ ， お よ び他の ル ー ル群 R 57等 に お け る 入力変数 に つ い て も ， 原 ソ ー ス · プ ロ グ ラ ム

( X . E ) に記述 さ れた入力変数領域 と の一致度が同 じ ょ う に し て算出 さ れ る 。

さ ら に， 各ル ー ル群の 出力変数領域 に つ い て も ， 原 ソ ー ス · プ ロ グ ラ ム （ X . E ) に 記述 さ れ た 出 力変数 領域 と の 一 致 度 が 同 じ よ う に 算 出 さ れ る （ ス テ ッ プ

118 ) o

さ ら に ， 各 ル ー ル群の 前件部 メ ン バ ー シ ッ プ関数の 種類数 と 原 ソ ー ス ' プ ロ グ ラ ム （ X . E ) に 記述 さ れ た前件部 メ ン バ ー シ ッ プ関数の 種類数 と の 一致度が， 入力変数の 種類 ご と に 算 出 さ れ る （ ス テ ッ プ 1 1 9 ) 。 こ の一致度算 出 は， ル ー ル数一致度算 出 と 同様 の方法 に よ り ， メ ン バ ー シ ッ プ関数種類数を フ ア ジ ィ 数 に 変 換 し て行な わ れ る 。

因み に ， ル ー ル群 R 3 の 入力変数 に 関 し て は， メ ン バ ー シ ッ プ関数 は S M A U ， M E D 1 II Mお よ び L A R (； E の 3 種類で あ り ， 原 ソ ー ス ， プ ロ グ ラ ム （ X . E ) に お い て も 入力変数 の メ ン バ 一 シ ッ プ関数種類数 は 3 で あ る か ら ， 一致度 は 1 . 0 と い う こ と に な る 。

各ル ー ル群の 後件部 メ ン バ 一 シ ッ プ関数の 種類数の 一致度 に つ い て も 同 じ よ う に し て算出 さ れ る （ ス テ ツ プ Π 0 ) 。

以上の よ う に し て算 出 さ れた一致度 は ル ー ル群 ご と に， そ の ル ー ル群番号 に対応 し て R A M 1 3に記憶 さ れ る 。 R A M 1 3に 記憶 さ れた一致度の 計算結果の一例が 第 1 5図 に 示 さ れて い る 。

ル ー ル群の 有効度 （％ ) がル ー ル群 ご と に求 め ら れ る （ ス テ ッ プ 1 2 1 ) 。 ル ー ル群の有効度 は， 第 1 実施 例 に お い て 説 明 し た よ う に ， 原 ソ ー ス · プ ロ グ ラ ム ( X . E ) に 記述 さ れた フ ア イ ノレ名 （ X . d a t 3 ) の デ ー タ · フ ァ イ ル の 入力変数デ ー タ を 用 い て， ル ー ル 群 ご と に ， そ の ゾレ ー ル群 に 含 ま れ る ル ー ル に し た 力 う フ ア ジ ィ 推論演算 を行 い ， フ ア ジ ィ 推論結果 と 出力変 数デ 一 夕 と の 比を求 め， こ の 比の平均値 を 算 出す る こ と に よ り 求 め ら れ る 。 得 ら れ た 有効 度 も ま た ル ー ル 群 番 号 に 対 応 し て R A M 1 3に 記憶 さ れ る （第 1 5図参 照） 。

総合一致度 は ル ー ル群 ご と に， ス テ ッ プ 1 1 6 〜 1 2 0 で求め ら れ た一致度の M I N 演算結果 と し て （％ で表 現 さ れ る ） 求め ら れ， R A M 1 3に記憶 さ れ る （ ス テ ツ プ U 2 ) (第 1 5図参照） 。

以上の デ ー タ に基づ い て最適ル ー ル群が決定 さ れ る ( ス テ ッ プ 1 2 3 ) 。 最適ル ー ル群の決定方法 に は 種 々 の や り 方があ る 。 そ の一例 は， 総合一致度が所定の し き い値以上 （ た と え ば 8 5 %以上） と い う 条件を満 た す ル ー ル群の う ち ， 最大の ル ー ル群有効度 を も つ ル ー ル 群を最適 ル ー ル群 と す る 方法で あ る 。 最適 ル ー ル群の ル ー ル群有効度 も ま た所定の し き い値以上 （た と え ば

8 0 %以上） で あ る こ と が必要で あ る 。 他の方法 に は， 総合一致度 と ル ー ル群有効度 と の M I N 演算を ル ー ル 群 ご と に 行 い， こ の M I N 演算結果が最大の も の を最 適 ル ー ル群 と す る も の 力 あ る 。

こ の よ う に し て決定 さ れた最適ル ー ル群の ル ー ル群 番号 （ ル ー ル群名） ， 使用 分野， 総合一致度， 有効度 お よ び ル ー ル群力 R A M 1 3内 に お い て ル ー ル · プ 口 ッ ク に 書込 ま れ る （ ス テ ッ プ ) 。 最後 に ， こ の ル ー ル · プ ロ ッ ク 力く F D Πの ソ ー ス · プ ロ グ ラ ム に書込 ま れ る こ と に よ り ， 最終的 に ， ル ー ノレ群を も つ ソ ー ス · プ ロ グ ラ ム が得 ら れ る （ ス テ ッ プ 1 2 5 ) 。 生成 さ れ た ソ ー ス · プ ロ グ ラ ム の一例が第 1 1図 に 示 さ れて い る 。

こ の よ う に し て第 2 実施例 で は， 必須事項を用 い て 適格性の あ る ル ー ル群を ま ず選択 し ， 次 に 条件事項を 用 い て ル ー ル群 ご と に 総 合一致度 を 算 出 し ， さ ら に デ 一 夕 · フ ァ イ ル の デ ー タ を 用 い た 推 論演算 に よ り ル ー ル群有効度を算出 し ， こ れ ら の総合一致度 お よ び ル ー ル群有効度 に基づ い て総合的 に最適 ル ー ル群を決 定 し て い る の で， 間違 い な く 最 も 適 し た ル ー ル群が選 択 さ れ る 。 こ の よ う に し てオ ペ レ ー タ は F D 1 6お よ び 1 7を セ ッ ト す る だ け で 自 動的 に最適な ル ー ルを得 る こ と が可能 と な る 。 す な わ ち ， オ ペ レ ー タ は専門的知識 を も っ て い な く て も 迅速 に 所望 の ル ー ルを生成す る こ と が可能 と な る 。

第 2 実 施 例 で は ， 一方 の F D に は 既存 の ル ー ル群 が ， 他 方 の F D に は ソ ー ス · プ ロ グ ラ ム お よ び デ ー 夕 · フ ア イ ノレが そ れぞれ格納 さ れて い る の で， こ れ ら を ル ー ル · ラ イ ブ ラ リ ま た は デ ー タ · ラ イ ブ ラ リ と し て持 ち 運ぶの に 便利で あ る 。 さ ら に オ ペ レ ー タ ご と に 自 分の F D を 持つ こ と がで き る 。

上述 し た 第 1 実施例 と 同 じ よ う に ， 決定 さ れ た ル ー ル の一部 （ た と え ば メ ン バ ー シ ッ プ関数や使用 分野な ど） を オ ペ レ ー タ が修正す る よ う に し て も よ い。 こ の と き ， キ ー ボ ー ド 18を 用 い て修正内容を 示す デ 一 夕 や 命令を入力す る こ と が で き る 。 さ ら に ， ル ー ル群や生 成 し た ル ー ル に作成者の 氏名 ， 作成年月 日 を 付随 さ せ て も よ い。 こ れ ら の デ ー タ も ま た キ ー ボ ー ド 18か ら 入 力 さ れ よ う 。

第 3 実施例

第 図 は第 3 実施例 に よ る ル ー ル生成装置 の構成を 示す も の で あ る 。 第 3 実施例 は シ ス テ ム構築の 例 を 示 す も の で， 第 1 実施例 お よ び第 2 実施例 に 示す ル ー ル 生成処理手順の両方を こ の 第 3 実施例 に 適用 す る こ と が可能で あ る 。

一台 の サ ー バ 30と 複数台 の ク ラ イ ア ン ト 端末 40と が 通信回線 （ た と え ば L A N = L。ca l Area Ne t o rk) に よ り 接続 さ れて い る 。

サ ー バ 3 Gは ル ー ル 生成 処理 を 行 う も の で ， C P U 31, 通信制御回路 32お よ び記憶装置 と し て の ハ ー ド · デ ィ ス ク · ド ラ イ バ （以下 H D D と い う ） Πを有 し て い る 。 H D D 33の ノヽ ー ド · デ ィ ス ク に は 複数 の ゾレ ー ル 群があ ら か じ め記憶 さ れて い る 。 C P U 31は， 第 8 図 ま た は 第 16 a 図 お よ び第 16 b 図 に 示す よ う な ル ー ル生 成処理を 実行す る 。

ク ラ イ ア ン ト 端 末 40は ル ー ル 生成 仕 様 （上述 し た ル ー ル · ブ ロ ッ ク に 記述 さ れ た事項） お よ びル ー ル生 成 に 必要 な 入 ， 出 力 変数 デ ー タ （上述 し た デ 一 夕 · フ ァ ィ ノレ ） を 入 力 す る と と も に ， ル ー ル生成要求 を サ一バ 30に 送 る た め の も の で， C P U 41， 通信制御回 路 42 , H D D 43, キ ー ボ ー ド 45， プ リ ン タ 46お よ び ィ ン 夕 ー フ ヱ イ ス 44を備 え て い る 。

ク ラ イ ア ン ト 端末 40の キ 一 ボ ー ド 45カヽ ら ル ー ル生成 要求 , ル ー ル生成仕様 お よ び入， 出力変数デ ー タ が入 力 さ れ ， こ れ ら の デ 一 夕 が サ ー バ 30に 送信 さ れ る o 入， 出力変数デ ー タ は F D を用 い て入力す る こ と も で き る

サ ー バ 30は こ れ ら の デ ー タ を用 い て H D D 33内 に記 憶 さ れて い る ル ー ル群の 中か ら 最適 な ル ー ル群を選択 し ， 要求の あ つ た ク ラ イ ア ン ト 端末 40に送信す る o サ ー バ 30に よ つ て選択 さ れ， ク ラ イ ア ン ト 端末 40に 送信 さ れた最適 ル ー ル群を表わす デ ー タ は プ リ ン タ 46 ( ま た は表示装置） か ら 出力 さ れ る 。

の よ う に し て， ク ラ イ ア ン ト 端末 40か ら 生成すベ き ル — ル に つ い て の規格を入力す る だ け で， ク ラ ィ ァ ン 卜 端末 40に お い て， サ ー バ 30が作成 し た ル一ル群を 入手す る こ と がで き る 。

ク ラ イ ア ン ト 端末 40に お い て ル ー ル生成処理を行 う よ う に し て も よ い 。 こ の場合 に は， サ ー バ 3 Qは ク ラ ィ ァ ン ト 端末 40か ら の要求 に 応 じ て H D D 33に格納 さ れ て い る ル ー ル群を ク ラ イ ア ン ト 端末 4 Qに 伝送す る o ク ラ ィ ア ン ト 端末 40カヽ ら サ ー バ 30に上述 し た ル ー ル • ブ ロ ッ ク の 必須事項を伝送す る よ う に し て も よ い。 こ の 場合 に は サ 一 ノ 3 0は H D D 3 3内 の ノレ 一 ル群の う ち か ら 必須事項 を 満 た す ル ー ル群の み を ク ラ イ ア ン ト 端末 4 0 に 伝 ¾す る 。 産業上 の 利用可能性

フ ァ ジ ィ 推論 ル ー ル に し た 力 つ て制御 ま た は推論 を 実行す る 機器 は多岐 に わ た っ て い る 。 温度制御， 湿度 制 御 ， 機器 の 故 障診 断 等 々 で あ る 。 こ れ ら の 多 く の フ ァ ジ ィ 制御分野で は制御の た め の フ ァ ジ ィ · ル ー ル を作成 し な け れば な ら な い。 こ の 発明 に よ る ソレ ー ノレ生 成装置 は フ ァ ジ ィ · ル ー リレを用 い る すべて の フ ァ ジ ィ 制御， フ ア ジ ィ 推論の 産業分野で利用可能で あ る 。

Claims

請求 の 範囲

1 . そ れぞれが複数の ル ー ルを含む， 複数の ル ー ル群 を あ ら か じ め記憶 し た ル ー ル群記憶手段，

ル ー ル生成の た め の 仕様を 入力す る た め の 第 1 の 入 力手段，

ル ー ル生成 に 用 い る 入力変数デー タ お よ び 出力変数 デ ー タ を入力す る た め の 第 2 の 入力手段，

上記 第 1 の 入 力 手 段 か ら 入 力 さ れ た 仕 様 を 満 た す ル ー ル 群 を 上記 ル ー ル群記 憶手段 に 記憶 さ れ て い る ル ー ル群の 中か ら 選択す る 第 1 の選択手段，

上記第 1 の選択手段 に よ っ て選択 さ れた ル ー ル群の そ れぞれ に し た が う 演算を， 上記第 2 の 入力手段か ら 入力 さ れ た入力変数デ ー タ を用 い て行 う 第 1 の演算手 段，

上記第 1 の 演算手段 に よ る 演算結果 と 上記第 2 の 入 力 手 段 か ら 入 力 さ れ た 出 力 変数 デ ー タ と を 比較 し ， ル ー ル 群 ご と に そ の 有効度 を 算 出 す る 第 2 の 演算手 段， な ら び に

上記第 2 の演算手段 に よ つ て得 ら れた 有効度 に基づ い て適切 な ル ー ル群を選択す る 第 2 の選択手段，

を備 え た ル ー ル生成装置。

2 . 上記第 2 の選択手段 に よ っ て選択 さ れ た ル ー ル群 を記憶す る 記憶手段を さ ら に 備 え た請求の 範囲第 1 項 に記載の ル ー ル生成

3 . 上記第 2 の選択手段 に よ っ て選択 さ れ た ル ー ル群 を 出力す る 出 力装置を さ ら に備 え た請求の 範囲第 1 項 に 記載 の ル ー ル生成装置。

4 . 上記第 1 の入力手段が， 仕様デ — 夕 を §し 1思 し i- 5し 録媒体 と ， こ の記録媒体か ら 仕様 デ ー タ を読取 る 読取 装置か ら 構成 さ れて い る ， 請求の 範囲第 1 項 に 記載の ル ー ル生成装置。

5 . 上記第 2 の 入力手段が， 入， 出力変数デー タ を言己 憶 し た 記録 媒体 と ， こ の 記 録媒体 か ら 入 , 出 力変数 デ ー タ を読取 る 読取装置か ら 構成 さ れて い る ， 請求の 範囲第 1 項 に記載の ル ー ル生成装置。

6 . ホ ス ト 装置 と ， こ の ホ ス ト 装置 に交信可能 に接続 さ れた端末装置 と か ら 構成 さ れ，

ホ ス ト 装置が上記 ル ー ル群記憶手段， 上記第 1 の選 択手段， 上記第 1 の演算手段， 上記第 2 の 演算手段お よ び上記第 2 の選択手段を備え，

上記端末装置が上記第 1 の入力手段お よ び上記第 2 の 入力手段を備 え て い る ，

請求の 範囲第 1 項 に記載の ル ー ル生成装

7 . ホ ス ト 装置 と ， こ の ホ ス ト 装置 に交信可能 に 接続 さ れ た端末装置 と か ら 構成 さ れ，

上記 ホ ス ト 装置が上記 ル ー ル群記憶手段 を備 え， 上記端末装置が上記第 1 の 入力手段， 上記第 2 の 入 3

力手段， 上記第 1 の選択手段， 上記第 1 の 演算手段， 上記第 2 の 演算手段 お よ び上記第 2 の選択手段を備 え て い る ，

求の 範囲第 1 項 に 記載の ル ー ル生成装置。

8 . ホ ス ト 装置 と ， こ の ホ ス ト 装置 に 交信可能 に 接続 さ れた端末装置 と か ら 構成 さ れ，

上記 ホ ス ト 装置が上記ル ー ル群記憶手段お よ び上記 第 1 の 選択手段 を 備 え，

上記端末装置が上記第 1 の入力手段， 上記第 2 の入 力手段， 上記第 1 の演算手段， 上記第 2 の 演算手段お よ び上記第 2 の選択手段を備 え て い る ，

求の 範囲第 1 項 に記載の ル ー ル生成装置。

9 . 上記仕様が必須事項 と 条件事項 と を 含み，

上記 第 1 の 選 択手 段 は 必須事項 の す べ て を'満 た す ル一ル群を選択 し ，

上記第 1 の選択手段 ま た は上記第 2 の 選択手段 は上 記 条 件事項 に 基 づ い て ル ー ル 群 を 選 択 す る も の で あ る ，

求の 範囲第 1 項 に 記載の ル ー ル生成装置。

1 0 . そ れぞれが複数の ル ー ルを含む， 複数の ル ー ル群 を あ ら か じ め記憶 し た ル ー ル群記憶手段，

ル ー ル生成 に 用 い る 入力変数デ ー タ お よ び 出 力変数 夕 を 入力す る た め の 入力手段，

上記 ル ー ル群記憶手段 に 記憶 さ れた ル ー ル群の そ れ ぞれ に し た が う 演算を ， 上記入力手段か ら 入力 さ れ た 入力変数デ ー タ を 用 い て行 う 第 1 の 演算手段，

上記第 1 の 演算手段 に よ る 演算結果 と 上記入力手段 か ら 入力 さ れた 出力変数デ ー タ と を比較 し ， ル ー ル群 ご と に そ の 有効度を算出す る 第 2 の 演算手段， な ら び に

上記第 2 の 演算手段 に よ っ て得 ら れ た有効度 に 基づ い て適切 な ル ー ル群を選択す る 選択手段，

を備 え た ル 一 ノレ生成装置。

1 1 . 上記選択手段に よ っ て選択 さ れた ル ー ル群を記憶 す る 記憶手段を さ ら に 備 え た請求の 範囲第 1 0項 に記載 の ル ー ル生成装置。

1 2 . 上記選択手段 に よ っ て選択 さ れた ル ー ル群を 出力 す る 出 力装置を さ ら に備 え た請求の範囲第 1 0項 に記載 の ル ー ル生成装置。

1 3 . 上記入力手段が， 入， 出力変数デ ー タ を記憶 し た 記録媒体 と ， こ の記録媒体か ら 入， 出力変数デ ー タ を 読取 る 読取装置か ら 構成 さ れて い る ， 請求の範囲第 1 0 項 に 記載の ル ー ル生成装置。

1 4 . ホ ス ト 装置 と ， こ の ホ ス ト 装置 に 交信可能 に接続 さ れ た 端末装置 と か ら 構成 さ れ，

ホ ス ト 装置が上記ル ー ル群記憶手段， 上記第 1 の演 算手段， 上記第 2 の 演算手段 お よ び上記選択手段を備 え ， ミ上記端末装置が上記入力手段を備 え て い る ， 求の 範囲第 1 0項 に記載の ル ー ル生成装置。

1 5 . ホ ス ト 装置 と ， こ の ホ ス ト 装置 に 交信可能 に 接続 さ れ た 端末装置 と か ら 構成 さ れ，

上記ホ ス ト 装置が上記ル ー ル群記憶手段を備 え， 上記 端 末 装 置 が上記 入 力 手 段 ， 上記 第 1 の 演算手 段， 上記第 2 の演算手段お よ び上記選択手段を備 え て い る

求の 範囲第 1 0項 に記載の ル ー ル生成装置。

1 6 . そ れぞれが複数の ル ー ルを含む， 複数の ル ー ル群 を あ ら か じ め記憶手段 に 記憶 さ せ て お き ，

ル ー ル生成の た め の 仕様の 入力 を受付 け，

ル ー ル生成 に 用 い る 入力変数デ ー タ お よ び 出力変数 夕 の 入力 を受付 け，

入力 さ れた仕様を満 たす ル ー ル群を上記 ル ー ル群記 憶手段 に 記憶 さ れて い る ル ー ル群の 中 か ら 選択 し ， 選択 さ れ た ル ー ル群の そ れぞれ に し た 力く う 演算を， 入力 さ れ た 入力変数デー タ を用 い て行 い ，

上記演算結果 と 入力 さ れ た 出力変数デ ー タ と を比較 し ， ル ー ル群 ご と に そ の 有効度を算 出 し ，

得 ら れ た 有効度 に基づ い て適切 な ル ー ル群を選択す る ，

ル ー ル生成方法。

そ れぞれが複数の ル ー ル を 含む， 複数の ル ー ル群 を あ ら か じ め記憶手段 に記憶 さ せ て お き ，

ル ー ル生成に 用 い る 入力変数デ ー タ お よ び 出力変数 デ ー タ の 入力 を 受付 け，

上記 ル ー ル群記憶手段 に記憶 さ れた ル ー ル群の そ れ ぞれ に し た が う 演算を， 入力 さ れた入力変数デ ー タ を 用 い て行 い，

上記演算結果 と 入力 さ れた 出力変数デ ー タ と を比較 し ， ル ー ル群 ご と にそ の 有効度を算 出 し ，

得 ら れた有効度 に 基づ い て適切 な ル ー ル群を選択す る ，

ル ー ル生成方法。