JPH0221339A - ルールの後向静的デバッガ - Google Patents
ルールの後向静的デバッガInfo
- Publication number
- JPH0221339A JPH0221339A JP63170648A JP17064888A JPH0221339A JP H0221339 A JPH0221339 A JP H0221339A JP 63170648 A JP63170648 A JP 63170648A JP 17064888 A JP17064888 A JP 17064888A JP H0221339 A JPH0221339 A JP H0221339A
- Authority
- JP
- Japan
- Prior art keywords
- rule
- rules
- debugger
- backward
- execution
- 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
- 230000003068 static effect Effects 0.000 title claims description 3
- 238000000034 method Methods 0.000 description 10
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000003213 activating effect Effects 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、ルール型知識ベースを変更または追加しよう
とする時に支援を行うルールの後向静的デバッガに関す
る。
とする時に支援を行うルールの後向静的デバッガに関す
る。
ルールを修正または追加するなどして知識ベースを変更
するときに、修正または追加によってどのような影響が
生じるかを把握することは必要である。そのためには、
前記ルールがどのようにチェイニングされるかを、変更
前と変更後の時点で調べなければならない。これは従来
、人手に頼って調べられていた。
するときに、修正または追加によってどのような影響が
生じるかを把握することは必要である。そのためには、
前記ルールがどのようにチェイニングされるかを、変更
前と変更後の時点で調べなければならない。これは従来
、人手に頼って調べられていた。
知識ベースが大規模化するにしたがって、人手に頼って
ルールのチェイニング関係を調べることは困難になるし
、誤りも多くなる。したがって、上述の様な作業を支援
する何らかのデバッガが必要である。
ルールのチェイニング関係を調べることは困難になるし
、誤りも多くなる。したがって、上述の様な作業を支援
する何らかのデバッガが必要である。
本発明は上述の課題を解決するために、知識ベース中の
ルールを入力するルール入力手段と、 その中の一つのルールを指定するルール指定手段と、 前記入力したルールの中でルールの右辺が実行されるこ
とにより、前記指定したルールがチェイニングされる可
能性のあるルールを全て求める後向チェイニングルール
検索手段と、 検索された結果のルールを全て出力する結果出力手段と
を有する。
ルールを入力するルール入力手段と、 その中の一つのルールを指定するルール指定手段と、 前記入力したルールの中でルールの右辺が実行されるこ
とにより、前記指定したルールがチェイニングされる可
能性のあるルールを全て求める後向チェイニングルール
検索手段と、 検索された結果のルールを全て出力する結果出力手段と
を有する。
本発明について、図面を参照して詳細に説明する。
第１図を参照すると、本発明の一実施例は、知識ベース
から推論に使用される一つのルールセットを入力するル
ール入力手段１と、ルールを変更または追加したりする
場合に、あるルールの右辺の実行が、そのルールにどの
ような影響を及ぼすかを知りたいとき、このような変更
または追加するルールを指定するルール指定手段２と、
このルール指定手段２から渡されたルールの中の左辺を
解析し、その左辺の条件の全てまたは一部が、あるルー
ルの右辺の実行により満たされる可能性があるかどうか
を調べ、該当するルールが存在した場合には、さらに、
同様に、そのルールの左辺が、あるルールの右辺の実行
により満たされる可能性があるかどうかを調べるため、
対象ルールの左辺で参照している事実を右辺で生成して
いるルールを全て検索する処理を繰返すことにより前記
ルール指定手段２で指定されたルールにチェイニングす
る可能性のある全てのルールを求める後向きチェイニン
グルール検索手段３と、後向チェイニングルール検索手
段３により検索されたルールを出力する結果出力手段４
とを含む。
から推論に使用される一つのルールセットを入力するル
ール入力手段１と、ルールを変更または追加したりする
場合に、あるルールの右辺の実行が、そのルールにどの
ような影響を及ぼすかを知りたいとき、このような変更
または追加するルールを指定するルール指定手段２と、
このルール指定手段２から渡されたルールの中の左辺を
解析し、その左辺の条件の全てまたは一部が、あるルー
ルの右辺の実行により満たされる可能性があるかどうか
を調べ、該当するルールが存在した場合には、さらに、
同様に、そのルールの左辺が、あるルールの右辺の実行
により満たされる可能性があるかどうかを調べるため、
対象ルールの左辺で参照している事実を右辺で生成して
いるルールを全て検索する処理を繰返すことにより前記
ルール指定手段２で指定されたルールにチェイニングす
る可能性のある全てのルールを求める後向きチェイニン
グルール検索手段３と、後向チェイニングルール検索手
段３により検索されたルールを出力する結果出力手段４
とを含む。
次に本発明の一実施例の動作の特徴部分である後向チェ
イニングルール検索手段３について図面を参照して詳細
に説明する。
イニングルール検索手段３について図面を参照して詳細
に説明する。
第２図を参照すると、後向チェイニングルール検索手段
３は、ルール入力手段１により入力されたルールセット
の中から、ルールを一つ取り出す（２−１）。次に手段
３は、この処理２−１で取り出されたルールの右辺の実
行により、第１図におけるルール指定手段２から渡され
たルールが起動される可能性があるかどうかを調べる（
２−２）。
３は、ルール入力手段１により入力されたルールセット
の中から、ルールを一つ取り出す（２−１）。次に手段
３は、この処理２−１で取り出されたルールの右辺の実
行により、第１図におけるルール指定手段２から渡され
たルールが起動される可能性があるかどうかを調べる（
２−２）。
この結果、ルールの起動される場合は、処理２−２でチ
ェイニングルールであると判断されたルールに対して、
処理Ｋ Ｅ Ｎ Ｓ Ａ Ｋ Ｕが再帰的に呼び出され
る。このことにより、処理２−２でチェイニングルール
であると判断されたルールにチェイニングする可能性の
あるルールが求められる（２−３）。前記処理ＫＥＮＳ
ＡＫＵを繰り返し呼び出すことにより、第１１図におけ
るルール指定手段２で指定されたルールを終点とするチ
ェイニング関係が、始点まで求められる。
ェイニングルールであると判断されたルールに対して、
処理Ｋ Ｅ Ｎ Ｓ Ａ Ｋ Ｕが再帰的に呼び出され
る。このことにより、処理２−２でチェイニングルール
であると判断されたルールにチェイニングする可能性の
あるルールが求められる（２−３）。前記処理ＫＥＮＳ
ＡＫＵを繰り返し呼び出すことにより、第１１図におけ
るルール指定手段２で指定されたルールを終点とするチ
ェイニング関係が、始点まで求められる。
ルールが起動されない場合は、ルール入力手段１により
入力されたルールセットの全てのルールについて、前記
処理２−１から前記処理２−３まで処理したかどうかが
調べられ（２−４）、まだ処理していないルールがある
場合は、前記処理２−１に戻る。全てのルールについて
処理が終わった場合は終了する。
入力されたルールセットの全てのルールについて、前記
処理２−１から前記処理２−３まで処理したかどうかが
調べられ（２−４）、まだ処理していないルールがある
場合は、前記処理２−１に戻る。全てのルールについて
処理が終わった場合は終了する。
第３図を参照すると、本発明の一実施例の結果出力手段
４により出力される結果におけるルール３−１は、ルー
ル指定手段２が指定するルールを表している。ルール名
３−１１は、前記ルール３−１のルール名である。ルー
ル本体３−１２は、前記ルール３−１のルール本体であ
り、Ａ−ＬＬ、Ａ−Ｌ２は左辺、Ｘ−Ｒ１、Ｘ−Ｒ２は
右辺である。ルール３−２は、前記ルール３−１にチェ
イニングする可能性のあるルールのうちの一つである。
４により出力される結果におけるルール３−１は、ルー
ル指定手段２が指定するルールを表している。ルール名
３−１１は、前記ルール３−１のルール名である。ルー
ル本体３−１２は、前記ルール３−１のルール本体であ
り、Ａ−ＬＬ、Ａ−Ｌ２は左辺、Ｘ−Ｒ１、Ｘ−Ｒ２は
右辺である。ルール３−２は、前記ルール３−１にチェ
イニングする可能性のあるルールのうちの一つである。
前記ルール３−２は、その右辺Ａ−Ｒ１を実行すること
によって、前記ルール３−１を起動する可能性をもつ。
によって、前記ルール３−１を起動する可能性をもつ。
ルール名３−２１は、前記ルール３−２のルール名であ
る。ルール本体３−２２は、前記ルール３−２のルール
本体であり、Ｂ−Ｌｌ、Ｂ−Ｌ２は左辺、Ａ−Ｒ１は右
辺である。
る。ルール本体３−２２は、前記ルール３−２のルール
本体であり、Ｂ−Ｌｌ、Ｂ−Ｌ２は左辺、Ａ−Ｒ１は右
辺である。
ルール３−２はルール名ＲＵＬＥ５、ＲＵＬＥ６をもつ
ルールからチェイニングされるが、ルール名ＲＵＬＥ３
をもつルールは、どのルールからもチェイニングされな
い。同様にして、ルール名ＲＵＬＥ５、ＲＵＬＥ６、Ｒ
ＵＬＥ７をもつルールも、どのルールからもチェイニン
グされない。
ルールからチェイニングされるが、ルール名ＲＵＬＥ３
をもつルールは、どのルールからもチェイニングされな
い。同様にして、ルール名ＲＵＬＥ５、ＲＵＬＥ６、Ｒ
ＵＬＥ７をもつルールも、どのルールからもチェイニン
グされない。
ルール型知識ベースの開発において、ルールを修正また
は追加するなどして知識ベースを変更する場合、変更の
前後で、このデバッガにより変更した結果生じる影響を
調べられるので、ルールのデバッガを容易化および効率
化することができる。
は追加するなどして知識ベースを変更する場合、変更の
前後で、このデバッガにより変更した結果生じる影響を
調べられるので、ルールのデバッガを容易化および効率
化することができる。
第１図は、本発明の一実施例の構成を示す図、第２図は
、本発明の一実施例における後向チェイニングルール検
索手段の制御を示すフローチャート、および第３図は、
本発明の一実施例における出力結果を示す図である。 第１図において、ｌ・・・・・・ルール入力手段、２・
・・・・・ルール指定手段、３・・・・・・、後向チェ
イニングルール検索手段、４・・・・・・結果出力手段
。 代理人 弁理士 内 原 音 第 Ｚ図
、本発明の一実施例における後向チェイニングルール検
索手段の制御を示すフローチャート、および第３図は、
本発明の一実施例における出力結果を示す図である。 第１図において、ｌ・・・・・・ルール入力手段、２・
・・・・・ルール指定手段、３・・・・・・、後向チェ
イニングルール検索手段、４・・・・・・結果出力手段
。 代理人 弁理士 内 原 音 第 Ｚ図
Claims (1)
- 【特許請求の範囲】 知識ベースからルールを入力するルール入力手段と、 一つのルールを指定するルール指定手段と、このルール
指定手段により入力されたルールの中でルールの右辺が
実行されることにより、前記ルール指定手段により指定
されたルールがチェイニングされる可能性のあるルール
を全て求める後向チェイニングルール検索手段と、 この後向チェイニングルール検索手段により検索された
結果のルールを全て出力する結果出力手段とを含むこと
を特徴とするルールの後向静的デバッガ。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63170648A JPH0221339A (ja) | 1988-07-08 | 1988-07-08 | ルールの後向静的デバッガ |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP63170648A JPH0221339A (ja) | 1988-07-08 | 1988-07-08 | ルールの後向静的デバッガ |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0221339A true JPH0221339A (ja) | 1990-01-24 |
Family
ID=15908772
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP63170648A Pending JPH0221339A (ja) | 1988-07-08 | 1988-07-08 | ルールの後向静的デバッガ |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0221339A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05151025A (ja) * | 1990-01-26 | 1993-06-18 | Internatl Business Mach Corp <Ibm> | デバツギング方法及びデバツグ装置 |
-
1988
- 1988-07-08 JP JP63170648A patent/JPH0221339A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05151025A (ja) * | 1990-01-26 | 1993-06-18 | Internatl Business Mach Corp <Ibm> | デバツギング方法及びデバツグ装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Whigham | Inductive bias and genetic programming | |
| US7711685B1 (en) | Method and system for an extensible macro language | |
| JPS63181033A (ja) | プログラム自動生成方式 | |
| US7080360B2 (en) | Breakpoint safety net | |
| JPH0221339A (ja) | ルールの後向静的デバッガ | |
| CN109491919B (zh) | 一种软件测试方法及测试平台 | |
| Matsumura et al. | A declarative extension of parsing expression grammars for recognizing most programming languages | |
| JPH01307841A (ja) | ルールの前向静的デバッガ | |
| JPH02161528A (ja) | ルールの双方向静的デバッガ | |
| JPH0540780A (ja) | ベクトル化処理方式 | |
| Silva et al. | SCPL: a markup language for source code patterns localization | |
| KR20030006946A (ko) | 트리의 특정 객체들을 위한 특정 방법을 유발하기 위해객체 트리를 통해 라우팅하는 일반적인 방법 | |
| JPH01177165A (ja) | 配列の定義／引用関係検査方式 | |
| JPH09288580A (ja) | ソースプログラムの最適化装置および最適化方法 | |
| JP3139393B2 (ja) | デバッグ装置 | |
| JP3372387B2 (ja) | プログラム検査方法 | |
| Wan et al. | A replication of are machine learning cloud APIs used correctly | |
| JP2815178B2 (ja) | コンパイラ装置 | |
| JPH02195438A (ja) | マクロ展開における回帰的呼び出し検出方式 | |
| JP2601547B2 (ja) | 内部手続き引数検査装置 | |
| JPH08179960A (ja) | デバッガ | |
| JPH03266029A (ja) | 論理型言語処理システムにおけるリスト出力方法 | |
| Tateishi et al. | Automated verification tool for DHTML | |
| JPH03260865A (ja) | ベクトル化処理方式 | |
| JPS63174130A (ja) | 値が未設定の変数名の検出方式 |