JPH0362224A - プロダクションシステムの競合解消方式 - Google Patents
プロダクションシステムの競合解消方式Info
- Publication number
- JPH0362224A JPH0362224A JP1198239A JP19823989A JPH0362224A JP H0362224 A JPH0362224 A JP H0362224A JP 1198239 A JP1198239 A JP 1198239A JP 19823989 A JP19823989 A JP 19823989A JP H0362224 A JPH0362224 A JP H0362224A
- Authority
- JP
- Japan
- Prior art keywords
- conflict
- conflict resolution
- procedures
- inference
- registered
- 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 61
- 238000010586 diagram Methods 0.000 description 6
- 230000002860 competitive effect Effects 0.000 description 2
- 238000007796 conventional method Methods 0.000 description 1
- 230000000694 effects Effects 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 |
|---|---|---|---|
| JP1198239A JPH0362224A (ja) | 1989-07-31 | 1989-07-31 | プロダクションシステムの競合解消方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP1198239A JPH0362224A (ja) | 1989-07-31 | 1989-07-31 | プロダクションシステムの競合解消方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0362224A true JPH0362224A (ja) | 1991-03-18 |
Family
ID=16387817
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP1198239A Pending JPH0362224A (ja) | 1989-07-31 | 1989-07-31 | プロダクションシステムの競合解消方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0362224A (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2005228309A (ja) * | 2004-01-23 | 2005-08-25 | Microsoft Corp | ルールに基づいて決定的に行う、コードへのオブジェクトのディスパッチ |
-
1989
- 1989-07-31 JP JP1198239A patent/JPH0362224A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2005228309A (ja) * | 2004-01-23 | 2005-08-25 | Microsoft Corp | ルールに基づいて決定的に行う、コードへのオブジェクトのディスパッチ |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH10214296A5 (ja) | ||
| JPH0362224A (ja) | プロダクションシステムの競合解消方式 | |
| JPS6378231A (ja) | 部分的プログラム結合方式 | |
| EP1008044B1 (en) | Information processing | |
| JPH03119428A (ja) | 並列化手続き実行方式 | |
| JPH036617A (ja) | 単一システムでの複数コード系サポート処理方式 | |
| JPH03148730A (ja) | プロセスキュー処理方式 | |
| JPH04287121A (ja) | タプルスペース方式 | |
| JPH03131932A (ja) | ルール型知識ベースの動的前向きデバッガ | |
| JPS6267657A (ja) | ジヨブ実行方式 | |
| JPS6375839A (ja) | 並列処理における処理の分割制御方式 | |
| JPH01108640A (ja) | 逐次実行型推論制御方式 | |
| JPS63291128A (ja) | プロダクシヨンシステム | |
| JPH04205430A (ja) | プログラム実行制御装置 | |
| JPS63245528A (ja) | ル−ルブロツク制御方式 | |
| JPH03191428A (ja) | 知識データ処理システム | |
| JPS5880754A (ja) | 時分割システム動作用命令の実行方式 | |
| JPH0337780A (ja) | データ駆動型プロセッサの相対ランク解析方式 | |
| JPS63289648A (ja) | プロダクシヨンシステム | |
| JPH03135629A (ja) | 固定パターン優先のパターンマッチング方式 | |
| JPH02212965A (ja) | プログラムロード方式 | |
| JPS62209671A (ja) | 図面管理装置 | |
| JPH02240743A (ja) | サブルーチンのｃａｌｌ／ｃａｌｌｅｄパラメータのチエツク方式 | |
| JPH0279121A (ja) | ソースコード管理方式 | |
| JPS6366640A (ja) | 同一レコ−ドの同時読込み制御方法 |