JPH01274242A - 推論方式 - Google Patents
推論方式Info
- Publication number
- JPH01274242A JPH01274242A JP10356988A JP10356988A JPH01274242A JP H01274242 A JPH01274242 A JP H01274242A JP 10356988 A JP10356988 A JP 10356988A JP 10356988 A JP10356988 A JP 10356988A JP H01274242 A JPH01274242 A JP H01274242A
- Authority
- JP
- Japan
- Prior art keywords
- rule
- inference
- rules
- post
- group
- 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
- 238000012805 post-processing Methods 0.000 claims abstract description 18
- 230000003936 working memory Effects 0.000 claims description 20
- 238000000034 method Methods 0.000 claims description 19
- 238000010586 diagram Methods 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000007781 pre-processing Methods 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000003213 activating effect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- ASTNLROMDNGJLS-UHFFFAOYSA-N hot-7 Chemical compound CCCSC1=CC(OC)=C(CCNO)C=C1OC ASTNLROMDNGJLS-UHFFFAOYSA-N 0.000 description 1
- 230000008676 import Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
人、産業上の利用分野
本発明は人工知能の応用分計の一つであるエキスパート
システムに適用される推論方式に関するものである。
システムに適用される推論方式に関するものである。
Ｂ６発明の概要
本発明はルール群の中から作業記憶部内に書き込まれた
情報に合致するルールを検索し、そのルールを適用して
作業記憶部の内容を更新し、これにより推論を実行する
推論方式において、ルール群の中で最後に実行され、当
該ルール群の総てが取立しないことを条件部の内容とし
九ルールや、無条件で１回のみ実行されるルールをルー
ル群の中に含ませることによって、 推論開始前の前処理や推論終了後の後処理といつｍ１本
来の推論とは別個の処理をシステムの内部で容易に実行
できるようにしたものである。
情報に合致するルールを検索し、そのルールを適用して
作業記憶部の内容を更新し、これにより推論を実行する
推論方式において、ルール群の中で最後に実行され、当
該ルール群の総てが取立しないことを条件部の内容とし
九ルールや、無条件で１回のみ実行されるルールをルー
ル群の中に含ませることによって、 推論開始前の前処理や推論終了後の後処理といつｍ１本
来の推論とは別個の処理をシステムの内部で容易に実行
できるようにしたものである。
Ｃ１従来の技術及び発明が解決しようとする課題人工知
能の応用分野の一つとしてエキスパートシステムがあり
、このシステムは専門家の持っている知Ｆ＆を知識工学
の手法を用いてコンピュータ上に組み込み、その専門家
と同じレベルの能力を持つシステムを実現しようとする
ものである。こうしたエキスパートシステムの一例とし
てプロダクションシステムをとジあげて説明すると、先
ず問題を解決する丸めに必要な知識を第２図に示すよう
にマンマシン、インターフェイスＭＩ？介してルールと
してルール記憶部１内に予め格納しておく、そして例え
ばマンマシン、インターフェイスＭ工を介して必要な情
報を作業記憶部（ワーキングメモリ）２に書き込み、推
論機構３によりルール記憶部１内のルール群の中から前
記情報に適合するルールを選択し、そのルールを適用す
る。
能の応用分野の一つとしてエキスパートシステムがあり
、このシステムは専門家の持っている知Ｆ＆を知識工学
の手法を用いてコンピュータ上に組み込み、その専門家
と同じレベルの能力を持つシステムを実現しようとする
ものである。こうしたエキスパートシステムの一例とし
てプロダクションシステムをとジあげて説明すると、先
ず問題を解決する丸めに必要な知識を第２図に示すよう
にマンマシン、インターフェイスＭＩ？介してルールと
してルール記憶部１内に予め格納しておく、そして例え
ばマンマシン、インターフェイスＭ工を介して必要な情
報を作業記憶部（ワーキングメモリ）２に書き込み、推
論機構３によりルール記憶部１内のルール群の中から前
記情報に適合するルールを選択し、そのルールを適用す
る。
ルールは［もし温度がＴ’Ｃ以上ならバルブを閉める」
といつ７ｙＩＦ−ＴＨＥＮ〜の形で表現され、ＩＦ〜の
部分は条件部、ＴＨＥＮ〜の部分は実行部と呼ばれてい
る。推論過程では、ルールの適用に従って作業記憶部２
内のデータが更新され、最終的に適用するルールがなく
なっ次とき、あるいけ予め指足さｔ次状態になったとき
に推論が終了する。
といつ７ｙＩＦ−ＴＨＥＮ〜の形で表現され、ＩＦ〜の
部分は条件部、ＴＨＥＮ〜の部分は実行部と呼ばれてい
る。推論過程では、ルールの適用に従って作業記憶部２
内のデータが更新され、最終的に適用するルールがなく
なっ次とき、あるいけ予め指足さｔ次状態になったとき
に推論が終了する。
ところで推論の終了後に本来の推論とは別個の処理を行
いたい場合がある。
いたい場合がある。
例えば、ルール群をグループ化しｍルールセット方式で
は、ルールセットに対し、作業記憶部２の内容を参照し
てそのルールセットに含まれる各ルールが成立するか否
かを調べる活性化状態と参照しない不活性化状態の一方
？割り当てることが行われるが、従来このような制御を
行う場合、一つのルールセット内に他のルールセットを
活性化するためのルールを記述しでおき、そのルールの
条件部が作業記憶ｍ２の内容と合致したときに前記他の
ルールセットが活性化される。
は、ルールセットに対し、作業記憶部２の内容を参照し
てそのルールセットに含まれる各ルールが成立するか否
かを調べる活性化状態と参照しない不活性化状態の一方
？割り当てることが行われるが、従来このような制御を
行う場合、一つのルールセット内に他のルールセットを
活性化するためのルールを記述しでおき、そのルールの
条件部が作業記憶ｍ２の内容と合致したときに前記他の
ルールセットが活性化される。
しかしながらこの方法においては、推論を終了したルー
ルセットも依然活性化のままなので、次のルールセット
に推論が移っ九ときにも前のルールセントに対して照合
が行われるｔめ、推論のスピードが落ちるという欠点か
あっｔ、また推論終了後に表示等を行う場合には、作業
記憶部２の内容を外部のプフグラムに渡してい穴が、専
用のプログラムを外部にて用意しなければならないとい
う欠点があつ７？：６ 一方推論が進行するｔめには、推論開始時に作業記憶部
２内が初期化されていなければならなＡｏ例えばポンプ
の運転状態が正常か否かを推論する場合にけ、作業記憶
部ｚ内にそのボ／ブに関する情報を書き込むことにより
初期化される。従来このような初期化は、例えばオペレ
ータや外部プログラム全通じて行われていたが、このよ
うな方法ではシステムの外部で初期化を行う九め初期状
態を把握することが難しいし、またオペレータに負担全
かけｍり専用の外部プログラム全必要とする欠点があつ
九。
ルセットも依然活性化のままなので、次のルールセット
に推論が移っ九ときにも前のルールセントに対して照合
が行われるｔめ、推論のスピードが落ちるという欠点か
あっｔ、また推論終了後に表示等を行う場合には、作業
記憶部２の内容を外部のプフグラムに渡してい穴が、専
用のプログラムを外部にて用意しなければならないとい
う欠点があつ７？：６ 一方推論が進行するｔめには、推論開始時に作業記憶部
２内が初期化されていなければならなＡｏ例えばポンプ
の運転状態が正常か否かを推論する場合にけ、作業記憶
部ｚ内にそのボ／ブに関する情報を書き込むことにより
初期化される。従来このような初期化は、例えばオペレ
ータや外部プログラム全通じて行われていたが、このよ
うな方法ではシステムの外部で初期化を行う九め初期状
態を把握することが難しいし、またオペレータに負担全
かけｍり専用の外部プログラム全必要とする欠点があつ
九。
本発明はこのよう力課題を解決するためになさｆｉ７’
ｊものであり、推論開始前の前処理や推論終了後の後処
理といった、本来の推論とは別個の処理をシステムの内
部で容易に実行できる推論方式を提供することを目的と
する。
ｊものであり、推論開始前の前処理や推論終了後の後処
理といった、本来の推論とは別個の処理をシステムの内
部で容易に実行できる推論方式を提供することを目的と
する。
０２課題を解決する九めの手段及び作用本発明では、ル
ール群の中で最後に実行され、当該ルール群の総てが取
立しないことを条件部の内容としかつ当該ルール群につ
いての推論終了後の後処理を実行部の内容とした後処理
ルールを設けている。従ってルール群の各ルールが成立
しなくなつ九ときには後処理ルールが必ず取立して後処
理が実行される。
ール群の中で最後に実行され、当該ルール群の総てが取
立しないことを条件部の内容としかつ当該ルール群につ
いての推論終了後の後処理を実行部の内容とした後処理
ルールを設けている。従ってルール群の各ルールが成立
しなくなつ九ときには後処理ルールが必ず取立して後処
理が実行される。
ま１他の発明では無条件で１回のみ実行されるルール全
ルール群の中に設けている。従ってこのルールの実行部
に作業記憶部への情報の取り込みといつ次初期化処理を
記述することにより、システム内部で初期化が行われる
。
ルール群の中に設けている。従ってこのルールの実行部
に作業記憶部への情報の取り込みといつ次初期化処理を
記述することにより、システム内部で初期化が行われる
。
Ｅ、実施例
第１図は本発明の実施例の概念図である。同図中Ｒ８１
〜Ｒ８３はルール群をグループ分けしてなるルールセッ
トであり、第２図に示すルール記憶部１に格納されてい
る。ルールセットは実際には多数あるが、−例としてＲ
８１〜ＲＳ３ｉ示しである。
〜Ｒ８３はルール群をグループ分けしてなるルールセッ
トであり、第２図に示すルール記憶部１に格納されてい
る。ルールセットは実際には多数あるが、−例としてＲ
８１〜ＲＳ３ｉ示しである。
各ルールセットＲ８１〜Ｒ３３にハ、ソのルール群ノ中
で最後に実行される後処理ルール（ＮＯルール）４１〜
４３が夫々設けられ、これらＮｏルール４１〜４３０条
件部には、そのルールセット内のルール群の総てが成立
しないことが記述されると共に、実行部には次に活性化
すべきルールセット名が記述される。例えばルールセッ
トＲ８１のＮｏルール４１ハ次のように記述される。
で最後に実行される後処理ルール（ＮＯルール）４１〜
４３が夫々設けられ、これらＮｏルール４１〜４３０条
件部には、そのルールセット内のルール群の総てが成立
しないことが記述されると共に、実行部には次に活性化
すべきルールセット名が記述される。例えばルールセッ
トＲ８１のＮｏルール４１ハ次のように記述される。
ＩＦルールセツ） Ｒｓｌ内のルール群の総てが成立し
ないならばＴＨＥＮルールセットＲＳｔｔ不活性化状態
とし、かつルールセットＲＳ！、 ＲＳ３ｉ活性化状態
にする。
ないならばＴＨＥＮルールセットＲＳｔｔ不活性化状態
とし、かつルールセットＲＳ！、 ＲＳ３ｉ活性化状態
にする。
このような実施例では、例えば初めにルールセットＲ８
１が活性化され〜、このルールセットＲＳｌ内のルール
群の中から作業記憶部２（第２図参照）内に曹き込まれ
た情報に合致するルールを推論機構３（第２図参照）Ｋ
より検索し、合致するルールを適用して作業記憶部２の
内容を更新する。そして合致する（取立する）ルールが
々くなったときにはＮｏルール４１が取立し、ルールセ
ットＲ８１が不活性化されると共にルールセットＲ８２
，Ｒ８３が活性化され、活性化さ；ｔｔ７ｔルール七ノ
） ＲＳ２、ＲＳｓを用いて推論が実行される。このよ
うに今まで７石いられていｔルールセットＲ８１は不活
性化されてそのルール群は取立／不成立を調べる対象か
ら外されるので推論効率が向上する。
１が活性化され〜、このルールセットＲＳｌ内のルール
群の中から作業記憶部２（第２図参照）内に曹き込まれ
た情報に合致するルールを推論機構３（第２図参照）Ｋ
より検索し、合致するルールを適用して作業記憶部２の
内容を更新する。そして合致する（取立する）ルールが
々くなったときにはＮｏルール４１が取立し、ルールセ
ットＲ８１が不活性化されると共にルールセットＲ８２
，Ｒ８３が活性化され、活性化さ；ｔｔ７ｔルール七ノ
） ＲＳ２、ＲＳｓを用いて推論が実行される。このよ
うに今まで７石いられていｔルールセットＲ８１は不活
性化されてそのルール群は取立／不成立を調べる対象か
ら外されるので推論効率が向上する。
まｔ１本発明ではルールセラ） ＲＳ１〜Ｒ８３内に、
ＩＦＴＲＵＥ ＴＨＥＮ〜の形式全とっ文無条件でか
つ１回のみ実行される無条件ルールを設けることもでき
、このようにすればルールセットを活性化したときにそ
のルールセントに含まれる無条件ルールが必ず１口実行
される。この場合例えば無条件ルールの実行部にこのル
ールが含まれるルールセット名を記録するといつｍ内容
を記述することにより、使用しｍルールセットの推移を
知ることもできる。このような無条件ルールはルールセ
ットを用りない方式に適用することもでき、例えば作業
記憶部に情報を書き込むことを実行部の内容とする無条
件ルールをルール群の中に含ませておくことによって、
作業記憶部内に何も情報が書き込まれていない状態でル
ール群を参照し窺ときには必ず無条件ルールの実行によ
り情報が書き込まれ、その後は通常のルールと作業記憶
部内の情報とにより推論が実行される。従ってこの場合
には無条件ルールが作業記憶部の初期化に行つｔことに
なる。
ＩＦＴＲＵＥ ＴＨＥＮ〜の形式全とっ文無条件でか
つ１回のみ実行される無条件ルールを設けることもでき
、このようにすればルールセットを活性化したときにそ
のルールセントに含まれる無条件ルールが必ず１口実行
される。この場合例えば無条件ルールの実行部にこのル
ールが含まれるルールセット名を記録するといつｍ内容
を記述することにより、使用しｍルールセットの推移を
知ることもできる。このような無条件ルールはルールセ
ットを用りない方式に適用することもでき、例えば作業
記憶部に情報を書き込むことを実行部の内容とする無条
件ルールをルール群の中に含ませておくことによって、
作業記憶部内に何も情報が書き込まれていない状態でル
ール群を参照し窺ときには必ず無条件ルールの実行によ
り情報が書き込まれ、その後は通常のルールと作業記憶
部内の情報とにより推論が実行される。従ってこの場合
には無条件ルールが作業記憶部の初期化に行つｔことに
なる。
Ｆ１発明の効果
請求項１の発明によれば、成立するルールが彦いこと（
Ｎｏ ＲＵＬＥ）を条件部とした後処理用のルールを
ルール群の最後に記述しているため、ルール群の中で成
立するルールがなくなったときにはその後処理ルールが
必ず成立してその実行９部に書かれ７２：内容が実行さ
れるので、例えばルールセットを用いた方式に適用し次
場合今まで用いてイアｔルールセットヲ不活性化して他
のルールセットを活性化するといつ文後処理を実行する
ことができて推論制御が容易になシ、シかも通常のルー
ルの制御に影響を与えることがなく、後処理ルールの記
述も簡単である。
Ｎｏ ＲＵＬＥ）を条件部とした後処理用のルールを
ルール群の最後に記述しているため、ルール群の中で成
立するルールがなくなったときにはその後処理ルールが
必ず成立してその実行９部に書かれ７２：内容が実行さ
れるので、例えばルールセットを用いた方式に適用し次
場合今まで用いてイアｔルールセットヲ不活性化して他
のルールセットを活性化するといつ文後処理を実行する
ことができて推論制御が容易になシ、シかも通常のルー
ルの制御に影響を与えることがなく、後処理ルールの記
述も簡単である。
まｔｎ！求項２の発明によればルール群の中に、常に条
件部が真実とみなされかつ１回のみ実行される無条件ル
ールを設けている九め、例えば作業記憶部の初期化やそ
の他所型の処理全、オペレータや外部プログラムに頼る
こと々くシステムの内部で容易に実行することができる
。
件部が真実とみなされかつ１回のみ実行される無条件ル
ールを設けている九め、例えば作業記憶部の初期化やそ
の他所型の処理全、オペレータや外部プログラムに頼る
こと々くシステムの内部で容易に実行することができる
。
第１図は本発明の実施例を示す概念図、第２図は従来例
を示す構成図である。 １・・・ルール記憶部、２・・・作業記憶部、３・・・
推論５［，４１〜４３・・・後処理ルール（Ｎｏルール
）、Ｒ８１〜Ｒ８３・・・ルールセット。
を示す構成図である。 １・・・ルール記憶部、２・・・作業記憶部、３・・・
推論５［，４１〜４３・・・後処理ルール（Ｎｏルール
）、Ｒ８１〜Ｒ８３・・・ルールセット。
Claims (2)
- （１）ルール記憶部内に格納されたルール群の中から、
作業記憶部内に書き込まれた情報に合致するルールを推
論機構により検索し、合致するルールを適用して作業記
憶部の内容を更新することにより推論を実行する推論方
式において、 ルール群の中で最後に実行され、当該ルール群の総てが
成立しないことを条件部の内容としかつ当該ルール群に
ついての推論終了後の後処理を実行部の内容とした後処
理ルールを設けたことを特徴とする推論方式。 - （２）ルール記憶部内に格納されたルール群の中から、
作業記憶部内に書き込まれた情報に合致するルールを推
論機構により検索し、合致するルールを適用して作業記
憶部の内容を更新することにより推論を実行する推論方
式において、 無条件で１回のみ実行されるルールを前記ルール群の中
に設けたことを特徴とする推論方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10356988A JPH01274242A (ja) | 1988-04-26 | 1988-04-26 | 推論方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP10356988A JPH01274242A (ja) | 1988-04-26 | 1988-04-26 | 推論方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH01274242A true JPH01274242A (ja) | 1989-11-02 |
Family
ID=14357434
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP10356988A Pending JPH01274242A (ja) | 1988-04-26 | 1988-04-26 | 推論方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH01274242A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03277128A (ja) * | 1990-03-27 | 1991-12-09 | Tokyo Electric Power Co Inc:The | 発変電所における開閉器操作手順の決定方法 |
-
1988
- 1988-04-26 JP JP10356988A patent/JPH01274242A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH03277128A (ja) * | 1990-03-27 | 1991-12-09 | Tokyo Electric Power Co Inc:The | 発変電所における開閉器操作手順の決定方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US11699295B1 (en) | Machine learning for computing enabled systems and/or devices | |
| US10102449B1 (en) | Devices, systems, and methods for use in automation | |
| JPH01147627A (ja) | 質問応答装置 | |
| Xie et al. | Fairness testing of machine learning models using deep reinforcement learning | |
| Mahler | Regulating artificial general intelligence (AGI) | |
| Misyurin et al. | Multicriteria approach to control a population of robots to find the best solutions | |
| JPH01274242A (ja) | 推論方式 | |
| Gillies et al. | Artificial Intelligence and Philosophy of Science from the 1990s to 2020 | |
| US4989162A (en) | Method of using an accuracy valve in a conflict resolution of a forward inference | |
| Scarpelli et al. | Modeling fuzzy reasoning using high level fuzzy Petri nets | |
| Hussein et al. | Deep imitation learning with memory for robocup soccer simulation | |
| Aleksander | Decision and intelligence | |
| PATEL | Aspects of artificial intelligence | |
| KR20120061014A (ko) | 기술논리 지식베이스 기반의 로봇 작업계획생성 시스템 | |
| Zisman et al. | Emergence of In-Context Reinforcement Learning from Noise Distillation | |
| Ernest et al. | An investigation into the impact of system transparency on work flows of fuzzy tree based AIs | |
| Karimi et al. | Learning With C4. 5 in a Situation Calculus Domain | |
| Ueda | Small implementation of decision-making policy for the height task of the acrobot | |
| Voloder | Application of iterative methods to solve inverse kinematics problem of robot | |
| da Silva et al. | The Needs of the future society 5.0: A challenge | |
| Ball | Algorithms, Software and Artificial Intelligence | |
| JPH03109605A (ja) | ファジイ、シーケンスコントローラ | |
| Chaterji | Panel 1 Position Paper: Man versus Machines–Humans Need Not Apply | |
| Upadhyay et al. | Turing Complete Transformers: Two Transformers Are More Powerful Than One | |
| Isenhour et al. | Expert Systems and Robotics |