JPH04346130A - Problem settlement device - Google Patents

Problem settlement device

Info

Publication number
JPH04346130A
JPH04346130A JP11885291A JP11885291A JPH04346130A JP H04346130 A JPH04346130 A JP H04346130A JP 11885291 A JP11885291 A JP 11885291A JP 11885291 A JP11885291 A JP 11885291A JP H04346130 A JPH04346130 A JP H04346130A
Authority
JP
Japan
Prior art keywords
node
term
inference
constraint
consequence
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.)
Withdrawn
Application number
JP11885291A
Other languages
Japanese (ja)
Inventor
Hiroyuki Yoshida
裕之 吉田
Masayuki Fukushiro
昌之 福代
Hirotaka Hara
裕貴 原
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.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
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 Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP11885291A priority Critical patent/JPH04346130A/en
Publication of JPH04346130A publication Critical patent/JPH04346130A/en
Withdrawn legal-status Critical Current

Links

Landscapes

  • Devices For Executing Special Programs (AREA)

Abstract

PURPOSE:To offer the device which advances subsequent inference by using a consequence node obtained by the inference so far although restriction conditions are altered as to a device which performs inference for solving a problem according to assumption wherein it can not be decided whether or not a result is true like scheduling and planning. CONSTITUTION:The device which has a node control part 14, an environment calculation part 16, and a contradiction control part 18 in a noncontradiction control part 12 adds restriction items to a restriction node, an assumption node, and the consequence node. The noncontradiction control part 12 is provided with a restriction condition calculation part 20 which performs arithmetic using the contents of the restriction item at the node indicated by the contents of the premise item at the generated consequence node and sets the result of the arithmetic indicating a link to the restriction node in the restriction item of the consequence node and a restriction condition update part 22 which inhibits inference using the consequence node where the contents showing the link to the altered restriction node are set in the restriction item.

Description

【発明の詳細な説明】[Detailed description of the invention]

【0001】0001

【産業上の利用分野】スケジューリング、プランニング
などのように、必ずしも真であるか否かを判定できない
仮説に基づいて問題解決の推論を行なう装置に関する。
BACKGROUND OF THE INVENTION 1. Field of Industrial Application The present invention relates to a device that makes inferences to solve problems based on hypotheses that cannot necessarily be determined to be true, such as in scheduling and planning.

【0002】いくつかの仮説を同時に選択して解を発見
する場合、ある特定の仮説の組み合せに矛盾がしばしば
生ずる。
[0002] When finding a solution by selecting several hypotheses at the same time, contradictions often occur in a particular combination of hypotheses.

【0003】この矛盾が発見されたときには、矛盾を招
いた部分集合が現在の仮説集合から特定される。
[0003] When this contradiction is discovered, the subset that caused the contradiction is identified from the current set of hypotheses.

【0004】そして以後における問題解決の動作におい
ては、矛盾を招く組み合せの選択を禁止する制御が行な
われ、これにより、無矛盾性を維持しながら問題解決を
効率良く行なうことが可能となる。
[0004] In subsequent problem-solving operations, control is performed to prohibit the selection of combinations that would cause contradictions, thereby making it possible to efficiently solve problems while maintaining consistency.

【0005】[0005]

【従来の技術】図8にはこの手法(ATMS:Assu
mption−based Truth Mainte
nance System)を適用した従来の問題解決
装置が示されており、同装置の推論部10では渡された
ノードにより推論して推論の帰結とその帰結を導くため
に使用されたノードとの組を返す処理が無矛盾性管理部
12に対して行なわれる。
[Prior Art] Figure 8 shows this method (ATMS: Assu
emption-based truth
This figure shows a conventional problem-solving device to which the inference system (Nance System) is applied, and the inference unit 10 of the device makes inferences based on the passed nodes, and calculates a set of the conclusion of the inference and the node used to derive the conclusion. A return process is performed on the consistency management unit 12.

【0006】また、無矛盾性管理部12はノード管理部
14,環境計算部16,矛盾管理部18で構成されてお
り、ノードを推論部10に渡し、推論部10が返した推
論の帰結とノードとを受け取る処理が行なわれる。
The consistency management section 12 is composed of a node management section 14, an environment calculation section 16, and a contradiction management section 18, and passes the node to the inference section 10 and calculates the result of the inference returned by the inference section 10 and the node. Processing to receive the is performed.

【0007】図9(A)にはこの従来例が使用するノー
ド(内部データの一単位)の構造が示されており、同図
のように各ノードはデータ項,環境項,前提項から構成
されている。
FIG. 9A shows the structure of a node (a unit of internal data) used in this conventional example, and as shown in the figure, each node is composed of a data term, an environment term, and a prerequisite term. has been done.

【0008】それらのノードは同図(B)の制約ノード
,同図(C)の仮説ノード,同図(D)の帰結ノードに
分類され、制約ノードのデータ項には問題の制約条件を
示す内容が、環境項及び前提項には空集合を示す内容が
、各々設定される。
[0008] These nodes are classified into a constraint node in the figure (B), a hypothesis node in the figure (C), and a consequence node in the figure (D), and the data item of the constraint node indicates the constraint conditions of the problem. Contents indicating an empty set are set in the environment term and the prerequisite term, respectively.

【0009】そして、仮説ノードのデータ項には外部か
ら与えられた仮説の内容が設定され、環境項と前提項に
は自己へのリンクを示す内容が設定される。
[0009] The data item of the hypothesis node is set with the content of the hypothesis given from the outside, and the environment item and the premise item are set with content indicating a link to the node itself.

【0010】さらに、帰結ノードのデータ項には推論の
帰結を示す内容が設定され、推論の環境を示す内容(仮
説ノードへのリンクを示す)が環境項に、推論の前提と
して使用された他ノードへのリンク集合を示す内容が前
提項に、各々設定される。
[0010]Furthermore, content indicating the conclusion of the inference is set in the data term of the consequence node, and content indicating the environment of the inference (indicating a link to the hypothesis node) is used as a premise of the inference in the environment term. Contents indicating a set of links to nodes are set in each prerequisite.

【0011】図8のノード管理部14へ外部から制約条
件と仮説が与えられると、制約ノードと仮説ノードが生
成される。
When constraint conditions and hypotheses are given from the outside to the node management unit 14 in FIG. 8, constraint nodes and hypothesis nodes are generated.

【0012】また、推論部10から推論の帰結と帰結を
導くために使用されたノードとが返されると、帰結ノー
ドが生成される。
Further, when the inference unit 10 returns the conclusion of the inference and the node used to derive the conclusion, a consequence node is generated.

【0013】その帰結ノードの環境項には推論が行なわ
れた環境を示す内容が設定され、この内容は環境計算部
16で求められる。
[0013] The environment term of the resultant node is set with content indicating the environment in which the inference was performed, and this content is obtained by the environment calculation unit 16.

【0014】さらに、データ項の内容が同一な帰結ノー
ドが生じた場合には、それらを融合する処理がノード管
理部14で行なわれ、したがって、複数の環境項と前提
項を持つ帰結ノードがしばしば生ずる。
Furthermore, when result nodes with the same data term contents occur, the node management unit 14 performs a process of merging them. Therefore, result nodes with multiple environment terms and antecedent terms are often arise.

【0015】これらの環境は仮説の論理積集合となり、
それらを複数持つことは仮説の論理積の論理和を持つこ
とを意味している。
[0015] These environments become a logical product set of hypotheses,
Having multiple of them means having a logical sum of logical products of hypotheses.

【0016】そこで、環境計算部16において推論環境
の論理計算が行なわれ、これにより複雑な推論環境が簡
約化される。
Therefore, logical calculation of the inference environment is performed in the environment calculation section 16, thereby simplifying the complex inference environment.

【0017】また、融合によって環境項が変化した帰結
ノードを前提項に持つ帰結ノードの環境項は環境計算部
16で再計算され、この再計算は次々に他の帰結ノード
へ伝播して行なわれる。
[0017] Furthermore, the environment term of a consequence node whose premise is a consequence node whose environment term has changed due to fusion is recalculated by the environment calculation unit 16, and this recalculation is successively propagated to other consequence nodes. .

【0018】そして、いくつかのノードから矛盾が導か
れた場合には、推論部10から偽を示す内容の帰結が返
される。
If a contradiction is derived from some nodes, the inference unit 10 returns a conclusion indicating falsehood.

【0019】このときには、推論の前提として使用され
たノードから偽を導く環境が環境計算部16で計算され
、データ項が偽となる帰結ノードがノード管理部14で
生成される(なお、偽を表す帰結ノードは前提項を持た
ない)。
At this time, the environment calculating section 16 calculates the environment that leads to falsehood from the node used as the premise of the inference, and the node management section 14 generates a consequent node whose data item is false. (The consequent node it represents has no antecedents).

【0020】さらに、偽を導く環境は矛盾管理部18に
より他の全ての帰結ノードから取り除かれる。
Furthermore, the environment leading to falsehood is removed from all other resultant nodes by the contradiction manager 18.

【0021】その結果、環境項が空になった帰結ノード
は推論部10に渡されることはなく(矛盾管理部18が
この制御を行なう)、したがって、矛盾した仮説の組み
合せに基づく推論が阻止され、無矛盾性が維持される。
As a result, a consequence node with an empty environment term is not passed to the inference unit 10 (the contradiction management unit 18 performs this control), and therefore, inference based on a combination of inconsistent hypotheses is prevented. , consistency is maintained.

【0022】[0022]

【発明が解決しようとする課題】従来においては、問題
の制約条件が変更された場合、それまでに生成されてい
た帰結ノードが全て破棄されていた。
[Problems to be Solved by the Invention] Conventionally, when the constraint conditions of a problem are changed, all of the resultant nodes that have been generated up to that point are discarded.

【0023】このため、推論は最初からやり直しとなり
、したがって、問題解決の解が得られるまでに時間を要
していた。
[0023] For this reason, the inference has to be restarted from the beginning, and therefore, it takes time to obtain a solution to the problem.

【0024】本発明は上記従来の事情に鑑みてなされた
ものであり、その目的は、制約条件の変更にかかわらず
それまでの推論で得られた帰結ノードを利用して以後の
推論を進めることが可能となる装置を提供することにあ
る。
The present invention has been made in view of the above-mentioned conventional circumstances, and its purpose is to proceed with subsequent inferences using the resultant nodes obtained in previous inferences regardless of changes in constraint conditions. The objective is to provide a device that enables this.

【0025】[0025]

【課題を解決するための手段】上記目的を達成するため
に、本発明にかかる問題解決装置は図1のように構成さ
れている。
Means for Solving the Problems In order to achieve the above object, a problem solving apparatus according to the present invention is constructed as shown in FIG.

【0026】同図の装置は、渡されたノードにより推論
を行ない、推論の帰結と該帰結を導くために用いたノー
ドとを返す推論部10と、制約項が追加されたノードを
推論部10に渡し、推論部10が返した推論の帰結とノ
ードとを受け取る無矛盾性管理部12と、を備えている
The device shown in the figure includes an inference unit 10 that performs inference using the passed nodes and returns the conclusion of the inference and the node used to derive the conclusion, and the inference unit 10 that returns the node to which the constraint has been added. and a consistency management unit 12 that receives the inference result and node returned by the inference unit 10.

【0027】その無矛盾性管理部12は、ノード管理部
14,環境計算部16,矛盾管理部18,制約条件計算
部20,制約条件更新部22を有している。
The consistency management unit 12 includes a node management unit 14, an environment calculation unit 16, a contradiction management unit 18, a constraint calculation unit 20, and a constraint update unit 22.

【0028】これらのうちノード管理部14は、制約項
が自ノードとのリンクを示す内容となる制約ノードと制
約項が空集合となる仮説ノードを外部から入力された指
示に従って生成し、推論部10が返した推論の帰結とノ
ードとがデータ項と前提項とに各々設定された帰結ノー
ドを生成し、外部から与えられた指示に従って制約ノー
ドを更新する。
Among these, the node management unit 14 generates a constraint node whose constraint term indicates a link with its own node and a hypothesis node whose constraint term is an empty set according to instructions input from the outside, A consequence node is generated in which the inference result and node returned by 10 are set in the data term and the premise term, respectively, and the constraint node is updated according to instructions given from the outside.

【0029】また環境計算部16は、生成された帰結ノ
ードの前提項で示されるノードにおける環境項の内容を
演算し、該演算の結果を該帰結ノードの環境項に設定し
、帰結ノードにおける環境項の内容を演算して簡約化し
、環境項の内容が融合で変化した帰結ノードを示す内容
が前提項に設定された帰結ノードにおける環境項の内容
を再計算する。
Furthermore, the environment calculation unit 16 calculates the contents of the environment term in the node indicated by the antecedent term of the generated resultant node, sets the result of the calculation to the environment term of the resultant node, and The content of the term is calculated and simplified, and the content of the environmental term in the consequent node whose premise term is set to the content indicating the consequent node where the content of the environmental term has changed due to fusion is recalculated.

【0030】さらに矛盾管理部18は、偽の帰結を示す
内容がデータ項に設定された帰結ノードにおける環境項
の内容で示され該帰結を導く内容をすべての帰結ノード
の環境項から削除し、この結果、環境項が空になった帰
結ノードを用いた推論を禁止する。
Furthermore, the contradiction management unit 18 deletes the content indicating a false consequence from the environment clause of all the consequence nodes, which is indicated by the content of the environment clause in the consequence node set in the data item, and which leads to the conclusion. As a result, inference using a consequence node whose environment term is empty is prohibited.

【0031】そして制約条件計算部20は、生成された
帰結ノードにおける前提項の内容で示されるノードにお
ける制約項の内容を用いた演算を行なって制約ノードへ
のリンクを示す該演算の結果を該帰結ノードの制約項に
設定し、制約条件更新部22は、変更された制約ノード
へのリンクを示す内容が制約項に設定されている帰結ノ
ードの制約項から当該内容を削除すると共に、対応する
環境項の内容も削除し、この結果、環境項が空になった
帰結ノードを用いた推論を禁止する。
[0031] Then, the constraint condition calculation unit 20 performs an operation using the contents of the constraint term in the node indicated by the contents of the antecedent term in the generated resultant node, and calculates the result of the operation indicating the link to the constraint node. The constraint update unit 22 deletes the content indicating the link to the changed constraint node from the constraint term of the consequence node set in the constraint term, and the corresponding content is set in the constraint term of the consequence node. The contents of the environment term are also deleted, and as a result, inference using a consequence node whose environment term is empty is prohibited.

【0032】[0032]

【作用】本発明では、制約ノード,仮説ノード,帰結ノ
ードの環境項が拡張され、それらに制約項が追加される
[Operation] In the present invention, the environment terms of the constraint node, hypothesis node, and consequence node are expanded and constraint terms are added to them.

【0033】そして、推論で帰結ノードが得られたとき
には、同帰結ノードにおける前提項の内容で示される他
のノードが検索され、検索されたノードにおける制約項
の内容を用いた演算が行なわれる。
When a consequent node is obtained by inference, another node indicated by the content of the antecedent term in the consequent node is searched, and an operation is performed using the content of the constraint term in the searched node.

【0034】この演算を行なうことにより、推論が依存
していた制約条件(制約ノードへのリンク)を算出でき
、その演算結果は同帰結ノードの制約項へ設定される。
By performing this operation, the constraint condition (link to the constraint node) on which the inference depends can be calculated, and the result of the operation is set to the constraint term of the same consequence node.

【0035】そして、制約ノードの更新(制約条件の変
更)が行なわれた場合には、同制約ノードへのリンクを
示す内容が制約項に設定されている帰結ノードが検索さ
れ、検索された帰結ノードの制約項から当該内容を削除
すると共に、対応する環境項の内容も削除し、この結果
、環境項が空になった帰結ノードを用いた推論が禁止さ
れる。
[0035] When a constraint node is updated (constraint conditions are changed), a consequence node whose constraint term has content indicating a link to the same constraint node is searched, and the searched consequence is The content is deleted from the constraint term of the node, and the content of the corresponding environment term is also deleted, and as a result, inference using a consequence node whose environment term is empty is prohibited.

【0036】すなわち、変更された制約条件だけに依存
している帰結ノードは推論に使用されず、その制約条件
に依存していない帰結ノードは問題解決の推論にそのま
ま以後においても利用される。
That is, a consequence node that depends only on the changed constraint condition is not used for inference, and a consequence node that does not depend on the constraint condition is used as is for problem-solving inference thereafter.

【0037】[0037]

【実施例】以下、図面に基づいて本発明にかかる問題解
決装置の好適な実施例を説明する。
DESCRIPTION OF THE PREFERRED EMBODIMENTS Preferred embodiments of the problem solving apparatus according to the present invention will be described below with reference to the drawings.

【0038】図1には実施例の構成が示されており、こ
の装置は推論部10と無矛盾性管理部12を備えている
FIG. 1 shows the configuration of an embodiment, and this device includes an inference section 10 and a consistency management section 12.

【0039】さらに、無矛盾性管理部12はノード管理
部14,環境管理部16,矛盾管理部18とともに、制
約条件計算部20,制約条件更新部22を有している。
Furthermore, the consistency management section 12 has a node management section 14, an environment management section 16, a contradiction management section 18, as well as a constraint calculation section 20 and a constraint update section 22.

【0040】図2(A)には本実施例のノード構造が示
されており、各ノードに制約項が追加されている。
FIG. 2A shows the node structure of this embodiment, and constraints are added to each node.

【0041】そして図1の推論部10は、渡されたノー
ドにより推論を行ない、推論の帰結と該帰結を導くため
に用いたノードとを返す。
The inference unit 10 in FIG. 1 then performs inference using the passed nodes, and returns the conclusion of the inference and the node used to derive the conclusion.

【0042】また、無矛盾性管理部12は制約項が追加
されたノードを推論部10に渡し、推論部10が返した
推論の帰結とノードとを受け取る。
Furthermore, the consistency management section 12 passes the node to which the constraint term has been added to the inference section 10, and receives the result of the inference and the node returned by the inference section 10.

【0043】その無矛盾性管理部12のノード管理部1
4は、図2(B)のように制約項が自ノードとのリンク
を示す内容となる制約ノードと同図(C)のように制約
項が空集合となる仮説ノードを外部から入力された指示
(問題の制約条件,仮説を含む)に従って生成し、推論
の帰結と推論の前提とされたノードとがデータ項と前提
項とに各々設定された図2(D)の帰結ノードを生成し
、外部から与えられた指示(制約条件変更の指示)に従
って制約ノードを更新する。
[0043] Node management unit 1 of the consistency management unit 12
4, a constraint node whose constraint term indicates a link with the own node as shown in Figure 2(B) and a hypothesis node whose constraint term is an empty set as shown in Figure 2(C) are input from the outside. The result node is generated according to the instructions (including problem constraints and hypotheses), and the result node shown in FIG. , updates the constraint node according to instructions given from the outside (instructions to change constraint conditions).

【0044】さらに環境計算部16は、生成された帰結
ノードの前提項で示されるノードにおける環境項の内容
を論理積演算し、この論理積演算の結果(推論が行なわ
れた環境)を該帰結ノードの環境項に設定し、帰結ノー
ドにおける環境項の内容を演算して簡約化し、環境項の
内容が融合で変化した帰結ノードを示す内容が前提項に
設定された帰結ノードにおける環境項の内容を再計算す
る。
Furthermore, the environment calculation unit 16 performs an AND operation on the contents of the environment term in the node indicated by the antecedent term of the generated consequence node, and uses the result of this AND operation (the environment in which the inference was performed) as the result of the conclusion. The content of the environment term in the consequence node is set in the environment term of the node, the content of the environment term in the consequence node is calculated and simplified, and the content indicating the consequence node where the content of the environment term has changed due to fusion is set in the antecedent term. Recalculate.

【0045】そして矛盾管理部18は、偽の帰結を示す
内容がデータ項に設定された帰結ノードにおける環境項
の内容で示され、この帰結を導く内容をすべての帰結ノ
ードの環境項から削除し、この結果、環境項が空になっ
た帰結ノードを用いた推論を禁止する。
[0045] Then, the contradiction management unit 18 deletes the content that indicates a false consequence from the environment clause of all consequence nodes when the content indicating the false consequence is indicated by the content of the environment clause in the consequence node set in the data item. , As a result, inference using a consequence node whose environment term is empty is prohibited.

【0046】制約条件計算部20は、生成された帰結ノ
ードにおける前提項の内容で示されるノードにおける制
約項の内容を用いた演算(推論の前提として使用された
ノード全ての制約項の論理積を取る)を行ない、制約ノ
ードへのリンクを示す該演算の結果を該帰結ノードの制
約項に設定する。
The constraint condition calculation unit 20 performs an operation using the content of the constraint term in the node indicated by the content of the antecedent term in the generated consequence node (the logical product of the constraint terms of all the nodes used as the premise of the inference). ), and sets the result of the operation indicating the link to the constraint node to the constraint term of the resultant node.

【0047】また制約条件更新部22は、変更された制
約ノードへのリンクを示す内容が制約項に設定されてい
る帰結ノードの制約項から当該内容を削除すると共に、
対応する環境項の内容も削除し、この結果、環境項が空
になった帰結ノードを用いた推論を禁止する。
The constraint update unit 22 also deletes the content indicating a link to the changed constraint node from the constraint term of the consequence node whose constraint term is set, and
The contents of the corresponding environment term are also deleted, and as a result, inference using a consequence node whose environment term is empty is prohibited.

【0048】その結果、新たに推論され直して環境項が
再び設定されるまで、この帰結ノードは推論部10に渡
されなくなる。
As a result, this consequence node is no longer passed to the inference unit 10 until it is newly inferred and the environment term is set again.

【0049】なお、変更された制約条件が変更前の制約
条件を論理的に包含している場合においては、データ項
が偽となる帰結ノードに関する制約条件の変更処理は行
なわれない。
Note that if the changed constraint logically includes the constraint before the change, the process of changing the constraint with respect to the resultant node whose data item is false is not performed.

【0050】図3,図4はある問題に適用した場合のノ
ードの生成例を各々示しており、図3のノードN1から
N6,図4のノードN7からN12は各々制約ノード,
仮説ノードである。
FIGS. 3 and 4 show examples of node generation when applied to a certain problem, and nodes N1 to N6 in FIG. 3 and nodes N7 to N12 in FIG. 4 are constraint nodes, respectively.
It is a hypothesis node.

【0051】これらは外部から与えられた指示(問題の
制約条件と仮説を含む)に従い、ノード管理部14で生
成される。
These are generated by the node management unit 14 according to instructions (including problem constraints and hypotheses) given from the outside.

【0052】最初に、無矛盾性管理部12より推論部1
0へノードN1からN6およびN7が渡されると、推論
部10は5≦Yの帰結とこれを導くために用いたノード
N1,N7との組、X≦3の帰結とこれを導くために用
いたノードN4,N7との組を返す。
First, the consistency management unit 12
When nodes N6 and N7 are passed from node N1 to node Returns the pair with nodes N4 and N7.

【0053】ノード管理部14は両帰結に対応して図5
の帰結ノードN13とN14を各々生成し、データ項と
前提項とに推論の帰結と推論の前提とされたノードとを
各々設定する。
[0053] The node management unit 14 corresponds to both consequences as shown in FIG.
The result nodes N13 and N14 are respectively generated, and the result of the inference and the node that is the premise of the inference are set in the data term and the premise term, respectively.

【0054】また環境計算部16は、これらの新たな帰
結ノードの前提部に現れるノードにおける環境項の論理
積(推論が行なわれた環境)を計算し、新たな帰結ノー
ドの環境項に設定する。
[0054] The environment calculation unit 16 also calculates the logical product (the environment in which the inference was made) of the environment terms in the nodes that appear in the antecedents of these new consequence nodes, and sets it as the environment term of the new consequence node. .

【0055】さらに制約条件計算部20は、新たな帰結
ノードの前提項に現れるノードにおける制約項の論理積
を計算し、その計算結果(帰結を導くために使用された
制約ノードへのリンクを内容とする)を新たな帰結ノー
ドの制約項に設定する。
Furthermore, the constraint condition calculation unit 20 calculates the logical product of the constraint terms in the nodes that appear in the antecedents of the new consequence node, and displays the result of the calculation (the link to the constraint node used to derive the consequence). ) is set as the constraint term of the new consequence node.

【0056】次に、推論部10へノードN1からN6お
よびN9が渡されると、推論部10は5≦Zの帰結とこ
れを導くために用いたノードN1,N9との組、X≦5
の帰結とこれを導くために用いたノードN6,N9との
組を返す。
Next, when the nodes N1 to N6 and N9 are passed to the inference unit 10, the inference unit 10 calculates the set of the conclusion of 5≦Z and the nodes N1 and N9 used to derive this, X≦5.
Returns the result and the set of nodes N6 and N9 used to derive it.

【0057】その結果、図5の帰結ノードN15,N1
6が無矛盾性管理部12で生成される。
As a result, the resultant nodes N15 and N1 in FIG.
6 is generated by the consistency management unit 12.

【0058】さらにその次の推論が行なわれると、図5
の帰結ノードN17,N18が生成される。
When the next inference is made, FIG.
Consequence nodes N17 and N18 are generated.

【0059】そして、推論部10にノードN13,N1
8が渡されると、推論部10は矛盾を発見し、データ項
が偽となる帰結ノードN19が図5のように生成される
[0059] Then, the inference unit 10 has nodes N13 and N1
8, the inference unit 10 discovers a contradiction and generates a consequent node N19 whose data item is false, as shown in FIG.

【0060】また、推論部10にノードN1からN6お
よびN12が渡されると、推論部10は新たな矛盾を発
見する。
Further, when nodes N1 to N6 and N12 are passed to the inference section 10, the inference section 10 discovers a new contradiction.

【0061】このときには帰結ノードN19が_N19
へ図5のように変化し、環境項の簡約化で帰結ノード_
_N19に変化する。
In this case, the resultant node N19 is _N19
As shown in Figure 5, the result node _ is changed by simplifying the environment term.
Changes to _N19.

【0062】また、環境(N7)の矛盾が確認されるの
で、これを帰結ノードN13,N14の環境項から削除
する。
Furthermore, since a contradiction in the environment (N7) is confirmed, this is deleted from the environment terms of the resultant nodes N13 and N14.

【0063】その結果、両帰結ノードN13,N14は
、再び環境項に値が入るまで、推論部10に渡されなく
なる。
As a result, both consequence nodes N13 and N14 are not passed to the inference unit 10 until a value is entered into the environment term again.

【0064】以後において、同様な処理が行なわれ、図
5の帰結ノードN20からN23が生成される。
Thereafter, similar processing is performed, and resultant nodes N20 to N23 in FIG. 5 are generated.

【0065】ここで、図6のように制約ノードN2,N
6で示される制約条件(データ項の内容)が変更される
と、それを制約項に含む帰結ノード(図5のN16,N
18,N21,N22)が削除される(環境項の削除に
よる)。
Here, as shown in FIG. 6, the constraint nodes N2, N
When the constraint condition (content of the data term) indicated by 6 is changed, the resultant node that includes it in the constraint term (N16, N
18, N21, N22) are deleted (due to the deletion of the environment term).

【0066】ただし、偽を表わす帰結ノードN19は、
新たな制約条件(_N6)がそれまでの制約条件(N6
)を論理的に包含するので、変更される制約条件(N6
)を環境項に含んでいても、変化しない。
However, the resultant node N19 representing false is:
The new constraint (_N6) is the same as the old constraint (N6)
) logically includes the constraint condition (N6
) is included in the environment term, it does not change.

【0067】したがって、図7のように帰結ノードN1
3,N14,N15,N17,__N19,N20,N
23が残され、上述した制約条件の変更後においては、
それらノードN13,N14,N15,N17,__N
19,N20,N23を用いて問題解決が進められる。
Therefore, as shown in FIG. 7, the resultant node N1
3, N14, N15, N17, ___N19, N20, N
23 remains, and after changing the constraints mentioned above,
Those nodes N13, N14, N15, N17, ___N
19, N20, and N23 are used to solve the problem.

【0068】このため本実施例によれば、推論を初めか
らやり直されることはなく、問題を効率良く解決するこ
とが可能となる。
Therefore, according to this embodiment, the inference is not restarted from the beginning, and the problem can be solved efficiently.

【0069】[0069]

【発明の効果】以上説明したように本発明によれば、問
題の制約条件が変更されても、それまでに得られた資産
の多くを残せるので、これを用いて以後における問題解
決を効率良く行なうことが可能となる。
[Effects of the Invention] As explained above, according to the present invention, even if the constraint conditions of a problem are changed, many of the assets obtained up to that point can be retained, and this can be used to efficiently solve future problems. It becomes possible to do so.

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

【図1】実施例の構成説明図である。FIG. 1 is an explanatory diagram of the configuration of an embodiment.

【図2】実施例におけるノードのデータ構造説明図であ
る。
FIG. 2 is an explanatory diagram of the data structure of a node in the embodiment.

【図3】実施例で使用される制約ノードの内容説明図で
ある。
FIG. 3 is an explanatory diagram of the contents of a constraint node used in the embodiment.

【図4】実施例で使用される仮説ノードの内容説明図で
ある。
FIG. 4 is a content explanatory diagram of a hypothesis node used in the embodiment.

【図5】実施例で使用される帰結ノードの内容説明図で
ある。
FIG. 5 is an explanatory diagram of the contents of a consequence node used in the embodiment.

【図6】実施例で変更された制約ノードの内容説明図で
ある。
FIG. 6 is an explanatory diagram of the contents of a constraint node changed in the embodiment.

【図7】実施例で制約条件の変更後に残された帰結ノー
ドの内容説明図である。
FIG. 7 is a diagram illustrating the contents of a consequence node that remains after changing constraints in the embodiment.

【図8】従来例の構成説明図である。FIG. 8 is a configuration explanatory diagram of a conventional example.

【図9】従来例におけるノードのデータ構造説明図であ
る。
FIG. 9 is an explanatory diagram of the data structure of a node in a conventional example.

【符号の説明】[Explanation of symbols]

10 推論部 12 無矛盾性管理部 14 ノード管理部 16 環境計算部 18 矛盾管理部 20 制約条件計算部 22 制約条件変更部 10 Reasoning part 12 Consistency management department 14 Node management department 16 Environmental calculation department 18 Contradiction Management Department 20 Constraint condition calculation section 22 Constraint condition change section

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】  渡されたノードにより推論を行ない、
推論の帰結と該帰結を導くために用いたノードとを返す
推論部(10)と、制約項が追加されたノードを推論部
(10)に渡し、推論部(10)が返した推論の帰結と
ノードとを受け取る無矛盾性管理部(12)と、を備え
、無矛盾性管理部(12)は、制約項が自ノードとのリ
ンクを示す内容となる制約ノードと制約項が空集合とな
る仮説ノードを外部から入力された指示に従って生成し
、推論部(10)が返した推論の帰結とノードとがデー
タ項と前提項とに各々設定された帰結ノードを生成し、
外部から与えられた指示に従って制約ノードを更新する
ノード管理部(14)と、生成された帰結ノードの前提
項で示されるノードにおける環境項の内容を演算し、該
演算の結果を該帰結ノードの環境項に設定し、帰結ノー
ドにおける環境項の内容を演算して簡約化し、環境項の
内容が融合で変化した帰結ノードを示す内容が前提項に
設定された帰結ノードにおける環境項の内容を再計算す
る環境計算部(16)と、偽の帰結を示す内容がデータ
項に設定された帰結ノードにおける環境項の内容で示さ
れ該帰結を導く内容をすべての帰結ノードの環境項から
削除し、この結果環境項が空になった帰結ノードを用い
た推論を禁止する矛盾管理部(18)と、生成された帰
結ノードにおける前提項の内容で示されるノードにおけ
る制約項の内容を用いた演算を行ない、制約ノードへの
リンクを示す該演算の結果を該帰結ノードの制約項に設
定する制約条件計算部(20)と、変更された制約ノー
ドへのリンクを示す内容が制約項に設定されている帰結
ノードを用いた推論を禁止する制約条件更新部(22)
と、を有する、ことを特徴とした問題解決装置。
[Claim 1] Perform inference using the passed node,
An inference unit (10) that returns the conclusion of the inference and the node used to derive the conclusion, passes the node to which the constraint has been added to the inference unit (10), and returns the conclusion of the inference that the inference unit (10) has returned. and a consistency management unit (12) that receives a node and a constraint node whose content indicates a link with its own node and a hypothesis where the constraint term is an empty set. Generate a node according to an instruction input from the outside, and generate a consequence node in which the conclusion of the inference returned by the inference unit (10) and the node are set in the data term and the premise term, respectively,
A node management unit (14) that updates the constraint node according to instructions given from the outside, and calculates the contents of the environment term in the node indicated by the antecedent term of the generated resultant node, and applies the result of the operation to the resultant node. The content of the environment term in the consequence node is calculated and simplified, and the content of the environment term in the consequence node set as the antecedent is rewritten with the content indicating the consequence node where the content of the environment term has changed due to fusion. an environment calculation unit (16) that performs the calculation, and content indicating a false consequence is indicated by the content of the environment term in the consequence node set in the data item, and content that leads to the conclusion is deleted from the environment terms of all consequence nodes; As a result, a contradiction management unit (18) prohibits inference using a consequent node whose environment term is empty, and an operation using the contents of a constraint term in a node indicated by the contents of antecedent terms in the generated consequent node. a constraint condition calculation unit (20) that sets the result of the operation indicating the link to the constraint node in the constraint term of the resultant node; and the content indicating the link to the changed constraint node is set in the constraint term. a constraint update unit (22) that prohibits inference using a consequence node;
A problem-solving device characterized by having.
JP11885291A 1991-05-23 1991-05-23 Problem settlement device Withdrawn JPH04346130A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP11885291A JPH04346130A (en) 1991-05-23 1991-05-23 Problem settlement device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP11885291A JPH04346130A (en) 1991-05-23 1991-05-23 Problem settlement device

Publications (1)

Publication Number Publication Date
JPH04346130A true JPH04346130A (en) 1992-12-02

Family

ID=14746737

Family Applications (1)

Application Number Title Priority Date Filing Date
JP11885291A Withdrawn JPH04346130A (en) 1991-05-23 1991-05-23 Problem settlement device

Country Status (1)

Country Link
JP (1) JPH04346130A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8902457B2 (en) 2011-01-05 2014-12-02 Ricoh Company, Ltd. Image processing apparatus and image processing system

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8902457B2 (en) 2011-01-05 2014-12-02 Ricoh Company, Ltd. Image processing apparatus and image processing system

Similar Documents

Publication Publication Date Title
Hoogeveen Single-machine scheduling to minimize a function of two or three maximum cost criteria
JPH05250377A (en) Scheduling system
US5189728A (en) Rule generating and verifying apparatus for fuzzy control
US5347615A (en) Rule generating and verifying apparatus for fuzzy control using temporary exclusion of a selected rule
JPH04346130A (en) Problem settlement device
JPH0644074A (en) Knowledge base, inference method and descriptive text preparation method
JP2003108377A (en) Knowledge rule conversion apparatus, expert system, knowledge rule conversion program and construction method of expert system
Gabbay Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories.
JPH0831037B2 (en) Inference method using knowledge base
JPH0553815A (en) Supporting system in inference device
JP3451983B2 (en) Report circulation system
JPH04186434A (en) Expert system
JPH0554014A (en) Learning device for neural network
JPH05233303A (en) Fuzzy controller
Kambhampati Refinement lanning: Status an
JPH07271588A (en) Knowledge input method for example base inference
JPH01124030A (en) Inference method in knowledge utilizing information processing system
JPH03156535A (en) Frame knowledge management system for expert system
JPS63311441A (en) Knowledge acquiring system using time history
JPS6382540A (en) Deductive system
JPS62286173A (en) Relation learning system
JPH07306789A (en) Method and device for inference control of expert system
JPH10143370A (en) Method for storing and collating knowledge
JPH05342247A (en) Non-linear inequality inference method
JPH05233299A (en) Fuzzy inference arithmetic unit

Legal Events

Date Code Title Description
A300 Application deemed to be withdrawn because no request for examination was validly filed

Free format text: JAPANESE INTERMEDIATE CODE: A300

Effective date: 19980806