JPS59188747A - 潜在エラ−検出装置 - Google Patents
潜在エラ−検出装置Info
- Publication number
- JPS59188747A JPS59188747A JP58061731A JP6173183A JPS59188747A JP S59188747 A JPS59188747 A JP S59188747A JP 58061731 A JP58061731 A JP 58061731A JP 6173183 A JP6173183 A JP 6173183A JP S59188747 A JPS59188747 A JP S59188747A
- Authority
- JP
- Japan
- Prior art keywords
- parameter
- rule
- premise
- section
- pattern
- 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)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
本発明は、新しく入力したルールの前提部のパラメータ
構成パターンと、既存のルール集合の構成パターンとを
比較参照しながら、入力ルールの前提部のパラメータの
潜在エラー（欠如エラー、冗長エラー等）を検出し、パ
ラメータの欠如補完、冗長除去を促すことによりルール
生成の支援を実現するルールの潜在エラー検出装置に関
するものである。
構成パターンと、既存のルール集合の構成パターンとを
比較参照しながら、入力ルールの前提部のパラメータの
潜在エラー（欠如エラー、冗長エラー等）を検出し、パ
ラメータの欠如補完、冗長除去を促すことによりルール
生成の支援を実現するルールの潜在エラー検出装置に関
するものである。
従来、ルールベースシステムにおいては、新シいルール
を入力しようとした場合、その帰結部のパラメータを結
論ずける他のルールが既に存在していても、それらとの
比較評価が十分に行われず、推論実行時にルールを検証
する方式を取っていた。
を入力しようとした場合、その帰結部のパラメータを結
論ずける他のルールが既に存在していても、それらとの
比較評価が十分に行われず、推論実行時にルールを検証
する方式を取っていた。
このため、新しいルールの検証が推論実行時に行われる
ため、その検証効率が低下するという欠点があった。
ため、その検証効率が低下するという欠点があった。
本発明の目的は前記問題点を解消するもので、新しい入
力時に積極的にそのルールの潜在的エラーを検出し、可
及的速やかに入力されたルールの検証を実現するように
した潜在的エラー検出装置を提供することにある。すな
わち、本発明は知識情報処理のルールベースシステムに
おいて、ル・−ルの前提部パラメータと帰結パラメータ
との関係を格納する前提帰結関係格納部と、ルールの前
記パラメータをもとにその前提となるパラメータを探索
するパラメータ探索部と、入力するルールの前提部のパ
ラメータの構成パターンと、前提帰結関係ネットワーク
のパラメータ結合パターンとを評価し、入力するルール
の前提部のパラメータの潜在エラーを検出する評価部と
から構成したことを特徴とする潜在エラー検出装置であ
る。
力時に積極的にそのルールの潜在的エラーを検出し、可
及的速やかに入力されたルールの検証を実現するように
した潜在的エラー検出装置を提供することにある。すな
わち、本発明は知識情報処理のルールベースシステムに
おいて、ル・−ルの前提部パラメータと帰結パラメータ
との関係を格納する前提帰結関係格納部と、ルールの前
記パラメータをもとにその前提となるパラメータを探索
するパラメータ探索部と、入力するルールの前提部のパ
ラメータの構成パターンと、前提帰結関係ネットワーク
のパラメータ結合パターンとを評価し、入力するルール
の前提部のパラメータの潜在エラーを検出する評価部と
から構成したことを特徴とする潜在エラー検出装置であ
る。
以下、本発明について、実施例を示す図面を参照して説
明する。
明する。
第１図は本発明の一実施例を示すブロック図である。第
１図において、本発明の潜在エラー検出装置１は制御部
２と、パターン評価部３と、パラメータ探索部４と、前
提帰結関係格納部５とから構成され、中央処理部６との
間に外部インタフェース２６を有する。この外部インタ
フェース２６は中央処理部６から潜在エラー伏出装置１
に新しく入力するルールの前提部と帰結部のパラメータ
を転送し、また潜在エラー検出装置１から中央処理部６
にそのルールの検証結果を転送するために使用される。
１図において、本発明の潜在エラー検出装置１は制御部
２と、パターン評価部３と、パラメータ探索部４と、前
提帰結関係格納部５とから構成され、中央処理部６との
間に外部インタフェース２６を有する。この外部インタ
フェース２６は中央処理部６から潜在エラー伏出装置１
に新しく入力するルールの前提部と帰結部のパラメータ
を転送し、また潜在エラー検出装置１から中央処理部６
にそのルールの検証結果を転送するために使用される。
また、２３ 、３４ 、４５はインタフェースを示す。
次に、第１図に示す本発明の潜在エラー検出装置が第２
図に示す例題をどのようにして処理するかを説明する。
図に示す例題をどのようにして処理するかを説明する。
まず、第２図を使ってルールの形式と、前提帰結関係の
格納形式とを説明する。ルールは前提部と帰結部とから
構成されておシ、実施例において、前提部はパラメータ
の腕結合とし、帰結部のパラメータは１個に限定する。
格納形式とを説明する。ルールは前提部と帰結部とから
構成されておシ、実施例において、前提部はパラメータ
の腕結合とし、帰結部のパラメータは１個に限定する。
例えば、Ｐ２＆ Ｐ３＆Ｐ。
→Ｐ１というルールにおいてはＰ、 ＆Ｐ、 ＆Ｐ、が
前提部のパラメータ構成であシ、Ｐ８がこのルールの帰
結部のパラメータとなる。つまり、前提帰結関係とはこ
のルールの前提部のパラメータ群（ＡＮＤ結合）と帰結
のパラメータとのっながシを示すものである。例えば、
第２図は既存のルールパターンとして、今、Ｐｚ＆ＰＫ
＆Ｐａ→Ｐ１とＰ４＆Ｐ５→Ｐ３という２つのパターン
が存在していることを示したものである。前提帰結関係
格納部５は与えられたパラメータを帰結するパラメータ
群を示すポインタを管理している。この状態で、新しい
ルールとしてＰ、＆Ｐ４ ＆Ｐｓ→Ｐ□が入力したとき
、本発明の潜在エラー検出装置１がどのようにしてこの
ルールを検証するかを説明する。
前提部のパラメータ構成であシ、Ｐ８がこのルールの帰
結部のパラメータとなる。つまり、前提帰結関係とはこ
のルールの前提部のパラメータ群（ＡＮＤ結合）と帰結
のパラメータとのっながシを示すものである。例えば、
第２図は既存のルールパターンとして、今、Ｐｚ＆ＰＫ
＆Ｐａ→Ｐ１とＰ４＆Ｐ５→Ｐ３という２つのパターン
が存在していることを示したものである。前提帰結関係
格納部５は与えられたパラメータを帰結するパラメータ
群を示すポインタを管理している。この状態で、新しい
ルールとしてＰ、＆Ｐ４ ＆Ｐｓ→Ｐ□が入力したとき
、本発明の潜在エラー検出装置１がどのようにしてこの
ルールを検証するかを説明する。
まず、制御部２は新しく入力したルールの前提部（Ｐａ
＆Ｐ４ ＆Ｐａ ）と帰結部（Ｐ□）とを制御＝パタ
ーンインタフェース詔を介してパターン評価部３に転送
する。次に、パターン評価部３はパラメータ＝パターン
インタフェース３４を介してパラメータ探索部４に１．
パラメータＰ□を帰結とするルールパターンを前提帰結
関係格納部５がら探索することを指令する。したがって
、パラメータ探索部４はパラメーター前提インタフェー
ス４５を介してパラメータＰ、を帰結とするルールパタ
ーンを前提帰結関係格納部５に要求する。このとき、探
索結果として、（ｐｇ ＆Ｐ３５ｔｐｓ ）が返送され
る。この結果はパターン評価部３に転送される。パター
ン評価部３は与えられたルールの前提部のパラメータ（
Ｐｘ＆Ｐａ＆Ｐｓ）に対し、ＰａとＰ６とが発見された
として探索対象から除く。次に、パラメータＰ３を基に
してパラメータＰ４を探索することをパラメータ探索部
４に要求する。パラメータ探索部４はその結果として、
（Ｐ４＆ＰＨ）をパターン評価部３に渡す。
＆Ｐ４ ＆Ｐａ ）と帰結部（Ｐ□）とを制御＝パタ
ーンインタフェース詔を介してパターン評価部３に転送
する。次に、パターン評価部３はパラメータ＝パターン
インタフェース３４を介してパラメータ探索部４に１．
パラメータＰ□を帰結とするルールパターンを前提帰結
関係格納部５がら探索することを指令する。したがって
、パラメータ探索部４はパラメーター前提インタフェー
ス４５を介してパラメータＰ、を帰結とするルールパタ
ーンを前提帰結関係格納部５に要求する。このとき、探
索結果として、（ｐｇ ＆Ｐ３５ｔｐｓ ）が返送され
る。この結果はパターン評価部３に転送される。パター
ン評価部３は与えられたルールの前提部のパラメータ（
Ｐｘ＆Ｐａ＆Ｐｓ）に対し、ＰａとＰ６とが発見された
として探索対象から除く。次に、パラメータＰ３を基に
してパラメータＰ４を探索することをパラメータ探索部
４に要求する。パラメータ探索部４はその結果として、
（Ｐ４＆ＰＨ）をパターン評価部３に渡す。
ここでＰ４が発見され、入力したルールの前提部のすべ
てのパラメータが発見されたことになる。この時点で、
入力したルールの前提部のパラメータ集合（Ｐａ −Ｐ
ａ 、Ｐａ ） （以下、■即という）と、前提帰結関
係上で探索されたパラメータ集合（Ｐ、。
てのパラメータが発見されたことになる。この時点で、
入力したルールの前提部のパラメータ集合（Ｐａ −Ｐ
ａ 、Ｐａ ） （以下、■即という）と、前提帰結関
係上で探索されたパラメータ集合（Ｐ、。
Ｐｇ 、Ｐ４−Ｐｓ 、Ｐｇ ） （以下、ＳＲＰとい
う）との包含関係が評価される。この場合、ＩＮＰ Ｃ
ＳＲＰとなるので、入力したルールの前提部にはパラメ
ータが欠如しているという潜在的エラーが検出される。
う）との包含関係が評価される。この場合、ＩＮＰ Ｃ
ＳＲＰとなるので、入力したルールの前提部にはパラメ
ータが欠如しているという潜在的エラーが検出される。
したがって、この欠如を補完することをルール入力者に
促すことになる。実施例ではＰ３とＰ−補完を促すこと
になる。
促すことになる。実施例ではＰ３とＰ−補完を促すこと
になる。
第３図では第２図と同様の処理がなされ、その評価結果
１ｒＥ ＩＮＰ＝ （Ｐｔ 、Ｐｇ 、Ｐｅ 、Ｐｔ
）、５ＲＰ＝（Ｐ、 。
１ｒＥ ＩＮＰ＝ （Ｐｔ 、Ｐｇ 、Ｐｅ 、Ｐｔ
）、５ＲＰ＝（Ｐ、 。
Ｐｓ −Ｐｓ ）となり、ＩＮＰ：）ＳＲＰとなる。し
たがって、入力したルールの前提部のパラメータに冗長
なものがあるという潜在的エラーを検出する。実施例で
は１・が冗長とされる・ １すなわち、パ
ターン評価部３では、ＩＮＰフＳＲＰか又はＩＮＰ Ｃ
ＳＲＰとなった時点で、パラメータの欠如補完かまたは
冗長除去をそれぞれ促すことになる。又、パラメータ探
索部４ではあらかじめ与えられたルール連鎖長以上では
その探索をカットする。
たがって、入力したルールの前提部のパラメータに冗長
なものがあるという潜在的エラーを検出する。実施例で
は１・が冗長とされる・ １すなわち、パ
ターン評価部３では、ＩＮＰフＳＲＰか又はＩＮＰ Ｃ
ＳＲＰとなった時点で、パラメータの欠如補完かまたは
冗長除去をそれぞれ促すことになる。又、パラメータ探
索部４ではあらかじめ与えられたルール連鎖長以上では
その探索をカットする。
以上述べた、パラメータ欠如補完と冗長除去以外に、ル
ール連鎖長が１で、ＩＮＦ ＝ ＳＲＰのときは完全ダ
イレクトであり、そのルールのパラメータパターンは潜
在エラー無しとする。ルール連鎖長が１よｐ大で、ＩＮ
Ｆ ＝ ＳＲＰのときは完全インダイレクトとされ、入
力ルールの適当な分割を促すことになる。さらに、探索
ルール連鎖長があらかじめ与えられたルール連鎖長よυ
犬となり、ＩＮＰ Ｃ３ＲＰ 、 ＩＮＰ Ｄ ＳＲＰ
、 Ｉ＝ ＳＲＰのいずれも生じないときは検証不可
とし、そのようなルールパラメータパターンが存在して
いないことを表示することになる。
ール連鎖長が１で、ＩＮＦ ＝ ＳＲＰのときは完全ダ
イレクトであり、そのルールのパラメータパターンは潜
在エラー無しとする。ルール連鎖長が１よｐ大で、ＩＮ
Ｆ ＝ ＳＲＰのときは完全インダイレクトとされ、入
力ルールの適当な分割を促すことになる。さらに、探索
ルール連鎖長があらかじめ与えられたルール連鎖長よυ
犬となり、ＩＮＰ Ｃ３ＲＰ 、 ＩＮＰ Ｄ ＳＲＰ
、 Ｉ＝ ＳＲＰのいずれも生じないときは検証不可
とし、そのようなルールパラメータパターンが存在して
いないことを表示することになる。
以上説明したように、本発明の潜在エラー検出装置によ
れば、ルールの入力時点にルールを構成するパラメータ
パターンの検証を行うことができ、特に、入力したルー
ルにおけるノくラメータの次女口又は冗長という潜在的
エラーを検出するのに有効であシ、推論実行によりはじ
めて発見する場合に比して効率が良く、ルールベースシ
ステムにおけるルール集合の一貫性を保ちつつルールを
段階的に増やすためにも非常に有効であるという効果を
有するものである。
れば、ルールの入力時点にルールを構成するパラメータ
パターンの検証を行うことができ、特に、入力したルー
ルにおけるノくラメータの次女口又は冗長という潜在的
エラーを検出するのに有効であシ、推論実行によりはじ
めて発見する場合に比して効率が良く、ルールベースシ
ステムにおけるルール集合の一貫性を保ちつつルールを
段階的に増やすためにも非常に有効であるという効果を
有するものである。
第１図は本発明の一実施例を示すフ゛ロック図、第２図
、第３図は本発明の詳細な説明するだめの図である。 １・・・潜在エラー検出装置、２・・・制御部、３・・
・ノ（ターン評価部、４・・・）くラメータ探索部、５
−・・前提帰結関係格納部 特許出願人 日本電気株式会社 ２７
、第３図は本発明の詳細な説明するだめの図である。 １・・・潜在エラー検出装置、２・・・制御部、３・・
・ノ（ターン評価部、４・・・）くラメータ探索部、５
−・・前提帰結関係格納部 特許出願人 日本電気株式会社 ２７
Claims (1)
- （１）知識情報処理のルールベースシステムにおいて、
ルールの前提部パラメータと帰結パラメータとの関係を
格納する前提帰結関係格納部と、ルールの前記帰結パ、
ラメータをもとにその前提となるパラメータを探索する
パラメータ探索部と、入力するルールの前提部のパラメ
ータの構成パターンと、前提帰結関係ネットワークのパ
ラメータ結合パターンとを評価し、入力するルールの前
提部のパラメータの潜在エラーを検出する評価部とから
構成したことを特徴とする潜在エラー検出装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP58061731A JPS59188747A (ja) | 1983-04-08 | 1983-04-08 | 潜在エラ−検出装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP58061731A JPS59188747A (ja) | 1983-04-08 | 1983-04-08 | 潜在エラ−検出装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS59188747A true JPS59188747A (ja) | 1984-10-26 |
Family
ID=13179641
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP58061731A Pending JPS59188747A (ja) | 1983-04-08 | 1983-04-08 | 潜在エラ−検出装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS59188747A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2020170400A1 (ja) * | 2019-02-21 | 2020-08-27 | 日本電気株式会社 | 仮説検証装置、仮説検証方法、及びコンピュータ読み取り可能な記録媒体 |
-
1983
- 1983-04-08 JP JP58061731A patent/JPS59188747A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| WO2020170400A1 (ja) * | 2019-02-21 | 2020-08-27 | 日本電気株式会社 | 仮説検証装置、仮説検証方法、及びコンピュータ読み取り可能な記録媒体 |
| JPWO2020170400A1 (ja) * | 2019-02-21 | 2021-12-16 | 日本電気株式会社 | 仮説検証装置、仮説検証方法、及びプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6931550B2 (en) | Mobile application security system and method | |
| JPH0683661A (ja) | コンピュータ・システムおよびプロトコル方法 | |
| JP2709705B2 (ja) | マルチコンピユータシステムにおけるプログラム管理方法 | |
| US20020040256A1 (en) | Method of designing forms of cable clamp and cables using three-dimensional CAD system, and computer readable storage medium storing relevant processes | |
| JPH0565892B2 (ja) | ||
| JPS59188747A (ja) | 潜在エラ−検出装置 | |
| CN107844535B (zh) | 一种外部资源库调用方法及系统 | |
| US7269845B1 (en) | Mobile application security system and method | |
| JPH0388011A (ja) | 作業手順審査装置 | |
| US6957176B2 (en) | Reduction processing method and computer readable storage medium having program stored thereon for causing computer to execute the method | |
| JPS59189471A (ja) | 配線経路探索システム | |
| JPH0281158A (ja) | 計算機間プログラムオンライン再配置方式 | |
| Acar et al. | Global feedback methods of a hierarchical controller for real-time execution and replanning | |
| JP2507892B2 (ja) | プラント制御装置 | |
| US5951699A (en) | Method and apparatus for verifying integrity of predefined data structures in a computer system | |
| JP2009031985A (ja) | ソフトウェア生成装置、および、ソフトウェア生成装置に用いるプログラム | |
| JPS6117983A (ja) | 原子炉緊急停止装置 | |
| JPS6381541A (ja) | プログラムシ−ケンスのチエツク方式 | |
| JPH056284A (ja) | エラー制御方式 | |
| JPH0232103B2 (ja) | ||
| JPH0468441A (ja) | 知識検証支援システム | |
| JPH0330023A (ja) | オンライン推論装置 | |
| JPH02133830A (ja) | 設定情報のエラー検出処理方式 | |
| JPH04359170A (ja) | 補修ｌｓｉのテスト方法 | |
| JPH02103637A (ja) | 述語処理を有するパターンマッチング方式 |