JPH04320529A - 推論処理システム - Google Patents
推論処理システムInfo
- Publication number
- JPH04320529A JPH04320529A JP3088811A JP8881191A JPH04320529A JP H04320529 A JPH04320529 A JP H04320529A JP 3088811 A JP3088811 A JP 3088811A JP 8881191 A JP8881191 A JP 8881191A JP H04320529 A JPH04320529 A JP H04320529A
- Authority
- JP
- Japan
- Prior art keywords
- rule
- rule set
- program
- processing
- predetermined
- 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.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【０００１】
【産業上の利用分野】本発明は、ルール集合の実行によ
って推論を進めるようにした知識システム及びその構築
を行なう処理装置に関する。
って推論を進めるようにした知識システム及びその構築
を行なう処理装置に関する。
【０００２】
【従来の技術】図２は知識システム処理装置の構成例で
あって、推論処理部１はルール集合群２によって推論を
実行するために起動されると、先ず所定の前処理４を実
行して環境を準備した後、ルール集合群２から推論起動
メッセージ３で指定されたルール集合を処理５で選択し
、そのルール集合の実行に入る。
あって、推論処理部１はルール集合群２によって推論を
実行するために起動されると、先ず所定の前処理４を実
行して環境を準備した後、ルール集合群２から推論起動
メッセージ３で指定されたルール集合を処理５で選択し
、そのルール集合の実行に入る。
【０００３】ルール集合群２は１以上のルール集合から
なり、各ルール集合は前処理、ルール本体、後処理から
なる。ルール本体は１以上のルールからなり、各ルール
は条件判定と、その条件成立時に実行する手続きとを主
要部とする一定の処理形式になっていて、条件成立時に
その手続きの実行によって、いわゆるイベントを操作し
て、イベントの生起状態を更新する。
なり、各ルール集合は前処理、ルール本体、後処理から
なる。ルール本体は１以上のルールからなり、各ルール
は条件判定と、その条件成立時に実行する手続きとを主
要部とする一定の処理形式になっていて、条件成立時に
その手続きの実行によって、いわゆるイベントを操作し
て、イベントの生起状態を更新する。
【０００４】推論処理部１は、ルール集合のルールを先
頭から順に処理して、条件の成立するルールの手続きを
実行し、実行したルール（即ち条件の成立したルール）
の個数が一定数になるか、全ルールを処理すると、その
ルール集合の実行を終了とする。終了の条件を一定の処
理形式で検出するプログラムも、ルール集合の中に埋め
込まれている。
頭から順に処理して、条件の成立するルールの手続きを
実行し、実行したルール（即ち条件の成立したルール）
の個数が一定数になるか、全ルールを処理すると、その
ルール集合の実行を終了とする。終了の条件を一定の処
理形式で検出するプログラムも、ルール集合の中に埋め
込まれている。
【０００５】１つのルール集合の処理を終わると、終了
判定処理６に行き、終了すべき判定結果でなければイベ
ント選択処理７で、所定の方法でその時点のイベントの
発生状態に基づいて、再びルール集合の一つを選択して
、前記のようにルール集合を処理する。
判定処理６に行き、終了すべき判定結果でなければイベ
ント選択処理７で、所定の方法でその時点のイベントの
発生状態に基づいて、再びルール集合の一つを選択して
、前記のようにルール集合を処理する。
【０００６】このようにして、ルール集合の選択、実行
を反復することにより、状態がある終了条件を満足すれ
ば終了判定処理６から後処理８に進んで、推論処理を完
了する。
を反復することにより、状態がある終了条件を満足すれ
ば終了判定処理６から後処理８に進んで、推論処理を完
了する。
【０００７】
【発明が解決しようとする課題】前記のように、ルール
集合は条件判定とその条件成立時に実行する手続きから
なる一定形式のルールからなるルール本体を主要部とし
て構成され、このようなルールによって必要な推論を構
成するようにしなければならない。このような形式には
当然公知のような利点があるものの、問題によってはこ
のような形式が人の思考、判断の過程となじみ難い場合
がある。そのような場合には、イベント発行によって推
論を進める環境の中でも、自由な形式のプログラミング
でイベントを操作できることが望まれる。
集合は条件判定とその条件成立時に実行する手続きから
なる一定形式のルールからなるルール本体を主要部とし
て構成され、このようなルールによって必要な推論を構
成するようにしなければならない。このような形式には
当然公知のような利点があるものの、問題によってはこ
のような形式が人の思考、判断の過程となじみ難い場合
がある。そのような場合には、イベント発行によって推
論を進める環境の中でも、自由な形式のプログラミング
でイベントを操作できることが望まれる。
【０００８】本発明は、知識システムを構成するルール
集合を、自由なプログラムで構成できるようにし、一定
形式と自由形式のルール集合が混在した知識システム及
びその構築処理装置を目的とする。
集合を、自由なプログラムで構成できるようにし、一定
形式と自由形式のルール集合が混在した知識システム及
びその構築処理装置を目的とする。
【０００９】
【課題を解決するための手段】図１は、本発明の構成を
示すブロック図である。図１（ａ）は知識システムの構
成であって、１以上のルール集合からなるルール集合群
１０と、推論処理部１１を有し、推論処理部１１は、ル
ール集合群１０の１ルール集合を所定の選択処理で選択
して実行する処理を、所定の終了条件が生起するまで反
復することによって推論処理を行なうシステムである。
示すブロック図である。図１（ａ）は知識システムの構
成であって、１以上のルール集合からなるルール集合群
１０と、推論処理部１１を有し、推論処理部１１は、ル
ール集合群１０の１ルール集合を所定の選択処理で選択
して実行する処理を、所定の終了条件が生起するまで反
復することによって推論処理を行なうシステムである。
【００１０】該ルール集合に、第１及び第２の種類の処
理形式を設け、第１の種類のルール集合１２は、所定の
構成のルール本体１３を有し、該ルール本体は１以上の
ルール１４からなるルールの並びであり、各該ルールは
条件判定処理と、該条件が満足される場合に実行される
手続きとを有する。
理形式を設け、第１の種類のルール集合１２は、所定の
構成のルール本体１３を有し、該ルール本体は１以上の
ルール１４からなるルールの並びであり、各該ルールは
条件判定処理と、該条件が満足される場合に実行される
手続きとを有する。
【００１１】第２の種類のルール集合１５は、所要の処
理を実行する任意の処理形式の手続きによって構成した
ルール本体１６を有する。図１（ｂ）は知識システム構
築処理装置の構成であって、前記知識システムのルール
集合を生成するに際し、プレコンパイラ２０と、コンパ
イラ２１とを設ける。
理を実行する任意の処理形式の手続きによって構成した
ルール本体１６を有する。図１（ｂ）は知識システム構
築処理装置の構成であって、前記知識システムのルール
集合を生成するに際し、プレコンパイラ２０と、コンパ
イラ２１とを設ける。
【００１２】プレコンパイラ２０は、所定の規約に従っ
て該ルール集合を記述したプログラム２２を解析して、
該プログラムに所定の指定文を有する場合には、該ルー
ル集合を前記第２の処理形式のプログラムとして処理し
て、該指定文に続く部分を無条件に該コンパイラの入力
とする。
て該ルール集合を記述したプログラム２２を解析して、
該プログラムに所定の指定文を有する場合には、該ルー
ル集合を前記第２の処理形式のプログラムとして処理し
て、該指定文に続く部分を無条件に該コンパイラの入力
とする。
【００１３】該指定文が無い場合には、該ルール集合を
前記第１の処理形式のプログラムとして処理して、該プ
ログラムを所定の処理形式に基づいて解析し、所要の変
換を行なって、該プログラムを所定のプログラミング言
語で記述されたプログラムに変換して該コンパイラの入
力とする。
前記第１の処理形式のプログラムとして処理して、該プ
ログラムを所定の処理形式に基づいて解析し、所要の変
換を行なって、該プログラムを所定のプログラミング言
語で記述されたプログラムに変換して該コンパイラの入
力とする。
【００１４】コンパイラ２１は、プレコンパイラ２０の
処理した結果のプログラム２３を当該ルール集合を実行
する目的プログラム２４に変換する。
処理した結果のプログラム２３を当該ルール集合を実行
する目的プログラム２４に変換する。
【００１５】
【作用】本発明の知識システムにより、ルール集合は定
型のルールからなるルール集合と、任意の手続きで処理
を記述したルール集合との混成とすることができる。
型のルールからなるルール集合と、任意の手続きで処理
を記述したルール集合との混成とすることができる。
【００１６】両種類のルール集合の原始プログラムは指
定文で識別できるようにし、プレコンパイラは定型であ
れば定型処理の記述規約に基づいて解析、検査し、要す
れば変換して、例えばＣＯＢＯＬ言語の原始プログラム
にして出力する。又定型でなければ、ＣＯＢＯＬ言語で
記述した手続きをそのまゝ出力する。
定文で識別できるようにし、プレコンパイラは定型であ
れば定型処理の記述規約に基づいて解析、検査し、要す
れば変換して、例えばＣＯＢＯＬ言語の原始プログラム
にして出力する。又定型でなければ、ＣＯＢＯＬ言語で
記述した手続きをそのまゝ出力する。
【００１７】コンパイラは、一般のＣＯＢＯＬコンパイ
ラでよく、プレコンパイラの出力を処理して、ルール集
合を実行する目的プログラムを生成する。
ラでよく、プレコンパイラの出力を処理して、ルール集
合を実行する目的プログラムを生成する。
【００１８】
【実施例】図１（ａ）の推論処理部１１はルール集合群
１０について、前記図２の従来の推論処理部１と同様に
推論処理を進める。
１０について、前記図２の従来の推論処理部１と同様に
推論処理を進める。
【００１９】図３はルール集合の原始プログラムの一般
形の一例を示し、ＣＯＢＯＬ言語を使用する場合の例で
あって、「ＰＲＯＣＥＤＵＲＥ ＤＩＶＩＳＩＯＮ」に
処理プログラムが記述され、図３（ａ）は定型の規約に
従うルールからなるルール本体を持つ第１の種類の処理
形式の場合である。
形の一例を示し、ＣＯＢＯＬ言語を使用する場合の例で
あって、「ＰＲＯＣＥＤＵＲＥ ＤＩＶＩＳＩＯＮ」に
処理プログラムが記述され、図３（ａ）は定型の規約に
従うルールからなるルール本体を持つ第１の種類の処理
形式の場合である。
【００２０】図３（ｂ）は自由型式の手続きでイベント
操作等を記述する場合の例で、３行目の指定文「ＦＲＥ
Ｅ−ＦＯＲＭＡＴ．」によって、以後のプログラムが自
由型式のプログラムで構成されていることを表示してい
る。
操作等を記述する場合の例で、３行目の指定文「ＦＲＥ
Ｅ−ＦＯＲＭＡＴ．」によって、以後のプログラムが自
由型式のプログラムで構成されていることを表示してい
る。
【００２１】図４はプレコンパイラ２０の処理の流れの
一例を示し、処理ステップ３０で指定文「ＦＲＥＥ−Ｆ
ＯＲＭＡＴ．」の有無を識別し、指定が無ければ処理ス
テップ３１で定型の記述規約に基づく構文解析と必要な
変換を行い、エラーが無ければ処理ステップ３２を経て
処理ステップ３３で結果のプログラム２３をコンパイラ
に渡し、エラーがあればエラーメッセージを出力する。
一例を示し、処理ステップ３０で指定文「ＦＲＥＥ−Ｆ
ＯＲＭＡＴ．」の有無を識別し、指定が無ければ処理ス
テップ３１で定型の記述規約に基づく構文解析と必要な
変換を行い、エラーが無ければ処理ステップ３２を経て
処理ステップ３３で結果のプログラム２３をコンパイラ
に渡し、エラーがあればエラーメッセージを出力する。
【００２２】指定文「ＦＲＥＥ−ＦＯＲＭＡＴ．」があ
れば、通常のＣＯＢＯＬプログラムとして処理すればよ
いので、処理ステップ３４でそのまゝをプログラム２３
としてコンパイラに渡す。
れば、通常のＣＯＢＯＬプログラムとして処理すればよ
いので、処理ステップ３４でそのまゝをプログラム２３
としてコンパイラに渡す。
【００２３】
【発明の効果】以上の説明から明らかなように本発明に
よれば、ルール集合の実行によって推論を進めるように
した知識システムにおいて、知識システムを構成するル
ール集合を、自由なプログラムで構成できるようにし、
一定形式と自由形式のルール集合が混在した知識システ
ムを構成できるので、必要な設計条件、例えば変更の可
能性の高い部分を変更し易くする等の条件、の導入が容
易になり、システム構築の生産性を向上できるという著
しい工業的効果がある。
よれば、ルール集合の実行によって推論を進めるように
した知識システムにおいて、知識システムを構成するル
ール集合を、自由なプログラムで構成できるようにし、
一定形式と自由形式のルール集合が混在した知識システ
ムを構成できるので、必要な設計条件、例えば変更の可
能性の高い部分を変更し易くする等の条件、の導入が容
易になり、システム構築の生産性を向上できるという著
しい工業的効果がある。
【図１】 本発明の構成を示すブロック図
【図２】
従来の構成例を示すブロック図
従来の構成例を示すブロック図
【図３】 ルール集
合の一般形を説明する図
合の一般形を説明する図
【図４】 プレコンパイラの
処理の流れ図
処理の流れ図
１、１１ 推論処理部
２、１０ ルール集合群
１２、１５ ルール集合
１３、１６ ルール本体
１４ ルール
２０ プレコンパイラ
２１ コンパイラ
２２、２３ プログラム
２４ 目的プログラム
３０〜３４ 処理ステップ
Claims (2)
- 【請求項１】 １以上のルール集合からなるルール集
合群（１０）と、推論処理部（１１）を有し、該推論処
理部は、該ルール集合群の１ルール集合を所定の選択処
理で選択して実行する処理を、所定の終了条件が生起す
るまで反復することによって推論処理を行なうシステム
であって、該ルール集合に、第１及び第２の種類の処理
形式を設け、第１の種類の該ルール集合（１２）は、所
定の構成のルール本体（１３）を有し、該ルール本体は
１以上のルール（１４）からなるルールの並びであり、
各該ルール（１４）は条件判定処理と、該条件が満足さ
れる場合に実行される手続きとを有し、第２の種類の該
ルール集合（１５）は、所要の処理を実行する任意の処
理形式の手続きによって構成したルール本体（１６）を
有することを特徴とする知識システム。 - 【請求項２】 請求項１記載のルール集合を生成する
に際し、プレコンパイラ（２０）と、コンパイラ（２１
）とを設け、該プレコンパイラ（２０）は、所定の規約
に従って該ルール集合を記述したプログラム（２２）を
解析して、該プログラムに所定の指定文を有する場合に
は、該ルール集合を前記第２の処理形式のプログラムと
して処理して、該指定文に続く部分を無条件に該コンパ
イラの入力とし、該指定文が無い場合には、該ルール集
合を前記第１の処理形式のプログラムとして処理して、
該プログラムを所定の処理形式に基づいて解析し、所要
の変換を行なって、該プログラムを所定のプログラミン
グ言語で記述されたプログラムに変換して該コンパイラ
の入力とし、該コンパイラ（２１）は、該プレコンパイ
ラの処理した結果のプログラム（２３）を当該ルール集
合を実行する目的プログラム（２４）に変換するように
構成されていることを特徴とする知識システム構築処理
装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3088811A JPH04320529A (ja) | 1991-04-19 | 1991-04-19 | 推論処理システム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3088811A JPH04320529A (ja) | 1991-04-19 | 1991-04-19 | 推論処理システム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04320529A true JPH04320529A (ja) | 1992-11-11 |
Family
ID=13953281
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3088811A Pending JPH04320529A (ja) | 1991-04-19 | 1991-04-19 | 推論処理システム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04320529A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011159651A (ja) * | 2010-01-29 | 2011-08-18 | Fujifilm Corp | 光電変換素子の製造方法 |
-
1991
- 1991-04-19 JP JP3088811A patent/JPH04320529A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2011159651A (ja) * | 2010-01-29 | 2011-08-18 | Fujifilm Corp | 光電変換素子の製造方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5504902A (en) | Multi-language generation of control program for an industrial controller | |
| JPH0895821A (ja) | マルチタスクのプログラムデバッグ方法とその装置 | |
| CN109117362B (zh) | 一种基于中间语言的plc程序验证系统 | |
| CN106648617B (zh) | 一种基于扩展的uml2序列图的中断驱动系统建模方法 | |
| JPH0488438A (ja) | 高級言語による原始プログラムに対するデバッガの一命令実行方式 | |
| JPS62259142A (ja) | 命令のスケジユ−リング処理方式 | |
| JPH01224842A (ja) | 知識ベースシステムの推論制御方式 | |
| JPH04336330A (ja) | 言語インタプリタ | |
| JP2518504B2 (ja) | 目的プログラム生成装置 | |
| JPS62236044A (ja) | ベ−シツクインタプリタ | |
| JPH01161443A (ja) | 動的ディスパッチング方式 | |
| JPS61285544A (ja) | コンパイル方法 | |
| JPH04220727A (ja) | ベクトル化処理方式 | |
| JPH02211542A (ja) | モジュール管理情報算出方式 | |
| JPH03144830A (ja) | 並列処理方式 | |
| JPH0991146A (ja) | 自動プログラミング方法 | |
| JPH04209026A (ja) | ルール推論装置 | |
| JPS63271636A (ja) | 言語用マクロプロセツサ | |
| JPH03266029A (ja) | 論理型言語処理システムにおけるリスト出力方法 | |
| JPH01274241A (ja) | 命令列生成方式 | |
| JPS62274343A (ja) | 型変換選択方式 | |
| JPH0363729A (ja) | 他システム制御言語の変換方式 | |
| JPS62239236A (ja) | プログラムのコンパイル装置 | |
| JPH04115347A (ja) | 対話型プログラム自動生成方式 | |
| JPH05143352A (ja) | マクロプロセツサ |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 19990907 |