JPH02171829A - Competition canceling system - Google Patents

Competition canceling system

Info

Publication number
JPH02171829A
JPH02171829A JP63326830A JP32683088A JPH02171829A JP H02171829 A JPH02171829 A JP H02171829A JP 63326830 A JP63326830 A JP 63326830A JP 32683088 A JP32683088 A JP 32683088A JP H02171829 A JPH02171829 A JP H02171829A
Authority
JP
Japan
Prior art keywords
slot
evaluation function
rule
unit
conflict resolution
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
Application number
JP63326830A
Other languages
Japanese (ja)
Inventor
Yuriko Shioda
潮田 百合子
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
NEC Corp
Original Assignee
NEC Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by NEC Corp filed Critical NEC Corp
Priority to JP63326830A priority Critical patent/JPH02171829A/en
Publication of JPH02171829A publication Critical patent/JPH02171829A/en
Pending legal-status Critical Current

Links

Landscapes

  • Devices For Executing Special Programs (AREA)

Abstract

PURPOSE:To execute the cancel of competition by using the environment of a rule, to execute flexible control to the competition cancel and to improve the decoding ability of the rule by reproducing the environment at a time when rule is made successful in the case of canceling the competition to obtain an evaluated value. CONSTITUTION:A central processing means 2 is connected to a competition cancel system 1 and the evaluation function for the competition cancel to respective rule object is set to an evaluation function setting part A1 in an evaluation function operating means A of the cancel system 1. The evaluation function set by the setting part A1 is stored and the respective rule objects are generated to a system slot by a slot generating part A2. The evaluation function is stored to the generated slot by a slot storing part A3 and when the evaluation function set by the setting part A1 is made ineffective, the slot generated by the generating part A2 is deleted from the rule object by a slot deleting part A4. The evaluation function stored to the rule object, which is stored to the storing part A3, is referred by a slot referring A5.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は競合解消方式に関し、特に推論システムの一部
を構成する競合解消方式に関する。
DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a conflict resolution method, and particularly to a conflict resolution method forming a part of an inference system.

〔従来の技術〕[Conventional technology]

従来の競合解消方式では、各々のルール特有の優先順位
、そのルールで参照しているオブジェクト数、そのルー
ルで参照している最も新しいオブジェクトの生成時間な
どが、競合解消を行う際に、競合解消の目安として使用
されている。
In conventional conflict resolution methods, the unique priority of each rule, the number of objects referenced by that rule, the generation time of the newest object referenced by that rule, etc. are used to resolve conflicts. is used as a guideline.

このような従来の競合解消方式を示す文献としては、特
願昭62−181581の「競合解消戦略指定可能な競
合解消方式」がある。
A document showing such a conventional conflict resolution method is Japanese Patent Application No. 181581/1983 titled ``Conflict Resolution Method with Specified Conflict Resolution Strategy''.

〔発明が解決しようとする課題〕 上述した従来の競合解消方式は、各々のルール特有の優
先順位、そのルールで参照しているオブジェクト数、そ
のルールで参照している最も新しいオブジェクトの生成
時間などを参照し、オブジェクトの内容を参照していな
いので、競合解消のための細かい制御を行い難いという
問題点を有している。
[Problem to be Solved by the Invention] The conventional conflict resolution method described above is based on the unique priority of each rule, the number of objects referenced by that rule, the generation time of the newest object referenced by that rule, etc. , but does not refer to the contents of the object, so it has the problem that it is difficult to perform detailed control to resolve conflicts.

従来の競合解消方式でオブジェクトの内容を参照するた
めには、競合解消時に特定のルールの成功環境がないの
で、ルールが成功するか否かを調べる際に、同時にルー
ル内で計算して、ルール変数に束縛しておき、それを競
合解消で用いる必要がある。
In order to refer to the contents of an object in the conventional conflict resolution method, there is no success environment for a specific rule at the time of conflict resolution, so when checking whether a rule is successful or not, calculations are made within the rule at the same time. It is necessary to bind it to a variable and use it for conflict resolution.

このように記述した場合には、らともとのルールの他に
ルール内の記述が増えるため、ルールが読み難く、評価
関数自体も読み難いこととなる。
When written in this way, the number of descriptions in the rule increases in addition to the original rule, making the rule difficult to read and the evaluation function itself difficult to read.

そこで、従来の競合解消方式は、競合解消時にオブジェ
クトの内容を参照できないので、競合解消に対する細か
い制御を行い難く、このことに対処するなめに、ルール
評価を行う際に評価値として用いることのできる値をあ
らかじめ計算しておく方式を用いると、ルール自体が読
み難くなってしまうという欠点を有している。
Therefore, in conventional conflict resolution methods, the contents of objects cannot be referenced when resolving conflicts, so it is difficult to perform detailed control over conflict resolution. Using a method in which values are calculated in advance has the disadvantage that the rules themselves become difficult to read.

本発明の目的は、ルールの成功した時点の環境を競合解
消時に再生し、その中で評価関数を実行して評価値を得
ることにより、ルールの成功環境を用いて競合解消を行
って、競合解消に対する細かい柔軟な制御が行えるとと
もに、評価関数がシステム側で提供するシステムスロッ
トに書込まれるので、ルール自体に余分な記述をする必
要がなく、ルールの解読性が高く、評価関数自体も見易
い競合解消方式を提供することにある。
An object of the present invention is to reproduce the environment at the time of a successful rule at the time of conflict resolution, execute an evaluation function therein to obtain an evaluation value, and perform conflict resolution using the successful environment of the rule. Detailed and flexible control over cancellation is possible, and the evaluation function is written into the system slot provided by the system, so there is no need to write extra rules in the rules themselves, the rules are highly readable, and the evaluation function itself is easy to read. The objective is to provide a conflict resolution method.

〔課題を解決するための手段〕[Means to solve the problem]

本発明の競合解消方式は、 (A)各々のルールオブジェクトに対して競合解消のた
めの評価関数を設定する評価関数設定部と、前記評価関
数設定部で設定された評価関数を格納するシステムスロ
ットを各々のルールオブジェクトに生成するスロット生
成部と、前記スロット生成部で生成されたスロットに前
記評価関数設定部で設定した評価関数を格納するスロッ
ト格納部と、前記評価関数設定部で設定された評価関数
が無効になった場合に前記スロット生成部で生成された
スロットを該当のルールオブジェクトから削除するスロ
ット削除部と、前記スロット格納部でルールオブジェク
トに格納された評価関数を参照するスロット参照部とを
有する評価関数操作手段、 (B)前記スロット格納部でルールオブジェクトに格納
された評価関数を競合解消のための評価項目の一つとし
て、それぞれのlレールセットに対して組込んで競合解
消戦略を設定する競合解消戦略設定手段、 (C)成功するルールを検出する成功ルール検出部と、
前記成功ルール検出部で検出されたルールの成功環境を
ルール名と対にしてメモリに格納するルール成功環境格
納部とを有する競合集合検出格納手段、 (D>前記競合集合検出格納手段で格納された競合集合
からルールと成功環境との組を一つずつ選択する選択部
と、前記選択部で選択された成功環境を再生する環境再
生部と、前記環境再生部で再生した成功環境の中で前記
スロット参照部を用いて参照したルールオブジェクトの
スロットを評価するスロ・ソト評価部と、評価の結果の
評価値をメモリに格納する結果格納部とを有する評価関
数検討手段、(E)前記競合解消戦略設定手段を用いて
設定した競合解消戦略に従い、前記評価関数検討手段で
メモリに格納された評価値を評価項目の一つとして用い
て競合解消を行う競合解消実行手段、 を備えて構成されている。
The conflict resolution method of the present invention includes: (A) an evaluation function setting unit that sets an evaluation function for conflict resolution for each rule object; and a system slot that stores the evaluation function set by the evaluation function setting unit. a slot generation unit that generates the evaluation function set in the evaluation function setting unit in the slot generated by the slot generation unit; a slot storage unit that stores the evaluation function set in the evaluation function setting unit in the slot generated by the slot generation unit; a slot deletion unit that deletes the slot generated by the slot generation unit from the corresponding rule object when the evaluation function becomes invalid; and a slot reference unit that references the evaluation function stored in the rule object in the slot storage unit. (B) incorporating the evaluation function stored in the rule object in the slot storage unit into each l-rail set as one of the evaluation items for conflict resolution to resolve the conflict; a conflict resolution strategy setting means for setting a strategy; (C) a successful rule detection unit for detecting a successful rule;
a rule success environment storage unit that stores in memory a success environment of the rule detected by the success rule detection unit in pairs with a rule name; a selection section that selects pairs of rules and successful environments one by one from a competitive set that has been selected; an environment reproduction section that reproduces the successful environment selected by the selection section; and a selection section that reproduces the successful environment selected by the selection section; (E) an evaluation function consideration unit having a slot/soto evaluation unit that evaluates a slot of a rule object referenced using the slot reference unit; and a result storage unit that stores an evaluation value of the evaluation result in a memory; Conflict resolution execution means for resolving conflicts according to the conflict resolution strategy set using the resolution strategy setting means, using the evaluation value stored in the memory by the evaluation function consideration means as one of the evaluation items. ing.

〔実施例〕〔Example〕

次に本発明の実施例について図面を参照して説明する。 Next, embodiments of the present invention will be described with reference to the drawings.

第1図は本発明の競合解消方式の一実施例を示すブロッ
ク図である。
FIG. 1 is a block diagram showing an embodiment of the conflict resolution method of the present invention.

第1図に示す推論システムは、ルールの適応戦略として
の競合解消方式1および基本的な推論機能を有する中央
処理手段2を有している。
The inference system shown in FIG. 1 has a conflict resolution method 1 as a rule adaptation strategy and a central processing means 2 having a basic inference function.

そして、競合解消方式1は、評優関数操作手段A、競合
解消戦略設定手段B、競合集合検出格納手段C2評価関
数検射手段り、競合解消実行手段Eを含み、これらから
制御手段Fを通じて中央処理手段2を制御している。
The conflict resolution method 1 includes an evaluation function operating means A, a conflict resolution strategy setting means B, a conflict set detection storage means C2, an evaluation function detection means, and a conflict resolution execution means E. It controls the processing means 2.

第2図は本実施例の評価関数操作手段の一例を示すブロ
ック図である。
FIG. 2 is a block diagram showing an example of the evaluation function operating means of this embodiment.

第1図および第2図に示す評価関数操作手段Aは、各々
のルールオブジェクトに対して競合解消のための評価関
数を設定する評価関数設定部A1と、評価関数設定部A
lで設定された評価関数を格納するシステムスロットを
各々のルールオブジェクトに生成するスロット生成部A
2と、スロット生成部A2で生成されたスロットに評価
関数設定部A1で設定した評価関数を格納するスロット
格納部A3と、評価関数設定部AIで設定された評価関
数が無効になった場合にスロット生成部A2で生成され
たスロットを該当のルールオブジェクトから削除するス
ロット削除部A4と、スロット格納部A3でルールオブ
ジェクトに格納された評価関数を参照するスロット参照
部A5とを有している。
The evaluation function operating means A shown in FIGS. 1 and 2 includes an evaluation function setting section A1 that sets an evaluation function for conflict resolution for each rule object, and an evaluation function setting section A
A slot generation unit A that generates a system slot for storing the evaluation function set in l in each rule object.
2, a slot storage section A3 that stores the evaluation function set by the evaluation function setting section A1 in the slot generated by the slot generation section A2, and a slot storage section A3 that stores the evaluation function set by the evaluation function setting section AI in the slot generated by the slot generation section A2; It has a slot deletion section A4 that deletes the slot generated by the slot generation section A2 from the corresponding rule object, and a slot reference section A5 that refers to the evaluation function stored in the rule object in the slot storage section A3.

また、競合解消戦略設定手段Bは、スロット格納部A3
でルールオブジェクトに格納された評価関数を競合解消
のための評価項目の一つとして、それぞれのルールセッ
トに対して組込んで競合解消戦略を設定している。
Further, the conflict resolution strategy setting means B includes the slot storage section A3.
The evaluation function stored in the rule object is incorporated into each rule set as one of the evaluation items for conflict resolution, and a conflict resolution strategy is set.

第3図は本実施例における競合解消戦略の設定の一例を
示す情報構成図である。
FIG. 3 is an information configuration diagram showing an example of setting a conflict resolution strategy in this embodiment.

第3図に示すように、第1行目B1は、推論ルールの集
合Ru1eSetlに第2行目B2から第6行目B6ま
での競合解消戦略を定義する場合を示している。
As shown in FIG. 3, the first line B1 indicates the case where conflict resolution strategies from the second line B2 to the sixth line B6 are defined in the set Ru1eSetl of inference rules.

第2行目B2は、競合要素が選択され実行されるために
は他の競合要素よりも値が小さくてはならない規則の集
合である。
The second line B2 is a set of rules that in order for a competing element to be selected and executed, its value must not be smaller than other competing elements.

第3行目B2から第6行目B6は、競合要素が選択され
実行されるためには他の競合要素よりも値が小さくては
ならない規則の集合である。第4行目B4が評価関数を
使用している部分である。
The third line B2 to the sixth line B6 are a set of rules whose value must not be smaller than other competing elements in order for a competing element to be selected and executed. The fourth line B4 is the part where the evaluation function is used.

第4図は本実施例の競合集合検出格納手段の一例を示す
ブロック図である。
FIG. 4 is a block diagram showing an example of conflict set detection and storage means of this embodiment.

第1図および第4図に示す競合集合検出格納手段Cは、
成功するルールを検出する成功ルール検出部C1と、成
功ルール検出部C1で検出されたルールの成功環境をル
ール名と対にしてメモリに格納するルール成功環境格納
部C2とを有している。
The conflict set detection storage means C shown in FIGS. 1 and 4 is
It has a success rule detection section C1 that detects a successful rule, and a rule success environment storage section C2 that stores in memory the success environment of the rule detected by the success rule detection section C1 in pairs with the rule name.

第5図は本実施例の評価関数検討手段の一例を示すブロ
ック図である。
FIG. 5 is a block diagram showing an example of the evaluation function examining means of this embodiment.

第1図および第5図に示す評価関数検討手段りは、競合
集合検出格納手段Cで格納された競合集合からルールと
成功環境との組を一つずつ選択する選択部D1と、選択
部D1で選択された成功環境を再生する環境再生部D2
と、環境再生部D2で再生した成功環境の中でスロット
参照部A5を用いて参照したルールオブジェクトのスロ
ットを評価するスロット評価部D3と、評価の結果の評
価値をメモリに格納する結果格納部D4とを有している
The evaluation function consideration means shown in FIG. 1 and FIG. environment reproduction section D2 that reproduces the successful environment selected in
, a slot evaluation section D3 that evaluates the slot of the rule object referenced using the slot reference section A5 in the successful environment reproduced by the environment reproduction section D2, and a result storage section that stores the evaluation value of the evaluation result in the memory. D4.

競合解消実行手段Eは、競合解消戦略設定手段Bを用い
て設定した競合解消戦略に従い、評価関数検討手段りで
メモリに格納された評価値を評価項目の一つとして用い
て競合解消を行っている。
The conflict resolution execution means E performs conflict resolution according to the conflict resolution strategy set using the conflict resolution strategy setting means B, using the evaluation value stored in the memory by the evaluation function consideration means as one of the evaluation items. There is.

以上述べたように、本実施例の競合解消方式は、ルール
の成功した時点の環境を競合解消時に再生し、その中で
評価関数を実行して評価値を得ることにより、ルールの
成功環境を用いて競合解消を行って、競合解消に対する
細かい柔軟な制御が行えるとともに、評価関数がシステ
ム側で提供するシステムスロットに書込まれるので、ル
ール自体に余分な記述をする必要がなく、ルールの解読
性が高く、評価関数自体も見易くなっている。
As described above, the conflict resolution method of this embodiment reproduces the environment at the time when the rule was successful during conflict resolution, and executes the evaluation function in that environment to obtain the evaluation value. In addition, detailed and flexible control over conflict resolution can be achieved by resolving conflicts using The evaluation function itself is easy to read.

〔発明の効果〕〔Effect of the invention〕

以上説明したように、本発明の競合解消方式は、ルール
の成功した時点の環境を競合解消時に再生し、その中で
評価関数を実行して評価値を得ることにより、ルールの
成功環境を用いて競合解消を行って、競合解消に対する
細かい柔軟な制御が行えるとともに、評価関数がシステ
ム側で提供するシステムスロットに書込まれるので、ル
ール自体に余分な記述をする必要がなく、ルールの解読
性が高く、評価関数自体も見易いという効果を有してい
る。
As explained above, the conflict resolution method of the present invention uses the successful environment of the rule by reproducing the environment at the time the rule was successful during conflict resolution, and executing the evaluation function therein to obtain the evaluation value. Conflict resolution can be performed using the following methods, giving detailed and flexible control over conflict resolution. In addition, since the evaluation function is written to a system slot provided by the system, there is no need to write extra rules in the rules themselves, and the readability of the rules is improved. This has the effect that the evaluation function itself is easy to see.

また、本発明の競合解消方式は、ルールの変数を評価関
数で利用できるために、比較的容易に評価関数を記述す
ることができるという効果を有している。
Furthermore, the conflict resolution method of the present invention has the effect that the evaluation function can be written relatively easily because the variables of the rules can be used in the evaluation function.

【図面の簡単な説明】[Brief explanation of the drawing]

第1図は本発明の競合解消方式の一実施例を示すブロッ
ク図、第2図は本実施例の評価関数操作手段の一例を示
すブロック図、第3図は本実施例における競合解消戦略
の設定の一例を示す情報構成図、第4図は本実施例の競
合集合検出格納手段の一例を示すブロック図、第5図は
本実施例の評価関数検討手段の一例を示すブロック図で
ある。 1・・・・・−競合解消方式、2・・−・−・中央処理
手段、A・・・・・・評価関数操作手段、A1・・・・
・・評価関数設定部、A2・・・・・・スロット生成部
、A3・・・・・・スロット格納部、A4・・・・・−
スロット削除部、A5・−・−・・スロット参照部、B
・・・・・・競合解消戦略設定手段、C・・・・・・競
合集合検出格納手段、CI・・・・・・成功ルール検出
部、C2・−・・・・ルール成功環境格納部、D・・・
・・・評価関数検討手段、Dl・・・・・・選択部、D
2・−・・・・環境再生部、D3・・・・・・スロット
評価部、D4・・・・・・結果格納部、E・・・・・・
競合解消実行手段、F・・・・・−制御手段。
FIG. 1 is a block diagram showing an embodiment of the conflict resolution method of the present invention, FIG. 2 is a block diagram showing an example of the evaluation function operating means of the present embodiment, and FIG. 3 is a block diagram showing an example of the conflict resolution strategy of the present embodiment. FIG. 4 is a block diagram showing an example of the competitive set detection storage means of this embodiment. FIG. 5 is a block diagram showing an example of the evaluation function examination means of this embodiment. 1...-Conflict resolution method, 2...--Central processing means, A...Evaluation function operation means, A1...
...Evaluation function setting unit, A2...Slot generation unit, A3...Slot storage unit, A4...-
Slot deletion section, A5 --- Slot reference section, B
. . . Conflict resolution strategy setting means, C . . . Conflict set detection storage means, CI . . . Success rule detection section, C2 . . . Rule success environment storage section, D...
...Evaluation function consideration means, Dl...Selection section, D
2.--Environment regeneration unit, D3...Slot evaluation unit, D4...Result storage unit, E...
Conflict resolution execution means, F...-control means.

Claims (1)

【特許請求の範囲】 (A)各々のルールオブジェクトに対して競合解消のた
めの評価関数を設定する評価関数設定部と、前記評価関
数設定部で設定された評価関数を格納するシステムスロ
ットを各々の ルールオブジェクトに生成するスロット生成部と、前記
スロット生成部で生成されたス ロットに前記評価関数設定部で設定した評価関数を格納
するスロット格納部と、前記評価関数設定部で設定され
た評価関数が無効に なった場合に前記スロット生成部で生成されたスロット
を該当のルールオブジェクトから削除するスロット削除
部と、前記スロット格納部でルールオブジェクトに格納
された評価関数を参照するスロット参照部とを有する評
価関数操作手段、 (B)前記スロット格納部でルールオブジェクトに格納
された評価関数を競合解消のための評価項目の一つとし
て、それぞれのルールセットに対して組込んで競合解消
戦略を設定する競合解消戦略設定手段、 (C)成功するルールを検出する成功ルール検出部と、
前記成功ルール検出部で検出された ルールの成功環境をルール名と対にしてメモリに格納す
るルール成功環境格納部とを有する競合集合検出格納手
段、 (D)前記競合集合検出格納手段で格納された競合集合
からルールと成功環境との組を一つずつ選択する選択部
と、前記選択部で選択された成功環境を再生する環境再
生部と、前記環境再生部で再生した成功環境の中で前記
スロット参照部を用いて参照したルールオブ ジェクトのスロットを評価するスロット評価部と、評価
の結果の評価値をメモリに格納する結果格納部とを有す
る評価関数検討手段、(E)前記競合解消戦略設定手段
を用いて設定した競合解消戦略に従い、前記評価関数検
討手段でメモリに格納された評価値を評価項目の一つと
して用いて競合解消を行う競合解消実行手段、 を備えることを特徴とする競合解消方式。
[Scope of Claims] (A) An evaluation function setting unit that sets an evaluation function for conflict resolution for each rule object, and a system slot that stores the evaluation function set by the evaluation function setting unit. a slot generation unit that generates a slot in a rule object, a slot storage unit that stores an evaluation function set in the evaluation function setting unit in the slot generated by the slot generation unit, and an evaluation function set in the evaluation function setting unit. a slot deletion unit that deletes the slot generated by the slot generation unit from the corresponding rule object when the slot generation unit becomes invalid; and a slot reference unit that refers to the evaluation function stored in the rule object in the slot storage unit. (B) setting a conflict resolution strategy by incorporating the evaluation function stored in the rule object in the slot storage unit into each rule set as one of the evaluation items for conflict resolution; (C) a successful rule detection unit that detects a successful rule;
and a rule success environment storage section for storing a success environment of the rule detected by the success rule detection section in a memory in pairs with a rule name; a selection section that selects pairs of rules and successful environments one by one from a competitive set that has been selected; an environment reproduction section that reproduces the successful environment selected by the selection section; and a selection section that reproduces the successful environment selected by the selection section; (E) an evaluation function consideration unit having a slot evaluation unit that evaluates a slot of a rule object referenced using the slot reference unit; and a result storage unit that stores an evaluation value of the evaluation result in a memory; (E) the conflict resolution strategy; Conflict resolution execution means for resolving conflicts using the evaluation value stored in the memory by the evaluation function consideration means as one of the evaluation items according to the conflict resolution strategy set using the setting means. Conflict resolution method.
JP63326830A 1988-12-23 1988-12-23 Competition canceling system Pending JPH02171829A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP63326830A JPH02171829A (en) 1988-12-23 1988-12-23 Competition canceling system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP63326830A JPH02171829A (en) 1988-12-23 1988-12-23 Competition canceling system

Publications (1)

Publication Number Publication Date
JPH02171829A true JPH02171829A (en) 1990-07-03

Family

ID=18192193

Family Applications (1)

Application Number Title Priority Date Filing Date
JP63326830A Pending JPH02171829A (en) 1988-12-23 1988-12-23 Competition canceling system

Country Status (1)

Country Link
JP (1) JPH02171829A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH07295818A (en) * 1994-04-26 1995-11-10 Nec Corp Rule processor

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH07295818A (en) * 1994-04-26 1995-11-10 Nec Corp Rule processor

Similar Documents

Publication Publication Date Title
JPH01147627A (en) Question answering device
JPH02171829A (en) Competition canceling system
JPH0319026A (en) Charged software checking system
JPH06230963A (en) Memory access controller
JPS61272825A (en) Information store and forward switching system
JPH0628172A (en) Program execution system
JP3541094B2 (en) Multitask control system and control method
JPH02114344A (en) Garbage collection processor
JPH04195533A (en) Backward inference system
JPH0553822A (en) Method and device for erasing common partial expressional sentence
JP2798492B2 (en) List vector processing device
JPH07225755A (en) Method and device for managing change cancel information
JPS6345635A (en) Access system for rom file
JP3034013B2 (en) Display memory processing device
JPH0117175B2 (en)
JPH01283635A (en) Buffer control circuit
JPH05334249A (en) Nesting management system for catalog in interactive processing system
JPS63165931A (en) Storing system for information on discontinuous instruction fetch address
JPH04256031A (en) Exceptional processing method in programming language
JPS62284430A (en) Hypothesis formation type inference system
JPS63300369A (en) Processing system for digital input signal
JPH01224841A (en) Back track control system for data processor
JPH0228835A (en) Dynamic change system for rule inference strategy
JPH08221370A (en) Parallel computers for executing paralleled program
JPS6195450A (en) Exclusive control system of record