JPH02220135A - 推論方式 - Google Patents
推論方式Info
- Publication number
- JPH02220135A JPH02220135A JP1044593A JP4459389A JPH02220135A JP H02220135 A JPH02220135 A JP H02220135A JP 1044593 A JP1044593 A JP 1044593A JP 4459389 A JP4459389 A JP 4459389A JP H02220135 A JPH02220135 A JP H02220135A
- Authority
- JP
- Japan
- Prior art keywords
- inference
- knowledge
- update
- rule
- information
- 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
- 238000000034 method Methods 0.000 claims abstract description 5
- 206010019233 Headaches Diseases 0.000 description 1
- 201000009906 Meningitis Diseases 0.000 description 1
- 206010037660 Pyrexia Diseases 0.000 description 1
- 238000013473 artificial intelligence Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 231100000869 headache Toxicity 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 208000024891 symptom Diseases 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は知識情報処理で用いられる推論方式に関する。
従来、この種の知識ベースシステムにおいては、推論中
に更新される知識の情報がルールコンパイル時にルール
ソースプログラムから予め収集されている。その情報が
推論時に推論ネットワークに流されることにより、推論
中に行われた知識の更新が推論に反映されている。この
例として、ＦＯＲＧＹ。
に更新される知識の情報がルールコンパイル時にルール
ソースプログラムから予め収集されている。その情報が
推論時に推論ネットワークに流されることにより、推論
中に行われた知識の更新が推論に反映されている。この
例として、ＦＯＲＧＹ。
Ｃ，Ｌ、、ＲＥＴＥ ： ｒア・ファースト・アルゴリ
ズム・フォー・ザ・メニイ・パターン／メニイ・オブジ
ェクト・パターン・マツチ・プロブレム」アーティフィ
シャル・インテリジェンス、第１９巻、１９８２年を参
照できる。
ズム・フォー・ザ・メニイ・パターン／メニイ・オブジ
ェクト・パターン・マツチ・プロブレム」アーティフィ
シャル・インテリジェンス、第１９巻、１９８２年を参
照できる。
上述した従来の知識ベースシステムにおいては、推論中
に行わｈる知識の情報がルールコンパイル時にルールソ
ースプログラムから収集されていたため、ルールソース
プログラム上に明示的に現われない知識の更新を推論に
反映させることができなかった。そのため、利用者は知
識の更新を推論に更新させたい場合は必ずルールソース
プログラムに明示的にその更新を記述しなければならな
いという記述上の制限を受けるという欠点があった。
に行わｈる知識の情報がルールコンパイル時にルールソ
ースプログラムから収集されていたため、ルールソース
プログラム上に明示的に現われない知識の更新を推論に
反映させることができなかった。そのため、利用者は知
識の更新を推論に更新させたい場合は必ずルールソース
プログラムに明示的にその更新を記述しなければならな
いという記述上の制限を受けるという欠点があった。
本発明の方式は、推論時に必要な情報を格納する推論ネ
ットワーク手段（以下推論ネットワーク）と、知識を格
納する知識ベース手段（以下知識ベース）ト、この知識
ベースをアクセスして得られた知識および前記推論ネッ
トワークの情報を利用して推論する推論手段と、この推
論手段での推論による前記知識ベース手段の知識の更新
に応答して推論時に更新された知識を更新情報として保
持する更新情報保持手段（以下の実施例では更新情報テ
ーブル４および更新通知手段５に相当する）とを備え、
前記推論手段が前記更新情報保持手段からの更新情報を
前記推論ネットワークに反映して推論することを特徴と
する。
ットワーク手段（以下推論ネットワーク）と、知識を格
納する知識ベース手段（以下知識ベース）ト、この知識
ベースをアクセスして得られた知識および前記推論ネッ
トワークの情報を利用して推論する推論手段と、この推
論手段での推論による前記知識ベース手段の知識の更新
に応答して推論時に更新された知識を更新情報として保
持する更新情報保持手段（以下の実施例では更新情報テ
ーブル４および更新通知手段５に相当する）とを備え、
前記推論手段が前記更新情報保持手段からの更新情報を
前記推論ネットワークに反映して推論することを特徴と
する。
次に、本発明の一実施例について図面を参照して詳細に
説明する。
説明する。
第１図を参照すると、本発明の一実施例は知識をストア
する知識ベース２と、推論時に必要となる情報を格納す
る推論ネットワーク３と、知識ベース２に格納された知
識および推論ネットワーク３を利用し、推論を行い、結
論を導く推論手段ｌと、この推論手段１の推論中に更新
された知識の情報を格納する更新情報テーブル４と、更
新情報テーブル４を管理する更新通知手段５とを含む。
する知識ベース２と、推論時に必要となる情報を格納す
る推論ネットワーク３と、知識ベース２に格納された知
識および推論ネットワーク３を利用し、推論を行い、結
論を導く推論手段ｌと、この推論手段１の推論中に更新
された知識の情報を格納する更新情報テーブル４と、更
新情報テーブル４を管理する更新通知手段５とを含む。
本発明の一実施例の特徴は更新情報テーブル４と更新通
知手段５とを設けたことにある。
知手段５とを設けたことにある。
次に、本発明の一実施例の動作について第１図および第
２図を参照して説明する。
２図を参照して説明する。
第１図および第２図を参照すると、まず、ステップ２１
において推論手段１がすべてのルール知識の条件部と知
識ベース２に格納されている知識との照合を、推論ネッ
トワーク３を用いて行う。
において推論手段１がすべてのルール知識の条件部と知
識ベース２に格納されている知識との照合を、推論ネッ
トワーク３を用いて行う。
次に、ステップ２２において、推論手段１が推論ネット
ワーク３を参照し、条件部を満足しているルール知識が
あるか否かを判断し、ないと判断された場合は終了する
。ルール知識があると判断された場合には、ステップ２
３において、推論手段１が推論ネットワーク３に格納さ
れているルール知識を１つ選択する。次に、ステップ２
４において、推論手段１がステップ２３で選択されたル
ール知識を実行する。更新通知手段５は、ステップ２５
において、ステップ２４で行われたルール実行において
、知識の更新が行われたか否かを判断し、更新がないと
判断された場合はステップ２２以降を行う。更新がある
と判断された場合は、更新通知手段５がステップ２６に
おいて、その更新を更新情報テーブル４に反映する。次
に、ステップ２７において、推論手段１は、更新情報テ
ーブル４を参照し、更新の行われた知識の情報を得、そ
の情報を推論ネットワーク３に流すことにより再条件照
合処理を行った後、ステップ２２以降を行う。
ワーク３を参照し、条件部を満足しているルール知識が
あるか否かを判断し、ないと判断された場合は終了する
。ルール知識があると判断された場合には、ステップ２
３において、推論手段１が推論ネットワーク３に格納さ
れているルール知識を１つ選択する。次に、ステップ２
４において、推論手段１がステップ２３で選択されたル
ール知識を実行する。更新通知手段５は、ステップ２５
において、ステップ２４で行われたルール実行において
、知識の更新が行われたか否かを判断し、更新がないと
判断された場合はステップ２２以降を行う。更新がある
と判断された場合は、更新通知手段５がステップ２６に
おいて、その更新を更新情報テーブル４に反映する。次
に、ステップ２７において、推論手段１は、更新情報テ
ーブル４を参照し、更新の行われた知識の情報を得、そ
の情報を推論ネットワーク３に流すことにより再条件照
合処理を行った後、ステップ２２以降を行う。
ここで、ルール知識とは、知識ベースシステムが対象と
している分野における判断に関する知識であり、 ＩＦ 状況 ＴＨＥＮ 結論 等の形式を持つ。
している分野における判断に関する知識であり、 ＩＦ 状況 ＴＨＥＮ 結論 等の形式を持つ。
次に、ルールの例を示す。
ＩＦ 患者の症状が頭痛、頂部硬直および発熱ＴＨＥ
Ｎ 患者は髄膜炎である。
Ｎ 患者は髄膜炎である。
次に、本実施例を具体例をもって示す。
ＩＦ Ａ、ａ＝５ ＴＨＥＮ Ｂ、ｂ＝１５前
記ルール知識において、Ａ、Ｂはフレームであり、ａ、
ｂは、それぞれＡ、Ｂのスロットとする。前記ルール知
識は「フレームＡのスロワ）ａが５ならば、フレームＢ
のスロワ）ｂを１５に設定せよ」ということを表わして
いる。このルール知識が実行されると、フレームＢのス
ロットｂが１５に更新される。この更新を更新通知手段
５が検知し、更新情報テーブル４のフレームＢのスロワ
）ｂの値を１５に変更する。推論手段１は、更新情報テ
ーブルを参照し、フレームＢのスロットｂが１５に変更
されていることを知る。そこで、推論手段ｌは、その変
更情報を推論ネットワーク３に流すことにより、再条件
照合を行う。
記ルール知識において、Ａ、Ｂはフレームであり、ａ、
ｂは、それぞれＡ、Ｂのスロットとする。前記ルール知
識は「フレームＡのスロワ）ａが５ならば、フレームＢ
のスロワ）ｂを１５に設定せよ」ということを表わして
いる。このルール知識が実行されると、フレームＢのス
ロットｂが１５に更新される。この更新を更新通知手段
５が検知し、更新情報テーブル４のフレームＢのスロワ
）ｂの値を１５に変更する。推論手段１は、更新情報テ
ーブルを参照し、フレームＢのスロットｂが１５に変更
されていることを知る。そこで、推論手段ｌは、その変
更情報を推論ネットワーク３に流すことにより、再条件
照合を行う。
本発明の特徴は、更新情報テーブルおよび更新通知手段
を設け、推論中に行われた知識の更新に関する情報を更
新通知手段が更新情報テーブルに反映し、推論手段が更
新情報テーブルを参照し、更新情報を得、その更新情報
を推論ネットワークに流し、推論を進めることにある。
を設け、推論中に行われた知識の更新に関する情報を更
新通知手段が更新情報テーブルに反映し、推論手段が更
新情報テーブルを参照し、更新情報を得、その更新情報
を推論ネットワークに流し、推論を進めることにある。
この結果、本発明は、ルールソースプログラムに明示的
に記述されていない更新を推論に反映することができ、
ルールソースプログラムの記述性が向上するという効果
がある。
に記述されていない更新を推論に反映することができ、
ルールソースプログラムの記述性が向上するという効果
がある。
第１図は本発明の一実施例の構成を示す図および第２図
は本発明の一実施例の動作を示す流れ図である。第１図
において、ｌ・・・・・・推論手段、２・・・・・・知
識ベース、３・・・・・・推論ネットワーク、４・・・
・・・更新情報テーブル、５・・・・・・更新通知手段
。 代理人 弁理士 内 原 音 事
は本発明の一実施例の動作を示す流れ図である。第１図
において、ｌ・・・・・・推論手段、２・・・・・・知
識ベース、３・・・・・・推論ネットワーク、４・・・
・・・更新情報テーブル、５・・・・・・更新通知手段
。 代理人 弁理士 内 原 音 事
Claims (1)
- 【特許請求の範囲】 推論時に必要な情報を格納する推論ネットワーク手段と
、 知識を格納する知識ベース手段と、 この知識ベース手段をアクセスして得られた知識および
前記推論ネットワークの情報を利用して推論する推論手
段と、 この推論手段での推論による前記知識ベース手段の知識
の更新に応答して推論時に更新された知識を更新情報と
して保持する更新情報保持手段とを備え、 前記推論手段が前記更新情報保持手段からの更新情報を
前記推論ネットワークに反映して推論することを特徴と
する推論方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1044593A JPH02220135A (ja) | 1989-02-22 | 1989-02-22 | 推論方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1044593A JPH02220135A (ja) | 1989-02-22 | 1989-02-22 | 推論方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH02220135A true JPH02220135A (ja) | 1990-09-03 |
Family
ID=12695769
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1044593A Pending JPH02220135A (ja) | 1989-02-22 | 1989-02-22 | 推論方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH02220135A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2025158507A1 (ja) * | 2024-01-22 | 2025-07-31 | Ｎｔｔ株式会社 | 推論装置、推論方法、プログラム、及び推論システム |
-
1989
- 1989-02-22 JP JP1044593A patent/JPH02220135A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2025158507A1 (ja) * | 2024-01-22 | 2025-07-31 | Ｎｔｔ株式会社 | 推論装置、推論方法、プログラム、及び推論システム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US4849905A (en) | Method for optimized RETE pattern matching in pattern-directed, rule-based artificial intelligence production systems | |
| US5720009A (en) | Method of rule execution in an expert system using equivalence classes to group database objects | |
| US20070100781A1 (en) | Conditional CSP solving using constraint propagation | |
| Gao et al. | Potential Based Reward Shaping for Hierarchical Reinforcement Learning. | |
| US7418434B2 (en) | Forward-chaining inferencing | |
| CN110991871B (zh) | 风险监测方法、装置、设备与计算机可读存储介质 | |
| CA3221550A1 (en) | Systems and methods for operating an autonomous system | |
| CN108830376A (zh) | 针对时间敏感的环境的多价值网络深度强化学习方法 | |
| Sammut | Learning concepts by performing experiments | |
| JPH02220135A (ja) | 推論方式 | |
| Eberbach | $-calculus of bounded rational agents: Flexible optimization as search under bounded resources in interactive systems | |
| Affenzeller | A new approach to evolutionary computation: Segregative genetic algorithms (SEGA) | |
| JPH0782439B2 (ja) | 推論エンジンの実行監視方法及び装置 | |
| JPH05341999A (ja) | 実時間で状態を表わす網状判断回路網 | |
| JP2024040936A (ja) | 情報処理装置、情報処理装置の制御方法、プログラム | |
| JPH0329030A (ja) | 分散協調型推論装置 | |
| JPS63311441A (ja) | 時間履歴を用いた知識獲得方式 | |
| JPS63208127A (ja) | プロダクシヨンシステム | |
| JPH0468441A (ja) | 知識検証支援システム | |
| JP2002132504A (ja) | 帰納推論システム | |
| JPH01280834A (ja) | 推論装置 | |
| Ryzko et al. | Exchange of knowledge and learning in default reasoning based agent systems | |
| JPH01270139A (ja) | エキスパートシステムのリートアルゴリズム方式 | |
| JPH0423064A (ja) | 並列処理ネットワークにおける解の最適化法 | |
| JPH02277135A (ja) | 推論システム |