JP2507593B2 - 推論方式 - Google Patents
推論方式Info
- Publication number
- JP2507593B2 JP2507593B2 JP1105529A JP10552989A JP2507593B2 JP 2507593 B2 JP2507593 B2 JP 2507593B2 JP 1105529 A JP1105529 A JP 1105529A JP 10552989 A JP10552989 A JP 10552989A JP 2507593 B2 JP2507593 B2 JP 2507593B2
- Authority
- JP
- Japan
- Prior art keywords
- rule
- fact information
- information
- inference
- time tag
- 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 - Lifetime
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
- G06N5/046—Forward inferencing; Production systems
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Physics & Mathematics (AREA)
- Computational Linguistics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Artificial Intelligence (AREA)
- Devices For Executing Special Programs (AREA)
Description
【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） 本発明は、たとえばエキスパートシステムなどにおい
て採用される推論方式に関する。
て採用される推論方式に関する。
（従来の技術） 近年、人間の持つ知的機能を計算機を用いて実現を図
るエキスパートシステムの開発が盛んである。
るエキスパートシステムの開発が盛んである。
このエキスパートシステムにおいて用いられる推論方
式として「reteアルゴリズム」という方式がある。
式として「reteアルゴリズム」という方式がある。
この方式は「if…then…」という条件要素と実行要素
からなる組合せのルール群において、パータン・マッ
チ、競合解消、実行のサイクル（認知サイクル）を繰返
し、ルールが無くなった時点で推論動作が終了するとい
う形態をとっている。
からなる組合せのルール群において、パータン・マッ
チ、競合解消、実行のサイクル（認知サイクル）を繰返
し、ルールが無くなった時点で推論動作が終了するとい
う形態をとっている。
この方式において現在の事実情報（fact）は、ワーキ
ング・メモリ（以下wmと称す）に蓄えられており、パタ
ーン・マッチはこのwmに格納されているwm要素とルール
の条件要素とのマッチングにより行われる。
ング・メモリ（以下wmと称す）に蓄えられており、パタ
ーン・マッチはこのwmに格納されているwm要素とルール
の条件要素とのマッチングにより行われる。
ところで、このときマッチするwm要素とルールとの組
合せが複数存在する可能性がある。これをルールの競合
と言う。
合せが複数存在する可能性がある。これをルールの競合
と言う。
この競合の解消方法には様々な方策がある。
その方法の一つとしてタイム・タグを用いたものがあ
る。
る。
これは個々のwm要素に付された番号のようなものであ
り、wmにおいて作成された個々のwm要素の順位を示して
いる。
り、wmにおいて作成された個々のwm要素の順位を示して
いる。
これにより、たとえば「より新しく作られたwm要素と
マッチしたルールを優先的に実行する」というような競
合解消策をとることができる。
マッチしたルールを優先的に実行する」というような競
合解消策をとることができる。
そして、この競合解消によって選出されたルールのth
en部（実行部）が実際に実行され、これによりwm内のwm
要素に対し修正、追加、削除などの処理が行われる。
en部（実行部）が実際に実行され、これによりwm内のwm
要素に対し修正、追加、削除などの処理が行われる。
またこのときwm内に新たに作成されたwm要素には、作
成順位を示すタイム・タグが付加される。
成順位を示すタイム・タグが付加される。
すなわちタイム・タグが大きいほうが、より新しくで
きたwm要素であることを示している。
きたwm要素であることを示している。
（発明が解決しようとする課題） しかしながら、従来から実用化されているエキスパー
トシステムにおいてリアルタイムにより連続推論を行っ
た場合、タイム・タグの値は最終的な推論結果が得られ
るまで高くなる一方なので、遂にはタイム・タグのオー
バフローが発生することがあった。
トシステムにおいてリアルタイムにより連続推論を行っ
た場合、タイム・タグの値は最終的な推論結果が得られ
るまで高くなる一方なので、遂にはタイム・タグのオー
バフローが発生することがあった。
したがって従来からの推論方式によるタイム・タグ発
番管理方式を連続式のリアルタイム・エキスパートシス
テムに適用することは困難であるという問題があった。
番管理方式を連続式のリアルタイム・エキスパートシス
テムに適用することは困難であるという問題があった。
本発明は従来からの推論方式における課題を解決する
ためのもので、連続推論を行う場合において、事実情報
に付される番号のオーバフローを防止することができ、
これにより安定した連続推論を行うことのできる推論方
式を提供することを目的としている。
ためのもので、連続推論を行う場合において、事実情報
に付される番号のオーバフローを防止することができ、
これにより安定した連続推論を行うことのできる推論方
式を提供することを目的としている。
［発明の構成］ （課題を解決するための手段） 本発明の推論方式は上記した目的を達成するために、
作成順位を示す番号が付された事実情報を格納するワー
キング・メモリと、事実情報とのパターン・マッチ対象
となるルール群が格納されたルール格納手段とを用い
て、パターン・マッチにより複数選出された事実情報と
ルールとの組合せの中から番号の比較により最新に作成
された事実情報を含む組合せを選出し、その組合せにお
けるルールを実行してワーキング・メモリの内容を更新
する推論方式において、ルールの実行によりワーキング
・メモリに新たな事実情報を作成する際、この事実情報
に付される番号がオーバフローする危険度をルールの実
行回数に基づいてチェックし、その回数がある設定値を
越えたとき、事実情報にそれぞれ付された番号の付け直
しを行うようにしたものである。
作成順位を示す番号が付された事実情報を格納するワー
キング・メモリと、事実情報とのパターン・マッチ対象
となるルール群が格納されたルール格納手段とを用い
て、パターン・マッチにより複数選出された事実情報と
ルールとの組合せの中から番号の比較により最新に作成
された事実情報を含む組合せを選出し、その組合せにお
けるルールを実行してワーキング・メモリの内容を更新
する推論方式において、ルールの実行によりワーキング
・メモリに新たな事実情報を作成する際、この事実情報
に付される番号がオーバフローする危険度をルールの実
行回数に基づいてチェックし、その回数がある設定値を
越えたとき、事実情報にそれぞれ付された番号の付け直
しを行うようにしたものである。
（作 用） 本発明の推論方式では、ルールの実行によりワーキン
グ・メモリに新たな事実情報を作成する際、この事実情
報に付される番号がオーバフローする危険度をルールの
実行回数に基づいてチェックし、その回数がある設定値
を越えたとき、事実情報にそれぞれ付された番号の付け
直しを行うので、連続推論を行う場合において、事実情
報に付される番号のオーバフローを防止することがで
き、これにより安定した連続推論を行うことが可能とな
る。
グ・メモリに新たな事実情報を作成する際、この事実情
報に付される番号がオーバフローする危険度をルールの
実行回数に基づいてチェックし、その回数がある設定値
を越えたとき、事実情報にそれぞれ付された番号の付け
直しを行うので、連続推論を行う場合において、事実情
報に付される番号のオーバフローを防止することがで
き、これにより安定した連続推論を行うことが可能とな
る。
（実施例） 以下、本発明の実施例を図面に基づいて詳細に説明す
る。
る。
第１図は、本発明の一実施例の推論方式を採用した推
論機構を示すブロック図である。
論機構を示すブロック図である。
同図に示すように、この推論機構は、推論を実行する
ために必要なルールのif部（条件部）がそれぞれネット
ワーク情報として格納されたルールif部ネットワーク情
報メモリ１と、上記したルールのthen部（実行部）が格
納されたルールthen部情報メモリ２と、事実情報である
複数のwm要素3a…がそれぞれ作成順位を示すタイム・タ
グを付して格納されたwm（ワーキング・メモリ）３と、
ルールif部ネットワーク情報メモリ１内のルールのif部
とwm3内のwm要素3aとのパターン照合を行うパターン・
マッチ部４と、このパターン・マッチ部４によりwm要素
3aとルールとのセットが複数選出された場合、どのセッ
トを選んでルールを実行すべきかを各wm要素3aにそれぞ
れ付加されたタイム・タグを比較することによって決定
する競合解消部５と、この競合解消部５で選ばれたルー
ルのthen部をルールthen部情報メモリ２から抽出して実
行するルール実行部６と、ルールthen部の実行によりwm
3に変更を加えて新たなwm要素3aを作成する際このwm要
素3aに付される現在のタイム・タグの番号を保持するタ
イム・タグ・カウンタ７と、wm3の変更と同時に、その
変更部分の情報をパターン・マッチの際にルール条件部
ネットワーク情報メモリ１に流されるトークン情報とし
て格納するトークン情報メモリ８と、パターン・マッチ
部４により選出されたルール・セットを格納しておく競
合ルールセット情報メモリ９とを備えて構成されてい
る。
ために必要なルールのif部（条件部）がそれぞれネット
ワーク情報として格納されたルールif部ネットワーク情
報メモリ１と、上記したルールのthen部（実行部）が格
納されたルールthen部情報メモリ２と、事実情報である
複数のwm要素3a…がそれぞれ作成順位を示すタイム・タ
グを付して格納されたwm（ワーキング・メモリ）３と、
ルールif部ネットワーク情報メモリ１内のルールのif部
とwm3内のwm要素3aとのパターン照合を行うパターン・
マッチ部４と、このパターン・マッチ部４によりwm要素
3aとルールとのセットが複数選出された場合、どのセッ
トを選んでルールを実行すべきかを各wm要素3aにそれぞ
れ付加されたタイム・タグを比較することによって決定
する競合解消部５と、この競合解消部５で選ばれたルー
ルのthen部をルールthen部情報メモリ２から抽出して実
行するルール実行部６と、ルールthen部の実行によりwm
3に変更を加えて新たなwm要素3aを作成する際このwm要
素3aに付される現在のタイム・タグの番号を保持するタ
イム・タグ・カウンタ７と、wm3の変更と同時に、その
変更部分の情報をパターン・マッチの際にルール条件部
ネットワーク情報メモリ１に流されるトークン情報とし
て格納するトークン情報メモリ８と、パターン・マッチ
部４により選出されたルール・セットを格納しておく競
合ルールセット情報メモリ９とを備えて構成されてい
る。
第２図は第１図におけるwm3内のwm要素3aの構成を示
した図である。
した図である。
同図に示すように、wm要素3aは、タイム・タグ11、ク
ラス名12、各属性値13a、13b、13c…と、その他の付帯
情報14とからなっている。
ラス名12、各属性値13a、13b、13c…と、その他の付帯
情報14とからなっている。
次にこの推論機構の動作について説明する。
まず何等かの操作によってwm3にwm要素3aが追加され
たとする。
たとする。
これによりトークン情報メモリ８に追加情報がセット
される。
される。
一方ルールif部ネットワーク情報メモリ１内の各ネッ
トワークのノードには、現在wm3内に存在する各wm要素3
aの中間パターン・マッチ状態がそれぞれスタックされ
ている。
トワークのノードには、現在wm3内に存在する各wm要素3
aの中間パターン・マッチ状態がそれぞれスタックされ
ている。
したがってパターン・マッチ部４では、トークン情報
メモリ８にセットされたトークン情報をルールif部ネッ
トワーク情報メモリ１に流すことにより、各ネットワー
クのノードにスタックされた中間パターン・マッチ状態
とトークン情報にそれぞれ完全にマッチしてネットワー
クから抜けてきたルールがパターン・マッチに成功した
ルールとなる。
メモリ８にセットされたトークン情報をルールif部ネッ
トワーク情報メモリ１に流すことにより、各ネットワー
クのノードにスタックされた中間パターン・マッチ状態
とトークン情報にそれぞれ完全にマッチしてネットワー
クから抜けてきたルールがパターン・マッチに成功した
ルールとなる。
この後、パターン・マッチに成功したwm要素3aとルー
ルとからなるルールセットを複数競合ルールセット情報
メモリ９にセットする。
ルとからなるルールセットを複数競合ルールセット情報
メモリ９にセットする。
次に競合解消部５は、競合ルールセット情報メモリ９
を参照し、各ルールセットのwm要素3aに付されたタイム
・タグの比較を行ってどのwm要素3aがwm3において一番
最後に作成されたものなのかを判定し、実際に実行する
ルールを決定する。
を参照し、各ルールセットのwm要素3aに付されたタイム
・タグの比較を行ってどのwm要素3aがwm3において一番
最後に作成されたものなのかを判定し、実際に実行する
ルールを決定する。
この後、ルール実行部６は、決定されたルールに対応
するthen部をルールthen部情報メモリ２から取出してこ
れを実行し、さらにwm3に対してwm要素3aの修正・追加
・削除などの処理を行う。
するthen部をルールthen部情報メモリ２から取出してこ
れを実行し、さらにwm3に対してwm要素3aの修正・追加
・削除などの処理を行う。
ここで新たなwm要素3aがwm3に追加されると、タイム
・タグ・カウンタ７は「１」だけカウントアップされ、
これを追加するwm要素3aのタイム・タグとする。
・タグ・カウンタ７は「１」だけカウントアップされ、
これを追加するwm要素3aのタイム・タグとする。
これら一連の処理が終了した後、タイム・タグ・カウ
ンタ７の値がある設定値を越えたか否かをチェックす
る。
ンタ７の値がある設定値を越えたか否かをチェックす
る。
この設定値はタイム・タグの値を順次増加してwm要素
3aに付加する処理において懸念されるタイム・タグのオ
ーバフローを防止することを目的として設定されてい
る。
3aに付加する処理において懸念されるタイム・タグのオ
ーバフローを防止することを目的として設定されてい
る。
そしてチェックの結果、タイム・タグ・カウンタ７の
値が上記した設定値以下であった場合は、そのまま次の
認知サイクルが実行される。
値が上記した設定値以下であった場合は、そのまま次の
認知サイクルが実行される。
また、タイム・タグ・カウンタ７の値が設定値を越え
た場合には、wm3内の各wm要素3aに対しタイム・タグの
付け直しを行う。
た場合には、wm3内の各wm要素3aに対しタイム・タグの
付け直しを行う。
これはタイム・タグの値が少ないwm要素3aから順に取
出して、タイム・タグ・カウンタ７と同期をとりつつ初
期値「１」からその値を一つずつ増加してタイム・タグ
の発番を行うことによる。
出して、タイム・タグ・カウンタ７と同期をとりつつ初
期値「１」からその値を一つずつ増加してタイム・タグ
の発番を行うことによる。
かくしてこの実施例の推論方式によれば、新たなwm要
素3aに付加されるタイム・タグがオーバフローする危険
性が高くなった段階で、wm3に格納された各wm要素3aの
タイム・タグを初期値から順番に付け直すことができ、
これにより連続式の推論を良好な状態で正確に行うこと
が可能となる。
素3aに付加されるタイム・タグがオーバフローする危険
性が高くなった段階で、wm3に格納された各wm要素3aの
タイム・タグを初期値から順番に付け直すことができ、
これにより連続式の推論を良好な状態で正確に行うこと
が可能となる。
［発明の効果］ 以上説明したように本発明の推論方式によれば、ルー
ルの実行によりワーキング・メモリに新たな事実情報を
作成する際、この事実情報に付される番号がオーバフロ
ーする危険度をルールの実行回数に基づいてチェック
し、その回数がある設定値を越えたとき、事実情報にそ
れぞれ付された番号の付け直しを行うので、連続推論を
行う場合において、事実情報に付される番号のオーバフ
ローを防止することができ、これにより安定した連続推
論を行うことできる。
ルの実行によりワーキング・メモリに新たな事実情報を
作成する際、この事実情報に付される番号がオーバフロ
ーする危険度をルールの実行回数に基づいてチェック
し、その回数がある設定値を越えたとき、事実情報にそ
れぞれ付された番号の付け直しを行うので、連続推論を
行う場合において、事実情報に付される番号のオーバフ
ローを防止することができ、これにより安定した連続推
論を行うことできる。
第１図は本発明の一実施例の推論方式を採用した推論機
構の構成を説明するためのブロック図、第２図は第１図
におけるwm内のwm要素の詳細を示す図である。 １……ルールif部ネットワーク情報メモリ、２……ルー
ルthen部情報メモリ、３……wm（ワーキング・メモ
リ）、3a……wm要素、４……パターンマッチ部、５……
競合解消部、６……ルール実行部、７……タイム・タグ
・カウンタ、８……トークン情報メモリ、９……競合ル
ールセット情報メモリ。
構の構成を説明するためのブロック図、第２図は第１図
におけるwm内のwm要素の詳細を示す図である。 １……ルールif部ネットワーク情報メモリ、２……ルー
ルthen部情報メモリ、３……wm（ワーキング・メモ
リ）、3a……wm要素、４……パターンマッチ部、５……
競合解消部、６……ルール実行部、７……タイム・タグ
・カウンタ、８……トークン情報メモリ、９……競合ル
ールセット情報メモリ。
Claims (1)
- 【請求項１】作成順位を示す番号が付された事実情報を
格納するワーキング・メモリと、前記事実情報とのパタ
ーン・マッチ対象となるルール群が格納されたルール格
納手段とを用いて、前記パターン・マッチにより複数選
出された前記事実情報と前記ルールとの組合せの中から
前記番号の比較により最新に作成された事実情報を含む
組合せを選出し、その組合せにおけるルールを実行して
前記ワーキング・メモリの内容を更新する推論方式にお
いて、前記ルールの実行により前記ワーキング・メモリ
に新たな事実情報を作成する際、この事実情報に付され
る番号がオーバフローする危険度を前記ルールの実行回
数に基づいてチェックし、その回数がある設定値を越え
たとき、前記事実情報にそれぞれ付された番号の付け直
しを行うことを特徴とする推論方式。
Priority Applications (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1105529A JP2507593B2 (ja) | 1989-04-25 | 1989-04-25 | 推論方式 |
| US07/514,267 US5197115A (en) | 1989-04-25 | 1990-04-25 | Inferential system and inferential method |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1105529A JP2507593B2 (ja) | 1989-04-25 | 1989-04-25 | 推論方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH02282828A JPH02282828A (ja) | 1990-11-20 |
| JP2507593B2 true JP2507593B2 (ja) | 1996-06-12 |
Family
ID=14410119
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1105529A Expired - Lifetime JP2507593B2 (ja) | 1989-04-25 | 1989-04-25 | 推論方式 |
Country Status (2)
| Country | Link |
|---|---|
| US (1) | US5197115A (ja) |
| JP (1) | JP2507593B2 (ja) |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP3049561B2 (ja) * | 1990-05-21 | 2000-06-05 | 東洋通信機株式会社 | プロダクションシステムとプロダクションシステムの変換装置 |
| JPH0695879A (ja) * | 1992-05-05 | 1994-04-08 | Internatl Business Mach Corp <Ibm> | コンピュータシステム |
| CA2129510C (en) * | 1993-10-21 | 1999-04-13 | Sasisekharan Raguram | Automatic temporospatial pattern analysis and prediction in a telecommunications network using rule induction |
| US6336106B1 (en) | 1994-02-15 | 2002-01-01 | R.R. Donnelley & Sons Company | System and method for partitioning a real-valued attribute exhibiting windowed data characteristics |
| US6507832B1 (en) | 1994-02-15 | 2003-01-14 | R.R. Donnelley & Sons Company | Using ink temperature gain to identify causes of web breaks in a printing system |
| US5781769A (en) * | 1995-12-29 | 1998-07-14 | Symbios, Inc. | Method and apparatus for using a content addressable memory for time tagged event processing |
| US20020128990A1 (en) * | 1997-05-01 | 2002-09-12 | Kaminskas Paul A. | Control methodology and apparatus for reducing delamination in a book binding system |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0690666B2 (ja) * | 1985-09-06 | 1994-11-14 | 株式会社日立製作所 | 弁別ネツトワ−クの動的変形方法 |
| US4837735A (en) * | 1987-06-09 | 1989-06-06 | Martin Marietta Energy Systems, Inc. | Parallel machine architecture for production rule systems |
| US4882691A (en) * | 1988-09-07 | 1989-11-21 | International Business Machines Corporation | Caching argument values in pattern-matching networks |
-
1989
- 1989-04-25 JP JP1105529A patent/JP2507593B2/ja not_active Expired - Lifetime
-
1990
- 1990-04-25 US US07/514,267 patent/US5197115A/en not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| US5197115A (en) | 1993-03-23 |
| JPH02282828A (ja) | 1990-11-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hasegawa et al. | A novel chaotic search for quadratic assignment problems | |
| US5222197A (en) | Rule invocation mechanism for inductive learning engine | |
| JP2507593B2 (ja) | 推論方式 | |
| Mukhopadhyay et al. | Reinforcement learning algorithms for uncertain, dynamic, zero-sum games | |
| Čermák et al. | Combining incremental strategy generation and branch and bound search for computing maxmin strategies in imperfect recall games | |
| CN113221390B (zh) | 一种排产模型的训练方法和装置 | |
| EP0342017A2 (en) | Inference processor using meta knowledge | |
| EP0310003B1 (en) | Element checking system for use in forward inference system | |
| Pralet et al. | Beyond QCSP for solving control problems | |
| JPH05274145A (ja) | プロダクションシステム | |
| Baum et al. | Toward code evolution by artificial economies | |
| JP3127634B2 (ja) | 制約緩和推論方法 | |
| JPH04353963A (ja) | 神経回路網の構築装置および方法 | |
| WO2023214582A1 (ja) | 学習装置、学習方法及び学習プログラム | |
| Grigoryan | Investigation of the regularities in the formation of solutions n-queens problem | |
| JP2001117774A (ja) | 適応化機構を備えたプロダクションシステム | |
| Szalas | Genetic algorithms for decision problems | |
| JPH0476628A (ja) | ルールの競合解消方法と推論システム | |
| Lebbah et al. | VNS approach for solving a financial portfolio design problem | |
| CN109828834A (zh) | 批处理的方法与系统、及其计算器可读介值与电子设备 | |
| CN113705858A (zh) | 多目标区域的最短路径规划方法、系统、设备及存储介质 | |
| CN118070869A (zh) | 一种用于电磁频谱行动协同的数据处理方法及装置 | |
| CN115759298A (zh) | 一种决策动作确定方法、装置、设备及介质 | |
| JPH05346855A (ja) | 推論装置 | |
| JPS63304328A (ja) | 強さの異なる複数の制約を充足する問題解決方式 |