JPH0362224A - Conflict dissolving system for production system - Google Patents
Conflict dissolving system for production systemInfo
- 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
Description
【発明の詳細な説明】
A、産業上の利用分野
本発明は専門知識を活用し、コンピュータによって問題
を解消又は支援するプロダクションシステムに係り、特
にプログクシ3ンシステムの競合解消方式に関する。DETAILED DESCRIPTION OF THE INVENTION A. Field of Industrial Application The present invention relates to a production system that utilizes specialized knowledge to solve or support problems using a computer, and particularly relates to a conflict resolution method for a production system.
B1発明の概要
本発明は、データベースとルールベースを照合して競合
集合を生成し、該競合集合に対して競合解消処理を施し
て実行ルール集合を生成するプロダクションシステムの
競合解消方式において、推論システム内部の競合解消手
続きリストに登録された複数の競合解消手続きを、前記
競合集合に対して順次適用することにより、
推論の目的に合致した競合解消を行うことができるよう
にしたものである。B1 Summary of the Invention The present invention provides an inference system in a conflict resolution method for a production system in which a conflict set is generated by collating a database and a rule base, and a conflict resolution process is performed on the conflict set to generate an execution rule set. By sequentially applying multiple conflict resolution procedures registered in an internal conflict resolution procedure list to the conflict set, it is possible to perform conflict resolution that meets the purpose of inference.
C1従来の技術
一般に前向き推論方式によるプロダクションシステムで
は、次に示す過程に従って第3図のように推論が進行す
る。C1 Prior Art In general, in a production system using a forward inference method, inference proceeds as shown in FIG. 3 according to the following process.
■データベースl内の事実やデータとルール集合(ルー
ルベース)2内の各プログクシ3ンルールとの照合を行
い、競合集合(実行可能なルールの集合)3を生成する
。■Compare the facts and data in the database 1 with each proximal rule in the rule set (rule base) 2 to generate a competitive set 3 (set of executable rules).
■前記競合集合3に対して競合解消手続き4を適用し、
実行ルール集合5を生成する。■ Apply conflict resolution procedure 4 to the conflict set 3,
Execution rule set 5 is generated.
■前記実行ルール集合5に含まれるルールを実行する。(2) Execute the rules included in the execution rule set 5.
■■へ戻る。Return to ■■.
D8発明が解決しようとする課題
上記■の競合解消の過程において、従来の推論システム
によると知識ベース作成者あるいは推論システム利用者
は、推論システムが提供する唯一の競合解消手続きか、
あるいは複数の競合解消手続き(4a〜4n)から選択
した1つだけしか競合解消に適用することができなかっ
た。このため各々の推論の目的に合致した競合解消を行
うことができないという欠点があた。D8 Problems to be Solved by the Invention In the process of conflict resolution mentioned in (■) above, according to the conventional inference system, the knowledge base creator or the inference system user is not aware of whether the only conflict resolution procedure provided by the inference system is
Alternatively, only one selected from a plurality of conflict resolution procedures (4a to 4n) could be applied to conflict resolution. For this reason, there is a drawback that it is not possible to perform conflict resolution that meets the purpose of each inference.
本発明は上記の点に鑑みてなされたものでその目的は、
推論の目的にあった競合解消を実施することができるプ
ロダクションシステムの競合解消方式を提供することに
ある。The present invention has been made in view of the above points, and its purpose is to:
The purpose of the present invention is to provide a conflict resolution method for a production system that can resolve conflicts in accordance with the purpose of inference.
80課題を解決するための手段
本発明は、データベースとルールベースの照合を行って
競合集合を生成し、該競合集合に対して所定の韓合解消
手続きを適用して実行ルール集合を生成し、該実行ルー
ル集合に含まれるルールを実行するプロダクションシス
テムにおいて、推論システムが提供する競合解消手続き
および推論システム利用者が作成した競合解消手続きが
登録される競合解消手続きリストを、推論システム内部
に設け、前記競合解消手続きリストに登録された複数の
競合解消手続きを前記競合集合に対して順次適用し、実
行ルール集合を生成することを特徴としている。80 Means for Solving Problems The present invention generates a conflict set by collating a database and a rule base, and generates an execution rule set by applying a predetermined Korean union resolution procedure to the conflict set, In a production system that executes rules included in the execution rule set, a conflict resolution procedure list is provided within the inference system in which conflict resolution procedures provided by the inference system and conflict resolution procedures created by the inference system user are registered; The method is characterized in that a plurality of conflict resolution procedures registered in the conflict resolution procedure list are sequentially applied to the conflict set to generate an execution rule set.
11作用
競合解消手続きリストには、推論システムが提供する競
合解消手続きおよび推論システム利用者が作成した競合
解消手続きが登録される。競合解消手続きリストに登録
された複数の競合解消手続きは、競合集合に対して順次
適用される。このため各競合解消子続きが適用されるに
したがって順次競合が解消されていき、最終的に推論の
目的にあった競合解消が実現され、実行ルール集合が生
成される。In the 11-action conflict resolution procedure list, conflict resolution procedures provided by the inference system and conflict resolution procedures created by the inference system user are registered. The multiple conflict resolution procedures registered in the conflict resolution procedure list are sequentially applied to the conflict set. Therefore, as each conflict resolver sequence is applied, conflicts are sequentially resolved, and finally conflict resolution that meets the purpose of inference is achieved and an execution rule set is generated.
G、実施例
以下、図面を参照しながら本発明の一実施例を説明する
。第1図において第3図と同一部分は同一符号をもって
示しその説明は省略する。第1図において推論システム
の内部には競合解消手続きりストLが設けられている。G. Embodiment Hereinafter, an embodiment of the present invention will be described with reference to the drawings. In FIG. 1, the same parts as in FIG. 3 are denoted by the same reference numerals, and the explanation thereof will be omitted. In FIG. 1, a conflict resolution procedure list L is provided inside the inference system.
この競合解消手続きりストLには、推論システムが提供
する複数の競合解消手続き4a〜4nの他に、推論シス
テムが定める規則に従って利用者が記述した競合解消手
続き6a〜6n等が選択により登録される。推論システ
ムは推論の実行時の競合解消過程(前述した■)におい
て、競合集合3に対して競合解消手続きりストLに登録
された妓合解消手続き(4a〜4nや6a〜6n等)を
順次適用し、実行ルール集合5を生成する。In this conflict resolution procedure list L, in addition to the plurality of conflict resolution procedures 4a to 4n provided by the inference system, conflict resolution procedures 6a to 6n, etc. written by the user according to the rules established by the inference system are registered by selection. Ru. During the conflict resolution process (see ■ above) during inference execution, the inference system sequentially performs the conflict resolution procedures (4a to 4n, 6a to 6n, etc.) registered in the conflict resolution procedure list L for conflict set 3. is applied to generate an execution rule set 5.
ここで競合解消手続きの設定例を第2図(a)に示し、
競合解消の様子を第2図(b)に示す。Here, an example of setting the conflict resolution procedure is shown in Figure 2 (a),
The state of conflict resolution is shown in FIG. 2(b).
第2図の例では、: strategVの後に競合解消
手続きを列挙して競合解消手続きを設定している。その
うちTIMEとPRI ORI TYは推論システムが
提供する手続きであり、user −procedur
eは利用者が記述した手続きである。第2図では競合集
合3(実行可能なルール)のうち最近のデータを参照す
るルールの集合が生成されて第1次鏡合集合3.となる
。次に最も優先度の高いルールの集合が第1次鏡合集合
31から生成されて第1次鏡合集合3.となる。最後に
第1次鏡合集合3゜にuser −procedure
を適用して実行ルール集合5が生成される。In the example of FIG. 2, the conflict resolution procedures are listed after strategV and the conflict resolution procedures are set. Among them, TIME and PRI ORI TY are procedures provided by the inference system, and user-procedur
e is a procedure written by the user. In FIG. 2, a set of rules that refer to recent data among the competitive set 3 (executable rules) is generated, and the first mirror combination set 3. becomes. Next, a set of rules with the highest priority is generated from the first mirror union set 31 and the first mirror union set 3. becomes. Finally, at the first mirror union 3°, use user-procedure.
Execution rule set 5 is generated by applying.
H0発明の効果
以上のように本発明によれば推論システム内部に競合解
消手続きリストを設け、該リストに登録された複数の競
合解消手続きを競合集合に対して順次適用するようにし
たので、推論システムの利用者が競合解消手続きを自由
に設定することができ、これによって推論の目的にあっ
た手続きを選択、適用することができる。また従来方式
にょうに単一の競合解消手続きでは推論の目的にあった
競合解消を行えないが、本発明によれば複数の競合解消
手続きを組み合わせることができ、これによって目的に
あった競合解消を実現することができる。H0 Effects of the Invention As described above, according to the present invention, a conflict resolution procedure list is provided within the inference system, and a plurality of conflict resolution procedures registered in the list are sequentially applied to the conflict set. Users of the system can freely set conflict resolution procedures, allowing them to select and apply procedures that suit the purpose of inference. Furthermore, unlike conventional methods, a single conflict resolution procedure cannot resolve conflicts that meet the purpose of inference, but according to the present invention, multiple conflict resolution procedures can be combined, thereby achieving conflict resolution that meets the purpose. It can be realized.
第1図は本発明の一実施例を示す概念図、第2図(a)
は競合解消手続きの設定例を示す説明図、第2図(b)
は競合解消の様子を示す説明図、第3図は従来の推論シ
ステムの競合解消概念図である。
I・・・データベース、2・・・ルール集合、3・・・
競合集合、4a〜4n、6a〜6n・・・競合解消手続
き、5・・・実行ルール集合。
外2名
第2図(a)
競合解消手続きの設定例を示す説明図
■rcleset
(競合解消の例
: strategy
TIME
PRIORITY
eser−procedure
第2図(b)
競合解l肖の様子を示す説明図
第1図
本発明の一実施例を打
;す概念図
推論システムが提供するFigure 1 is a conceptual diagram showing one embodiment of the present invention, Figure 2 (a)
Figure 2(b) is an explanatory diagram showing an example of setting the conflict resolution procedure.
3 is an explanatory diagram showing the state of conflict resolution, and FIG. 3 is a conceptual diagram of conflict resolution in a conventional inference system. I...Database, 2...Rule set, 3...
Conflict set, 4a to 4n, 6a to 6n...Conflict resolution procedure, 5... Execution rule set. Figure 2 (a) An explanatory diagram showing an example of setting up a conflict resolution procedure. Figure 1 provides a conceptual diagram reasoning system that embodies an embodiment of the present invention.
Claims (1)
集合を生成し、該競合集合に対して所定の競合解消手続
きを適用して実行ルール集合を生成し、該実行ルール集
合に含まれるルールを実行するプロダクションシステム
において、 推論システムが提供する競合解消手続きおよび推論シス
テム利用者が作成した競合解消手続きが登録される競合
解消手続きリストを、推論システム内部に設け、 前記競合解消手続きリストに登録された複数の競合解消
手続きを前記競合集合に対して順次適用し、実行ルール
集合を生成することを特徴とするプロダクションシステ
ムの競合解消方式。(1) Generate a conflict set by comparing the database and rule base, apply a predetermined conflict resolution procedure to the conflict set to generate an execution rule set, and execute the rules included in the execution rule set. In a production system, a conflict resolution procedure list is provided within the inference system in which conflict resolution procedures provided by the inference system and conflict resolution procedures created by the inference system user are registered, and multiple conflict resolution procedures registered in the conflict resolution procedure list are registered. A conflict resolution method for a production system, characterized in that a conflict resolution procedure is sequentially applied to the conflict set to generate an execution rule set.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP1198239A JPH0362224A (en) | 1989-07-31 | 1989-07-31 | Conflict dissolving system for production system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP1198239A JPH0362224A (en) | 1989-07-31 | 1989-07-31 | Conflict dissolving system for production system |
Publications (1)
Publication Number | Publication Date |
---|---|
JPH0362224A true JPH0362224A (en) | 1991-03-18 |
Family
ID=16387817
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP1198239A Pending JPH0362224A (en) | 1989-07-31 | 1989-07-31 | Conflict dissolving system for production system |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPH0362224A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005228309A (en) * | 2004-01-23 | 2005-08-25 | Microsoft Corp | Deterministic rule-based dispatch of object to code |
-
1989
- 1989-07-31 JP JP1198239A patent/JPH0362224A/en active Pending
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2005228309A (en) * | 2004-01-23 | 2005-08-25 | Microsoft Corp | Deterministic rule-based dispatch of object to code |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPH0362224A (en) | Conflict dissolving system for production system | |
JPS6378231A (en) | Partial program combining system | |
EP1008044B1 (en) | Information processing | |
JPH04225433A (en) | Semaphore synchronization system with canceling function | |
JP2560491B2 (en) | Parallelized procedure execution method | |
JPH036617A (en) | Support processing system for plural code systems of single scheme | |
JPH03148730A (en) | Process queue processing system | |
JPH04287121A (en) | Tuple space system | |
JPH03131932A (en) | Dynamic forward debugger for rule type knowledge base | |
JPS6267657A (en) | Job execution system | |
JPS63308659A (en) | Parallel processing method | |
JPS6375839A (en) | Processing diividing and controlling system for parallel processing | |
JPH0337780A (en) | Relative rank analyzing system for data driving type processor | |
JPS63291128A (en) | Production system | |
JPH01108640A (en) | Sequential execution type inference control system | |
JPH01259430A (en) | Subtracting method for interval timer value | |
JPH04295930A (en) | Execution controller for plural processes | |
JPH02113363A (en) | Time slice controlling system for multiprocessor system | |
JPS5880754A (en) | Executing system of instruction for function of time division system | |
JPS63289648A (en) | Production system | |
JPH03135629A (en) | Fixed pattern-priority pattern matching system | |
JPH02212965A (en) | Program loading system | |
JPH0250730A (en) | Language converting system based upon common machine word | |
JPS62209671A (en) | Drawing control system | |
JPH08287156A (en) | Production planning generating method |