JP3307461B2 - 推論装置 - Google Patents
推論装置Info
- Publication number
- JP3307461B2 JP3307461B2 JP11743093A JP11743093A JP3307461B2 JP 3307461 B2 JP3307461 B2 JP 3307461B2 JP 11743093 A JP11743093 A JP 11743093A JP 11743093 A JP11743093 A JP 11743093A JP 3307461 B2 JP3307461 B2 JP 3307461B2
- Authority
- JP
- Japan
- Prior art keywords
- group table
- collation
- rule
- working memory
- knowledge base
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Description
【０００１】
【産業上の利用分野】本発明は、航空機、物流システム
などの運用やスケジュール設定、計画を支援するための
エキスパートシステム等における推論装置に関する。
などの運用やスケジュール設定、計画を支援するための
エキスパートシステム等における推論装置に関する。
【０００２】
【従来の技術】従来から、複数の事象および各事象間の
因果関係を表す複数のルールからなる知識ベースと推論
部とからなる推論装置が提案されている（特開昭６４−
１０３５号、特開平１−１６２９３６号）。
因果関係を表す複数のルールからなる知識ベースと推論
部とからなる推論装置が提案されている（特開昭６４−
１０３５号、特開平１−１６２９３６号）。
【０００３】図７は、従来の推論装置の一例を示すブロ
ック図である。この推論装置５０は、専門家の知識を入
れた知識ベース５１と、その知識に基づいて推論および
問題解決を実行する推論部５２と、推論および問題解決
を実行する際にデータの出し入れを行うためのワーキン
グメモリ５３とで構成されており、その周辺には専門家
が知識ベース５１を編集するためのエディタ５４や、利
用者がたとえば対話形式で推論処理を実行するためのイ
ンタフェース５５およびマンマシン部５６が備えられ
る。推論は推論部５２が知識ベース５１とワーキングメ
モリ５３のマッチング判定を行い、さらに競合処理、発
火処理の制御を行う。
ック図である。この推論装置５０は、専門家の知識を入
れた知識ベース５１と、その知識に基づいて推論および
問題解決を実行する推論部５２と、推論および問題解決
を実行する際にデータの出し入れを行うためのワーキン
グメモリ５３とで構成されており、その周辺には専門家
が知識ベース５１を編集するためのエディタ５４や、利
用者がたとえば対話形式で推論処理を実行するためのイ
ンタフェース５５およびマンマシン部５６が備えられ
る。推論は推論部５２が知識ベース５１とワーキングメ
モリ５３のマッチング判定を行い、さらに競合処理、発
火処理の制御を行う。
【０００４】
【発明が解決しようとする課題】従来の推論装置５０で
は、知識ベース５１の表現形式が、推論部５２の実行対
象となる表現形式に限定されるため、知識ベース５１の
表現形式の改訂や拡張が難しいという課題がある。さら
に、推論実行の際、複数のルールが同時に発火すること
を防ぐ競合処理やルールの実行を行う発火処理が、予め
定められた推論部５２の仕様の範囲内での選択に限定さ
れているため、推論装置のアーキテクチャや基本ＯＳ
（オペレーションシステム）の有効活用が難しいという
課題がある。
は、知識ベース５１の表現形式が、推論部５２の実行対
象となる表現形式に限定されるため、知識ベース５１の
表現形式の改訂や拡張が難しいという課題がある。さら
に、推論実行の際、複数のルールが同時に発火すること
を防ぐ競合処理やルールの実行を行う発火処理が、予め
定められた推論部５２の仕様の範囲内での選択に限定さ
れているため、推論装置のアーキテクチャや基本ＯＳ
（オペレーションシステム）の有効活用が難しいという
課題がある。
【０００５】本発明の目的は、前述した課題を解決する
ため、推論実行速度の高速化が可能であって、多様な推
論を行うことができる推論装置を提供することである。
ため、推論実行速度の高速化が可能であって、多様な推
論を行うことができる推論装置を提供することである。
【０００６】
【課題を解決するための手段】本発明は、専門家の知識
を入れた知識ベース２と、データの出し入れを行うため
のワーキングメモリ５と、知識ベース２を所定のコンパ
イラ言語に適合するように表現されたＩＦ群テーブル４
に変換するためのトランスレータ３と、専門家が知識ベ
ース２を編集するためのエディタ６と、利用者が対話形
式で推論処理を実行するためのインタフェース７と、イ
ンタフェース７のマンマシン部８とが備えられ、ＩＦ群
テーブル４は、ワーキングメモリ５の操作とインタフェ
ース７の制御を行い、このＩＦ群テーブル４は、ルール
の条件部に関する情報を格納する領域であるＩＦ部照合
用ＩＦ群テーブル４ａであって、一連のアドレス空間に
各ルールの条件部を格納したルール条件部領域を備え、
さらに各ルール同士の競合を防止するための競合処理お
よびルールの信頼性を各ルール毎に数値化した確実度を
表すＣＦ値を修正するＣＦ値操作を含む各種フラグから
なる重複照合防止手段が設けられるＩＦ部照合用ＩＦ群
テーブル４ａと、ルールの実行部に関する情報を格納す
る領域であるＴＨＥＮ部照合用ＩＦ群テーブル４ｂであ
って、一連のアドレス空間に各ルールの実行部を格納し
たルール実行部領域を備え、これらのルールの実行部は
発火すべきルールを指示するための照合属性を有するＴ
ＨＥＮ部照合用ＩＦ群テーブル４ｂとを含み、ＩＦ部照
合用ＩＦ群テーブル４ａでは、ワーキングメモリ５の内
容を見ることにより照合属性操作を行い、ＴＨＥＮ部照
合用ＩＦ群テーブル４ｂでは、照合属性によって選択さ
れたルールの実行部を実行してワーキングメモリ５を操
作し、このようにして各ルールの推論を実行し、フロッ
ピーディスクまたはディスクメモリに記憶された知識ベ
ース２を取込んだ後、トランスレータ３がＩＦ群テーブ
ル４を更新し、知識ベース２を構成するルール内には、
エレメントおよびフィールドを用いた変数、配列、文字
列、および関数を使用し、ルール内で用いた文字列は、
トランスレータ３によって、予め定める対応表により数
値に変換して、ルールを１個のアドレスを持つ変数とし
てとらえて、発火処理を変数のアドレス照合を用いて実
行し、こうして知識ベース２がＩＦ群テーブル４に変更
されると、次に外部インタフェースまたはＴＨＥＮ部照
合用ＩＦ群テーブル４ｂの実行によってワーキングメモ
リ５の内容を更新するワーキングメモリ更新動作を行
い、次に、ＩＦ部照合用ＩＦ群テーブル４ａでの照合属
性を操作し、次にＩＦ部照合用ＩＦ群テーブル４ａでの
重複照合防止操作を行い、次にＴＨＥＮ部照合用ＩＦ群
テーブル４ｂで実行するＴＨＥＮ部を決定するために、
照合属性チェックを行った後、そのＴＨＥＮ部を実行す
るとともに、外部インタフェース７に対する操作および
ワーキングメモリ５の操作を行うか否かを判定して、ワ
ーキングメモリ５の操作を行う場合は、前記ワーキング
メモリ更新動作に移行し、一方、外部インタフェース７
に対する操作を行う場合は外部インタフェース７へアク
セスし、いずれの操作も行わない場合は、推論実行を終
了することを特徴とする推論装置である。
を入れた知識ベース２と、データの出し入れを行うため
のワーキングメモリ５と、知識ベース２を所定のコンパ
イラ言語に適合するように表現されたＩＦ群テーブル４
に変換するためのトランスレータ３と、専門家が知識ベ
ース２を編集するためのエディタ６と、利用者が対話形
式で推論処理を実行するためのインタフェース７と、イ
ンタフェース７のマンマシン部８とが備えられ、ＩＦ群
テーブル４は、ワーキングメモリ５の操作とインタフェ
ース７の制御を行い、このＩＦ群テーブル４は、ルール
の条件部に関する情報を格納する領域であるＩＦ部照合
用ＩＦ群テーブル４ａであって、一連のアドレス空間に
各ルールの条件部を格納したルール条件部領域を備え、
さらに各ルール同士の競合を防止するための競合処理お
よびルールの信頼性を各ルール毎に数値化した確実度を
表すＣＦ値を修正するＣＦ値操作を含む各種フラグから
なる重複照合防止手段が設けられるＩＦ部照合用ＩＦ群
テーブル４ａと、ルールの実行部に関する情報を格納す
る領域であるＴＨＥＮ部照合用ＩＦ群テーブル４ｂであ
って、一連のアドレス空間に各ルールの実行部を格納し
たルール実行部領域を備え、これらのルールの実行部は
発火すべきルールを指示するための照合属性を有するＴ
ＨＥＮ部照合用ＩＦ群テーブル４ｂとを含み、ＩＦ部照
合用ＩＦ群テーブル４ａでは、ワーキングメモリ５の内
容を見ることにより照合属性操作を行い、ＴＨＥＮ部照
合用ＩＦ群テーブル４ｂでは、照合属性によって選択さ
れたルールの実行部を実行してワーキングメモリ５を操
作し、このようにして各ルールの推論を実行し、フロッ
ピーディスクまたはディスクメモリに記憶された知識ベ
ース２を取込んだ後、トランスレータ３がＩＦ群テーブ
ル４を更新し、知識ベース２を構成するルール内には、
エレメントおよびフィールドを用いた変数、配列、文字
列、および関数を使用し、ルール内で用いた文字列は、
トランスレータ３によって、予め定める対応表により数
値に変換して、ルールを１個のアドレスを持つ変数とし
てとらえて、発火処理を変数のアドレス照合を用いて実
行し、こうして知識ベース２がＩＦ群テーブル４に変更
されると、次に外部インタフェースまたはＴＨＥＮ部照
合用ＩＦ群テーブル４ｂの実行によってワーキングメモ
リ５の内容を更新するワーキングメモリ更新動作を行
い、次に、ＩＦ部照合用ＩＦ群テーブル４ａでの照合属
性を操作し、次にＩＦ部照合用ＩＦ群テーブル４ａでの
重複照合防止操作を行い、次にＴＨＥＮ部照合用ＩＦ群
テーブル４ｂで実行するＴＨＥＮ部を決定するために、
照合属性チェックを行った後、そのＴＨＥＮ部を実行す
るとともに、外部インタフェース７に対する操作および
ワーキングメモリ５の操作を行うか否かを判定して、ワ
ーキングメモリ５の操作を行う場合は、前記ワーキング
メモリ更新動作に移行し、一方、外部インタフェース７
に対する操作を行う場合は外部インタフェース７へアク
セスし、いずれの操作も行わない場合は、推論実行を終
了することを特徴とする推論装置である。
【０００７】
【０００８】
【０００９】
【００１０】
【作用】本発明に従えば、知識ベース２を、所定のコン
パイラ言語に適合するように表現されたＩＦ群テーブル
４に変換するためのトランスレータ３を備えることによ
って、知識ベース２において表現された各ルールがその
まま実行型式で表現される。知識ベース２は、トランス
レータ３によってコンパイラ言語のソースとしてのＩＦ
群テーブル４に変換される。ＩＦ群テーブル４は、ＩＦ
部照合用ＩＦ群テーブル４ａとＴＨＥＮ部照合用ＩＦ群
テーブル４ｂとを有し、マッチング判定を行うことが可
能となる。ルールの条件部および実行部でコンパイラ言
語による自由な記述が可能であるようにトランスレータ
３が設計されているため、推論を行うコンピュータのア
ーキテクチャを活用することが可能である。また、変換
されたＩＦ群テーブル４が、ＩＦ部照合用ＩＦ群テーブ
ル４ａとＴＨＥＮ部照合用ＩＦ群テーブル４ｂとを有す
ることによって、推論実行の際の競合処理や発火処理を
円滑に実行することができる。
パイラ言語に適合するように表現されたＩＦ群テーブル
４に変換するためのトランスレータ３を備えることによ
って、知識ベース２において表現された各ルールがその
まま実行型式で表現される。知識ベース２は、トランス
レータ３によってコンパイラ言語のソースとしてのＩＦ
群テーブル４に変換される。ＩＦ群テーブル４は、ＩＦ
部照合用ＩＦ群テーブル４ａとＴＨＥＮ部照合用ＩＦ群
テーブル４ｂとを有し、マッチング判定を行うことが可
能となる。ルールの条件部および実行部でコンパイラ言
語による自由な記述が可能であるようにトランスレータ
３が設計されているため、推論を行うコンピュータのア
ーキテクチャを活用することが可能である。また、変換
されたＩＦ群テーブル４が、ＩＦ部照合用ＩＦ群テーブ
ル４ａとＴＨＥＮ部照合用ＩＦ群テーブル４ｂとを有す
ることによって、推論実行の際の競合処理や発火処理を
円滑に実行することができる。
【００１１】
【実施例】図１は、本発明の一実施例である推論装置１
を示すブロック図である。この推論装置１は、専門家の
知識を入れた知識ベース２とデータの出し入れを行うた
めのワーキングメモリ５と、知識ベース２を所定のコン
パイラ言語に適合するように表現されたＩＦ群テーブル
４に変換するためのトランスレータ３とで構成されてお
り、その周辺には、専門家が知識ベース２を編集するた
めのエディタ６や、利用者がたとえば対話形式で推論処
理を実行するためのインタフェース９およびマンマシン
部８が備えられる。ＩＦ群テーブル４はワーキングメモ
リ５の操作とインタフェース７の制御を行う。
を示すブロック図である。この推論装置１は、専門家の
知識を入れた知識ベース２とデータの出し入れを行うた
めのワーキングメモリ５と、知識ベース２を所定のコン
パイラ言語に適合するように表現されたＩＦ群テーブル
４に変換するためのトランスレータ３とで構成されてお
り、その周辺には、専門家が知識ベース２を編集するた
めのエディタ６や、利用者がたとえば対話形式で推論処
理を実行するためのインタフェース９およびマンマシン
部８が備えられる。ＩＦ群テーブル４はワーキングメモ
リ５の操作とインタフェース７の制御を行う。
【００１２】図２は、図１に示すＩＦ群テーブル４の内
部構成を示すブロック図である。このＩＦ群テーブル４
は、ルールの条件部（ＩＦ α ＴＨＥＮ βの表現形
式の場合、αの部分に相当する）に関する情報を格納す
る領域であるＩＦ部照合用ＩＦ群テーブル４ａと、ルー
ルの実行部（ＩＦ α ＴＨＥＮ βの表現形式の場
合、βの部分に相当する）に関する情報を格納する領域
であるＴＨＥＮ部照合用ＩＦ群テーブル４ｂとで構成さ
れている。ＩＦ部照合用ＩＦ群テーブル４ａは、一連の
アドレス空間に各ルールの条件部を格納したルール条件
部領域を備え、さらに各ルール同士の競合を防止するた
めの競合処理やルールの信頼性を各ルール毎に数値化し
たＣＦ値（確実度）を適宜修正するＣＦ値操作など、各
種フラグからなる重複照合防止手段が設けられる。一
方、ＴＨＥＮ部照合用ＩＦ群テーブル４ｂは、一連のア
ドレス空間に各ルールの実行部を格納したルール実行部
領域を備える。これらは発火すべきルールを指示するた
めの照合属性を有し、ＩＦ部照合用ＩＦ群テーブル４ａ
では、ワーキングメモリ５の内容を見ることにより照合
属性操作を行い、ＴＨＥＮ部照合用ＩＦ群テーブル４ｂ
では、照合属性によって選択されたルールの実行部を実
行してワーキングメモリ５を操作する。このようにして
各ルールの推論を実行することができる。
部構成を示すブロック図である。このＩＦ群テーブル４
は、ルールの条件部（ＩＦ α ＴＨＥＮ βの表現形
式の場合、αの部分に相当する）に関する情報を格納す
る領域であるＩＦ部照合用ＩＦ群テーブル４ａと、ルー
ルの実行部（ＩＦ α ＴＨＥＮ βの表現形式の場
合、βの部分に相当する）に関する情報を格納する領域
であるＴＨＥＮ部照合用ＩＦ群テーブル４ｂとで構成さ
れている。ＩＦ部照合用ＩＦ群テーブル４ａは、一連の
アドレス空間に各ルールの条件部を格納したルール条件
部領域を備え、さらに各ルール同士の競合を防止するた
めの競合処理やルールの信頼性を各ルール毎に数値化し
たＣＦ値（確実度）を適宜修正するＣＦ値操作など、各
種フラグからなる重複照合防止手段が設けられる。一
方、ＴＨＥＮ部照合用ＩＦ群テーブル４ｂは、一連のア
ドレス空間に各ルールの実行部を格納したルール実行部
領域を備える。これらは発火すべきルールを指示するた
めの照合属性を有し、ＩＦ部照合用ＩＦ群テーブル４ａ
では、ワーキングメモリ５の内容を見ることにより照合
属性操作を行い、ＴＨＥＮ部照合用ＩＦ群テーブル４ｂ
では、照合属性によって選択されたルールの実行部を実
行してワーキングメモリ５を操作する。このようにして
各ルールの推論を実行することができる。
【００１３】図３は、図１の推論装置１の動作を説明す
るフローチャートである。まずステップａ１からスター
トしてステップａ２において、フロッピーディスクやデ
ィスクメモリなどに記憶された知識ベース２を取込んだ
後、トランスレータ３がＩＦ群テーブル４を更新する。
るフローチャートである。まずステップａ１からスター
トしてステップａ２において、フロッピーディスクやデ
ィスクメモリなどに記憶された知識ベース２を取込んだ
後、トランスレータ３がＩＦ群テーブル４を更新する。
【００１４】図４は、知識ベース２を構成するルールの
一例である。このルールは、「"Element1"というエレメ
ントのフィールド"Field1"の中身が"active"であり、か
つ"Element5"というエレメントのフィールド"Field4
[0]"の中身が"500"未満であり、かつ"Value2"という変
数の中身が"5"以上である場合、または"Func1()"という
関数の戻し値が"100"である場合、"Element1"というエ
レメントのフィールド"Fieldl"の中身を"inactive"に変
更しなさい。」というルールを表している。なお、ルー
ルのＲＨＳ（Right Hand Side）部には、上記の"modify
()"以外の文法として、ディスプレイに表示する"writ
e()"、およびキーボードから入力する"read()"などを用
いることが可能である。
一例である。このルールは、「"Element1"というエレメ
ントのフィールド"Field1"の中身が"active"であり、か
つ"Element5"というエレメントのフィールド"Field4
[0]"の中身が"500"未満であり、かつ"Value2"という変
数の中身が"5"以上である場合、または"Func1()"という
関数の戻し値が"100"である場合、"Element1"というエ
レメントのフィールド"Fieldl"の中身を"inactive"に変
更しなさい。」というルールを表している。なお、ルー
ルのＲＨＳ（Right Hand Side）部には、上記の"modify
()"以外の文法として、ディスプレイに表示する"writ
e()"、およびキーボードから入力する"read()"などを用
いることが可能である。
【００１５】以上のように表現されたルールは、トラン
スレータ３によって変換され、たとえばＣ言語のコンパ
イラ言語における構造体などで表現された変数として格
納され、各ルールは条件部と実行部とに分離されてそれ
ぞれ別のメモリ領域に格納される。
スレータ３によって変換され、たとえばＣ言語のコンパ
イラ言語における構造体などで表現された変数として格
納され、各ルールは条件部と実行部とに分離されてそれ
ぞれ別のメモリ領域に格納される。
【００１６】ルール内には、エレメントおよびフィール
ドを用いた変数、配列、文字列、および関数などを使用
し、自由度の高い記述を行うことができる。ルール内で
用いた文字列は、トランスレータ３によって変換する
際、図５に示す対応表により数値に変換する。これによ
り、変換後のルールにおける文字列操作を排除し、推論
の高速化を図っている。
ドを用いた変数、配列、文字列、および関数などを使用
し、自由度の高い記述を行うことができる。ルール内で
用いた文字列は、トランスレータ３によって変換する
際、図５に示す対応表により数値に変換する。これによ
り、変換後のルールにおける文字列操作を排除し、推論
の高速化を図っている。
【００１７】図６は、図４で示したルールの各要素に対
するアクセス方法を示している。各変数の中身や関数の
戻し値にアクセスする場合、メモリ上に予め配置された
データ格納領域（ワーキングメモリ）へ間接的にアクセ
スする。
するアクセス方法を示している。各変数の中身や関数の
戻し値にアクセスする場合、メモリ上に予め配置された
データ格納領域（ワーキングメモリ）へ間接的にアクセ
スする。
【００１８】すなわち文字列や関数で表現されているル
ールを１個のアドレスを持つ変数としてとらえて、発火
処理を変数のアドレス照合を用いて実行することによ
り、比較演算処理の高速化を図ることができる。さら
に、変換後のルール中にコンピュータのアーキテクチャ
の積極的活用、すなわちオペレーションシステムのシス
テムコールを自由に活用することができるため、多様な
推論が可能になる。
ールを１個のアドレスを持つ変数としてとらえて、発火
処理を変数のアドレス照合を用いて実行することによ
り、比較演算処理の高速化を図ることができる。さら
に、変換後のルール中にコンピュータのアーキテクチャ
の積極的活用、すなわちオペレーションシステムのシス
テムコールを自由に活用することができるため、多様な
推論が可能になる。
【００１９】こうして知識ベース２がＩＦ群テーブル４
に変更されると、次に図３のステップａ３において外部
インタフェースまたはＴＨＥＮ部照合用ＩＦ群テーブル
４ｂの実行によってワーキングメモリ５の内容を更新す
る。次に、ステップａ４において、ＩＦ部照合用ＩＦ群
テーブル４ａでの照合属性を操作し、次にステップａ５
においてＩＦ部照合用ＩＦ群テーブル４ａでの重複照合
防止操作を行い、次にステップａ６においてＴＨＥＮ部
照合用ＩＦ群テーブル４ｂでの実行するＴＨＥＮ部を決
定するために、照合属性チェックを行った後、ステップ
ａ７において、そのＴＨＥＮ部を実行するとともに、外
部インタフェース７に対する操作およびワーキングメモ
リ５の操作を行うか否かを判定して、ワーキングメモリ
５の操作を行う場合は、ステップａ２に移行し、一方、
外部インタフェース７に対する操作を行う場合は外部イ
ンタフェース７へアクセスする。いずれの操作も行わな
い場合は、ステップａ８に移行して推論実行を終了す
る。
に変更されると、次に図３のステップａ３において外部
インタフェースまたはＴＨＥＮ部照合用ＩＦ群テーブル
４ｂの実行によってワーキングメモリ５の内容を更新す
る。次に、ステップａ４において、ＩＦ部照合用ＩＦ群
テーブル４ａでの照合属性を操作し、次にステップａ５
においてＩＦ部照合用ＩＦ群テーブル４ａでの重複照合
防止操作を行い、次にステップａ６においてＴＨＥＮ部
照合用ＩＦ群テーブル４ｂでの実行するＴＨＥＮ部を決
定するために、照合属性チェックを行った後、ステップ
ａ７において、そのＴＨＥＮ部を実行するとともに、外
部インタフェース７に対する操作およびワーキングメモ
リ５の操作を行うか否かを判定して、ワーキングメモリ
５の操作を行う場合は、ステップａ２に移行し、一方、
外部インタフェース７に対する操作を行う場合は外部イ
ンタフェース７へアクセスする。いずれの操作も行わな
い場合は、ステップａ８に移行して推論実行を終了す
る。
【００２０】以上詳述したように本発明によれば、推論
実行の高速化が可能になるとともに、推論処理と併行し
てコンピュータのアーキテクチャを積極的に活用するこ
とができるため、多様な推論が可能になる。本発明によ
れば、知識ベース２を構成するルール内には、エレメン
トおよびフィールドを用いた変数、配列、文字列、およ
び関数を使用し、ルール内で用いた文字列は、トランス
レータ３によって、予め定める対応表により数値に変換
して、ルールを１個のアドレスを持つ変数としてとらえ
て、発火処理を変数のアドレス照合を用いて実行するの
で、変換後のルールにおける文字列操作を排除し、推論
の高速化を図ることができるとともに、変換後のルール
中にコンピュータのアーキテクチャの積極的活用、すな
わちオペレーションシステムのシステムコールを自由に
活用することができるため、多様な推論が可能になる。
実行の高速化が可能になるとともに、推論処理と併行し
てコンピュータのアーキテクチャを積極的に活用するこ
とができるため、多様な推論が可能になる。本発明によ
れば、知識ベース２を構成するルール内には、エレメン
トおよびフィールドを用いた変数、配列、文字列、およ
び関数を使用し、ルール内で用いた文字列は、トランス
レータ３によって、予め定める対応表により数値に変換
して、ルールを１個のアドレスを持つ変数としてとらえ
て、発火処理を変数のアドレス照合を用いて実行するの
で、変換後のルールにおける文字列操作を排除し、推論
の高速化を図ることができるとともに、変換後のルール
中にコンピュータのアーキテクチャの積極的活用、すな
わちオペレーションシステムのシステムコールを自由に
活用することができるため、多様な推論が可能になる。
【図１】本発明の一実施例である推論装置１を示すブロ
ック図である。
ック図である。
【図２】図１に示すＩＦ群テーブル４の内部構成を示す
ブロック図である。
ブロック図である。
【図３】図１の推論装置１の動作を示すフローチャート
である。
である。
【図４】知識ベース２を構成するルールの一例である。
【図５】文字列変換表の一例である。
【図６】図４で示したルールの各要素に対するアクセス
方法の一例である。
方法の一例である。
【図７】従来の推論装置の一例を示すブロック図であ
る。
る。
１ 推論装置 ２ 知識ベース ３ トランスレータ ４ ＩＦ群テーブル ４ａ ＩＦ部照合用ＩＦ群テーブル ４ｂ ＴＨＥＮ部照合用ＩＦ群テーブル ５ ワーキングメモリ ６ エディタ ７ インタフェース ８ マンマシン部
───────────────────────────────────────────────────── フロントページの続き (72)発明者 西野 公祥 兵庫県明石市川崎町１番１号 川崎重工 業株式会社 明石工場内 (72)発明者 林 正人 兵庫県明石市川崎町１番１号 川崎重工 業株式会社 明石工場内 (72)発明者 森 芳信 兵庫県明石市川崎町１番１号 川崎重工 業株式会社 明石工場内 (72)発明者 井上 基広 兵庫県明石市川崎町１番１号 川崎重工 業株式会社 明石工場内 (56)参考文献 特開 昭63−195737（ＪＰ，Ａ) 特開 平２−275533（ＪＰ，Ａ) 特開 平３−269631（ＪＰ，Ａ) 特開 平２−195434（ＪＰ，Ａ) 「第11回知識・知能シンポジウム講演 論文集」（1990−３）Ｐ．１〜６ 「明電時報」Ｎｏ．211（1990）Ｐ. 42〜46 (58)調査した分野(Int.Cl.7，ＤＢ名) G06F 9/44 550
Claims (1)
- 【請求項１】 専門家の知識を入れた知識ベース２と、 データの出し入れを行うためのワーキングメモリ５と、 知識ベース２を所定のコンパイラ言語に適合するように
表現されたＩＦ群テーブル４に変換するためのトランス
レータ３と、 専門家が知識ベース２を編集するためのエディタ６と、 利用者が対話形式で推論処理を実行するためのインタフ
ェース７と、 インタフェース７のマンマシン部８とが備えられ、 ＩＦ群テーブル４は、ワーキングメモリ５の操作とイン
タフェース７の制御を行い、 このＩＦ群テーブル４は、 ルールの条件部に関する情報を格納する領域であるＩＦ
部照合用ＩＦ群テーブル４ａであって、一連のアドレス
空間に各ルールの条件部を格納したルール条件部領域を
備え、さらに各ルール同士の競合を防止するための競合
処理およびルールの信頼性を各ルール毎に数値化した確
実度を表すＣＦ値を修正するＣＦ値操作を含む各種フラ
グからなる重複照合防止手段が設けられるＩＦ部照合用
ＩＦ群テーブル４ａと、 ルールの実行部に関する情報を格納する領域であるＴＨ
ＥＮ部照合用ＩＦ群テーブル４ｂであって、一連のアド
レス空間に各ルールの実行部を格納したルール実行部領
域を備え、これらのルールの実行部は発火すべきルール
を指示するための照合属性を有するＴＨＥＮ部照合用Ｉ
Ｆ群テーブル４ｂとを含み、 ＩＦ部照合用ＩＦ群テーブル４ａでは、ワーキングメモ
リ５の内容を見ることにより照合属性操作を行い、 ＴＨＥＮ部照合用ＩＦ群テーブル４ｂでは、照合属性に
よって選択されたルールの実行部を実行してワーキング
メモリ５を操作し、このようにして各ルールの推論を実
行し、 フロッピーディスクまたはディスクメモリに記憶された
知識ベース２を取込んだ後、トランスレータ３がＩＦ群
テーブル４を更新し、 知識ベース２を構成するルール内には、エレメントおよ
びフィールドを用いた変数、配列、文字列、および関数
を使用し、ルール内で用いた文字列は、トランスレータ
３によって、予め定める対応表により数値に変換して、
ルールを１個のアドレスを持つ変数としてとらえて、発
火処理を変数のアドレス照合を用いて実行し、 こうして知識ベース２がＩＦ群テーブル４に変更される
と、次に外部インタフェースまたはＴＨＥＮ部照合用Ｉ
Ｆ群テーブル４ｂの実行によってワーキングメモリ５の
内容を更新するワーキングメモリ更新動作を行い、次
に、ＩＦ部照合用ＩＦ群テーブル４ａでの照合属性を操
作し、次にＩＦ部照合用ＩＦ群テーブル４ａでの重複照
合防止操作を行い、次にＴＨＥＮ部照合用ＩＦ群テーブ
ル４ｂで実行するＴＨＥＮ部を決定するために、照合属
性チェックを行った後、そのＴＨＥＮ部を実行するとと
もに、外部インタフェース７に対する操作およびワーキ
ングメモリ５の操作を行うか否かを判定して、 ワーキングメモリ５の操作を行う場合は、前記ワーキン
グメモリ更新動作に移行し、一方、外部インタフェース
７に対する操作を行う場合は外部インタフェース７へア
クセスし、いずれの操作も行わない場合は、推論実行を
終了することを特徴とする推論装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11743093A JP3307461B2 (ja) | 1993-05-19 | 1993-05-19 | 推論装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11743093A JP3307461B2 (ja) | 1993-05-19 | 1993-05-19 | 推論装置 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH06332705A JPH06332705A (ja) | 1994-12-02 |
| JP3307461B2 true JP3307461B2 (ja) | 2002-07-24 |
Family
ID=14711456
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11743093A Expired - Fee Related JP3307461B2 (ja) | 1993-05-19 | 1993-05-19 | 推論装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP3307461B2 (ja) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7539974B2 (en) * | 2003-10-24 | 2009-05-26 | Microsoft Corporation | Scalable synchronous and asynchronous processing of monitoring rules |
-
1993
- 1993-05-19 JP JP11743093A patent/JP3307461B2/ja not_active Expired - Fee Related
Non-Patent Citations (2)
| Title |
|---|
| 「明電時報」Ｎｏ．２１１（１９９０）Ｐ．４２〜４６ |
| 「第１１回知識・知能シンポジウム講演論文集」（１９９０−３）Ｐ．１〜６ |
Also Published As
| Publication number | Publication date |
|---|---|
| JPH06332705A (ja) | 1994-12-02 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP3009215B2 (ja) | 自然語処理方法および自然語処理システム | |
| US5555169A (en) | Computer system and method for converting a conversational statement to computer command language | |
| CA1316262C (en) | Version management tool | |
| JP2670345B2 (ja) | プログラム自動生成装置 | |
| US5768590A (en) | Program generating system for application-specific add-on boards using the language of individuals | |
| JPH0778742B2 (ja) | コンピユータ・プログラム言語変換装置及びその方法 | |
| US6212677B1 (en) | Generating a natural language specification of a computer program by generating an intermediate expression table based on a flow chart from analyzed syntax of the program | |
| Benbasat et al. | A structured approach to designing human-computer dialogues | |
| JPH06290086A (ja) | 構造データ処理装置 | |
| JP2845618B2 (ja) | エキスパートシステム | |
| Forgie | A time-and memory-sharing executive program for quick-response, on-line applications | |
| JP3186117B2 (ja) | データ中心型ソフトウエア部品によるプログラム自動生成システム | |
| JP3307461B2 (ja) | 推論装置 | |
| JPH01298435A (ja) | 自動プログラミング装置 | |
| WO2013015109A1 (ja) | モジュールの構造解析を支援する装置及びプログラム | |
| JP2798118B2 (ja) | データベース問合せ文作成装置 | |
| JPH0527951A (ja) | プログラム群管理システム | |
| US5241623A (en) | Method and system for delineation of structure and linkages between knowledge base modules | |
| US20020143748A1 (en) | Method and system for providing a generic scalar function | |
| JP2747164B2 (ja) | ソフトウェア・シミュレータ | |
| JPH06214776A (ja) | ソフトウェア自動生成システム | |
| Marín et al. | Asynchronous dialogue control in a medical graphic interface | |
| JPS63113631A (ja) | ソフトウエア部品検索システム | |
| Stohr et al. | Languages for decision support systems: An overview | |
| JPS60247706A (ja) | 設備群制御装置のシステム状態トラツキング方式 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20090517 Year of fee payment: 7 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20100517 Year of fee payment: 8 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110517 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20110517 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120517 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20120517 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20130517 Year of fee payment: 11 |
|
| LAPS | Cancellation because of no payment of annual fees |