JPH03179527A - Cooperative decentralized type inference device - Google Patents

Cooperative decentralized type inference device

Info

Publication number
JPH03179527A
JPH03179527A JP1317865A JP31786589A JPH03179527A JP H03179527 A JPH03179527 A JP H03179527A JP 1317865 A JP1317865 A JP 1317865A JP 31786589 A JP31786589 A JP 31786589A JP H03179527 A JPH03179527 A JP H03179527A
Authority
JP
Japan
Prior art keywords
problem solving
unit
sub
solving
order
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
JP1317865A
Other languages
Japanese (ja)
Inventor
Shinichi Miyamoto
慎一 宮元
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.)
Mitsubishi Heavy Industries Ltd
Original Assignee
Mitsubishi Heavy Industries 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 Mitsubishi Heavy Industries Ltd filed Critical Mitsubishi Heavy Industries Ltd
Priority to JP1317865A priority Critical patent/JPH03179527A/en
Publication of JPH03179527A publication Critical patent/JPH03179527A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To improve the reliability for the solution of problems by providing plural secondary problem solving parts and connecting these problem solving parts to each other in steps for cooperative solution of problems. CONSTITUTION:When a problem is inputted to the secondary problem solving part of the highest order, the problem solving part decides whether it can solve a due problem by itself or not. If so, the secondary problem solving part solves the problem by itself and sends this solution to a high-order secondary problem solving part. If not, the problem is decomposed into plural secondary problems via a problem decomposing part 46 and these secondary problems are sent to a low-order secondary problem solving part. This low-order problem solving part repeats the processing to the received secondary problems. When the problems are solved at the low-order problem solving parts, these solutions are sent back to a high-order problem solving part. Then plural solutions are synthesized at a result synthesizing part 47.

Description

【発明の詳細な説明】 [産業上の利用分野コ 本発明はエキスパートシステムに適用される協調分散型
推論装置に関する。
DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a collaborative distributed inference device applied to an expert system.

[従来の技術] 従来のエキスパートシステムは、大きく分けてルールを
ベースに推論を進めるものと、フレームをベースに推論
を進めるものとに区別される。
[Prior Art] Conventional expert systems can be broadly divided into those that perform inference based on rules and those that perform inference based on frames.

前者のルールをベースにしたエキスパートシステム1で
は、第5図に示すように、センサ(図示しない)におい
て検出されるセンサ信号を通信部2を介して取り込み、
推論エンジン3により知識ベース4から知識を引き出し
ていた。このような推論の流れは次のようなものである
In the expert system 1 based on the former rule, as shown in FIG.
Knowledge was extracted from the knowledge base 4 by the inference engine 3. The flow of such reasoning is as follows.

(1)初期事実を設定する。(1) Set initial facts.

(2)知識ベース4に存在するルールを適用し、新たな
事実を導く。このような処理は適用するルールがなくな
るまで続けられる。
(2) Apply the rules existing in Knowledge Base 4 to derive new facts. Such processing continues until there are no more rules to apply.

(3〉推論によって得られた事実を表示する。(3> Display the facts obtained by inference.

このように、従来のエキスパートシステム1では専門家
の知識を知識ベース4の中に持ち、推論エンジン3によ
り、その知識を引き出すという処理を行っていた。
In this manner, the conventional expert system 1 has the knowledge of experts in the knowledge base 4, and the inference engine 3 performs a process of extracting that knowledge.

一方、後者のフレームをベースにしたエキスパートシス
テムは知識の表現方法がルールではなくフレームになる
点が異なるが、既知の事実から新たな事実を導くという
意味では前記ルールをへ−スにしたエキシバートシステ
ムと同じである。しかし、フレームをベースにした推論
では、フレームの上位フレーム、下位フレームを検索し
ながら、目標の事実を検索している。
On the other hand, the latter frame-based expert system is different in that the method of expressing knowledge is a frame rather than a rule. Same as system. However, in frame-based reasoning, the target fact is retrieved while searching upper and lower frames of the frame.

[発明が解決しようとする問題点] 従来のエキスパートシステムでは、単独の知識ベース4
と推論エンジン3しか持っていなかったため、以下に述
べるような欠点があった。
[Problem to be solved by the invention] In conventional expert systems, a single knowledge base4
Because it only had 3 and inference engine 3, it had the following drawbacks.

(1〉システムの一部が故障した時、全体がダウンする
(1) When one part of the system breaks down, the whole system goes down.

(2)単一の観点しか持っていないため、解決できない
問題が与えられた時、お手上げになる。
(2) Because they only have a single point of view, they give up when faced with a problem they cannot solve.

(3)単一の観点しか持っていないため、推論エンジン
3により推論された推論結果の信頼性が低い。
(3) Since it has only a single viewpoint, the reliability of the inference results inferred by the inference engine 3 is low.

(4)1つのプロセッサにより全てを処理しているため
、ボトルネックが途中にあると、速度が極端に低下する
(4) Since everything is processed by one processor, if there is a bottleneck in the middle, the speed will drop significantly.

(5)地理的に分散しているシステムに対しては、この
ような協調分散的な構成をとることにより、通信の時間
を削除でき、実質的な応答速度が得られる。また、通信
路に故障が生じると、全体のシステムがダウンする可能
性がある。
(5) For geographically dispersed systems, by adopting such a cooperative and distributed configuration, communication time can be eliminated and a substantial response speed can be obtained. Furthermore, if a failure occurs in the communication path, the entire system may go down.

本発明は上記の点に鑑みてなされたもので、その目的は
上記した従来のエキスパートシステムの欠点を排除し、
問題を解決する信頼性を向上させるようにした協調分散
型推論装置を提供することにある。
The present invention has been made in view of the above points, and its purpose is to eliminate the drawbacks of the conventional expert systems described above,
An object of the present invention is to provide a cooperative distributed reasoning device that improves the reliability of problem solving.

[問題点を解決するための手段] 与えられた問題を解決する問題解決部、問題を副問題に
分解する問題分解部、副問題を解いた結果を合成する結
果合成部からなり知識ベースと推論エンジンを備える問
題処理部と、他の副問題解決部と情報を交換するための
通信部と、副問題解決部の動作を制御する制御部とを有
する副問題解決部を複数有し、該副問題解決部を段階的
に結合することにより、問題を協調的に解決することを
特徴とする協調分散型推論装置である。
[Means for solving problems] Consists of a problem solving part that solves a given problem, a problem decomposition part that decomposes the problem into sub-problems, and a result synthesis part that synthesizes the results of solving the sub-problems, making a knowledge base and inference. It has a plurality of sub-problem solving units each having a problem processing unit equipped with an engine, a communication unit for exchanging information with other sub-problem solving units, and a control unit that controls the operation of the sub-problem solving unit. This is a collaborative distributed inference device characterized by cooperatively solving problems by step-by-step combination of problem solving units.

[作用] システムを複数の副問題解決部に分散させ、副問題解決
部を協調させることにより、問題を解決するようにして
いる。
[Operation] The system is distributed to a plurality of sub-problem solving sections and the sub-problem solving sections are made to cooperate to solve the problem.

[実施例] 以下図面を参照して本発明の一実施例に係わる協調分散
型推論装置について説明する。第1図は協調分散型推論
装置を示すブロック図である。第1図において、10は
最上位の副問題解決部である。
[Embodiment] A collaborative distributed inference device according to an embodiment of the present invention will be described below with reference to the drawings. FIG. 1 is a block diagram showing a collaborative distributed inference device. In FIG. 1, numeral 10 is the topmost sub-problem solving unit.

この副問題解決部IQの下位には副問題解決部11及び
12が接続される。さらに、上記副問題解決部11の下
位には副問題解決部21.22が接続される。またさら
に、副問題解決部12の下位には副問題解決部21.2
2が接続される。
Sub-problem solving units 11 and 12 are connected below this sub-problem solving unit IQ. Furthermore, sub-problem solving units 21 and 22 are connected below the sub-problem solving unit 11. Furthermore, a sub-problem solving unit 21.2 is located below the sub-problem solving unit 12.
2 is connected.

また、上記副問題解決部21の下位には副問題解決部3
1.32が、上記副問題解決部22の下位には副問題解
決部33.34が、上記副問題解決部23の下位には副
問題解決部34.35が、上記副問題解決部24の下位
には副問題解決部36.37がそれぞれ接続される。
Further, below the sub-problem solving unit 21, there is a sub-problem solving unit 3.
1.32, sub-problem solving units 33.34 are below the sub-problem solving unit 22, sub-problem solving units 34.35 are below the sub-problem solving unit 23, and sub-problem solving units 34.35 are below the sub-problem solving unit 23. Sub-problem solving units 36 and 37 are connected to the lower level.

次に、第2図を参照して副問題解決部11を一例にとり
副問題解決部の構成を説明する。第2図において、41
は上位の副問題解決部との情報を交換するための通信部
、42は下位の副問題解決部との情報を交換するための
通信部である。これら通信部41.42の出力は制御部
43に接続される。この制御部43には問題処理部44
が接続、される。この問題処理部44は与えられた問題
を解決する問題解決部44、問題を副問題に分解する問
題分解部46、副問題を解いた結果を合成する結果合成
部47とにより構成される。上記問題処理部44には推
論部48が接続される。この推論部48には推論エンジ
ン49と知識ベース50とにより構成される。この知識
ベース50には専門家の知識がルールという形で記憶さ
れている。また、推論エンジン49は上記知識ベース5
0に記憶された知識を引き出す。
Next, the configuration of the sub-problem solving section will be explained by taking the sub-problem solving section 11 as an example with reference to FIG. In Figure 2, 41
42 is a communication unit for exchanging information with the upper sub-problem solving unit, and 42 is a communication unit for exchanging information with the lower sub-problem solving unit. The outputs of these communication units 41 and 42 are connected to the control unit 43. This control section 43 includes a problem processing section 44.
is connected and done. The problem processing unit 44 is composed of a problem solving unit 44 that solves a given problem, a problem decomposition unit 46 that decomposes the problem into subproblems, and a result synthesis unit 47 that synthesizes the results of solving the subproblems. An inference section 48 is connected to the problem processing section 44 . The inference unit 48 is composed of an inference engine 49 and a knowledge base 50. This knowledge base 50 stores expert knowledge in the form of rules. The inference engine 49 also uses the knowledge base 5
Pull out the knowledge stored in 0.

なお、第1図の副問題解決部IOの通信部41を介して
は人間との通信が行われる。
Note that communication with humans is performed via the communication unit 41 of the sub-problem solving unit IO in FIG.

次に、上記のように構成された本発明の一実施例の動作
について説明する。まず、問題が最上位の副問題解決部
lOに入力されると第3図のフローチャートに示すよう
な処理が第1図の協調分散型推論装置において開始され
る。まず、副問題解決部IOは通信部41を介して問題
を受信する(ステップSl)。この別問題解決部lOは
解くべき問題を自分で解決できるかを判断する(ステッ
プS2)。
Next, the operation of an embodiment of the present invention configured as described above will be explained. First, when a problem is input to the topmost sub-problem solving unit IO, processing as shown in the flowchart of FIG. 3 is started in the collaborative distributed inference device of FIG. 1. First, the sub-problem solving unit IO receives a problem via the communication unit 41 (step Sl). This separate problem solving unit IO determines whether the problem to be solved can be solved by oneself (step S2).

自分で解決できるできるか否かの判断は知識ベース50
に解くべき問題が適用できるルールベースを持っている
か否かで判断される。上記ステップS2の判断で自分で
解決できると判断された場合には、別問題解決部lOは
自分でその問題を解決しくステップS3)、その解を上
位の別問題解決部に送る(ステップS4)。ここで、最
上位の別問題解決部toで問題が解けた場合には、上位
の別問題解決部は存在しないので、例えば表示部(図示
しない)に表示される。
Determining whether or not you can solve the problem yourself is based on 50 knowledge bases.
The decision is made based on whether or not there is a rule base that can be applied to the problem to be solved. If it is determined in step S2 that the problem can be solved by itself, the separate problem solving unit 1O solves the problem by itself (step S3) and sends the solution to the higher level separate problem solving unit (step S4). . Here, if the problem is solved by the top-ranking separate problem-solving section to, the top-ranking separate problem-solving section does not exist, so it is displayed on, for example, a display section (not shown).

ところで、別問題解決部10が解くべき問題を自分で解
決できないと判断した場合、つまりステップS2でrN
OJと判断された場合には、問題分解部46において解
けない問題は複数の別問題に分解される(ステップS5
)。そして、各別問題は下位の別問題解決部に送信され
る(ステップ86〜S8)。そして、別問題を送信した
各別問題解決部は待ち状態(νaft)に入る。そして
、下位、の別問題解決部は送信されてきた別問題を受信
すると第3図のフローチャートのステップS1以降の処
理を同様に繰り返す。下位の別問題解決部において問題
が解けた場合には、その解は通信部41を介して上位の
別問題解決部に返信される。そして、上位の別問題解決
部において、その解の受信が行われる(ステップS9〜
S 11)。そして、複数の下位の別問題解決部で解決
された解は結果合成部47において、合成される(ステ
ップS L2)。そして、合成された解は上位の別問題
解決部に送信される(ステップS4)。以上のようにし
て、ある別問題解決部に問題が与えられた場合に、その
別問題解決部で解決できない場合には、問題を分解した
後、その分解された問題を下位の別問題解決部に送信す
る。そして、下位の別問題解決部で問題が解けた場合に
は、上位の別問題解決部はその解を合成して解を合成す
る。また、下位の別問題解決部で解決できない問題はさ
らに下位の別問題解決部に送られ、その解が求められる
By the way, if the separate problem solving unit 10 determines that it cannot solve the problem by itself, that is, in step S2, rN
If it is determined that the problem is OJ, the problem decomposition unit 46 decomposes the unsolvable problem into a plurality of separate problems (step S5).
). Each separate problem is then sent to the lower separate problem solving section (steps 86 to S8). Then, each separate problem solving unit that has sent the separate problem enters a waiting state (νaft). Then, when the lower-level separate problem solving section receives the sent separate problem, it similarly repeats the processing from step S1 onward in the flowchart of FIG. If the problem is solved in the lower-level separate problem-solving section, the solution is sent back to the higher-order separate problem-solving section via the communication section 41. The solution is then received by the upper-level separate problem solving unit (steps S9 to
S11). The solutions solved by the plurality of lower-level separate problem solving units are then synthesized in the result synthesis unit 47 (step S L2). The combined solution is then sent to another higher-level problem solving unit (step S4). As described above, when a problem is given to a separate problem-solving section and it cannot be solved by that separate problem-solving section, after decomposing the problem, Send to. If the problem is solved by the lower-level separate problem solving unit, the higher-order separate problem solving unit synthesizes the solutions. Further, problems that cannot be solved by the lower-level separate problem solving unit are sent to the lower-level separate problem solving unit to find the solution.

次に、協調分散型推論装置を自動車の故障診断装置に適
用した例を第4図に示しておく。第4図において、61
は最上位の別問題解決部としての診断装置である。この
診断装置61の下位の別問題解決部として燃料供給系統
の診断を行う燃料供給系統の診断装置62、蓄電系統の
診断を行う蓄電系統の診断装置64、セルモータの診断
を行うセルモータの診断装置66、点検系統の診断を行
う点検系統の診断装置67、パワートレーンの診断を行
うパワートレーンの診断装置70が接続される。さらに
、上記燃料供給系統の診断装置62には下位の別問題解
決部としてキャブレークの診断を行なうキャブレータの
診断装置63が接続される。さらに、上記蓄電系の診断
装置64には下位の別問題解決部としてバッテリの診断
を行うバッテリの診断装置65が接続される。また、点
検系統の診断装置67の下位の別問題解決部としてディ
ストリビュータの診断を行うディトスリピユータの診断
装置68、プラグの診断を行うプラグの診断装置69が
接続される。
Next, FIG. 4 shows an example in which the collaborative distributed reasoning device is applied to an automobile fault diagnosis device. In Figure 4, 61
is a diagnostic device that serves as a top-level separate problem-solving unit. A fuel supply system diagnostic device 62 that diagnoses the fuel supply system, a power storage system diagnostic device 64 that diagnoses the power storage system, and a starter motor diagnostic device 66 that diagnoses the starter motor as separate problem solving units below this diagnostic device 61. , an inspection system diagnostic device 67 that diagnoses the inspection system, and a power train diagnostic device 70 that diagnoses the power train. Furthermore, a carburetor diagnostic device 63 for diagnosing a carburetor brake is connected to the fuel supply system diagnostic device 62 as a lower separate problem solving section. Further, a battery diagnostic device 65 for diagnosing the battery is connected to the power storage system diagnostic device 64 as a lower-level separate problem solving unit. Furthermore, as separate problem solving units below the inspection system diagnostic device 67, a distributor diagnostic device 68 for diagnosing the distributor and a plug diagnostic device 69 for diagnosing the plug are connected.

このように協調分散型推論装置を構成しておくことによ
り、以下のように自動車の故障診断が行われる。最上位
の別問題解決部、つまり診断装置61に自動車の症状が
与えられると、診断が始まる。
By configuring the cooperative distributed inference device in this way, a fault diagnosis of an automobile can be performed as follows. When the symptoms of the automobile are given to another problem solving unit at the highest level, that is, the diagnostic device 61, diagnosis begins.

そして、診断装置6Lは症状を下位の診断装置で解決す
るのに適する症状に分解し、下位の診断装置に送出する
。例えば、燃料供給系統の診断にかかわりのある「エア
フィルタの内側か濡れている」などの症状を送る。
The diagnostic device 6L then breaks down the symptoms into symptoms suitable for solving by the lower-level diagnostic device, and sends them to the lower-level diagnostic device. For example, it sends symptoms such as ``The inside of the air filter is wet,'' which is related to diagnosis of the fuel supply system.

症状を受は取った下位の診断装置では自分で解決できる
時は解決し、結果を上位の診断装置に返信する。自分自
信で解けない時は、さらに下位の診断装置に適した症状
に分割して、送信する。このように問題を分割、配分し
、各診断装置に解決させた後、その結果を逆に上位の診
断装置に送り返し、故障原因の候補を絞っていく。例え
ば、診断装置61より「エアフィルタの目詰り」という
結果が戻り、診断装置64より「故障原因不明」という
結果か戻ったならば、これより「エアフィルタの目詰ま
り」という判断が診断装置61で下される。
The lower-level diagnostic device that receives the symptom solves the problem itself if it can, and sends the results back to the higher-level diagnostic device. If you cannot solve the problem yourself, divide it into symptoms that are suitable for lower-level diagnostic equipment and send them. After dividing and distributing the problem in this manner and having each diagnostic device solve the problem, the results are sent back to the higher-level diagnostic device to narrow down candidates for the cause of the failure. For example, if the diagnostic device 61 returns a result saying "air filter is clogged" and the diagnostic device 64 returns a result "failure cause unknown," then the diagnostic device 61 determines that "air filter is clogged." It will be lowered by

以上のように、多数の別問題解決部を用意して、複数の
観点から問題を解析することができるので信頼性を向上
させることができる。また、処理速度の点でも並列に問
題を解決することができるので、処理速度を向上させる
ことができる。さらに、地理的に分散しているシステム
に対しては、このような協調分散的な構成をとることに
より、通信の時間を削減でき、実質的な応答速度が得ら
れる。
As described above, reliability can be improved because a large number of separate problem solving units can be prepared and problems can be analyzed from multiple viewpoints. Furthermore, since problems can be solved in parallel in terms of processing speed, processing speed can be improved. Furthermore, for geographically dispersed systems, by adopting such a cooperative and distributed configuration, communication time can be reduced and a substantial response speed can be obtained.

また、通信路に故障か生じても、全体のシステムがダウ
ンすることは免れ、耐故障性にも優れている。
Furthermore, even if a failure occurs in the communication path, the entire system will not go down, and it has excellent fault tolerance.

[発明の効果] 以上詳述したように本発明によれば、従来のエキスパー
トシステムの欠点を排除し、問題を解決する信頼性を向
上させるようにした協調分散型推論装置を提供すること
ができる。
[Effects of the Invention] As detailed above, according to the present invention, it is possible to provide a collaborative distributed inference device that eliminates the drawbacks of conventional expert systems and improves the reliability of problem solving. .

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

第1図は本発明の一実施例に係わる協調分散型推論装置
を示すブロック図、第2図は副問題解決部の詳細な構成
をブロック図、第3図は副問題解決部の処理内容を示す
フローチャート、第4図は協調分散型推論装置を自動車
の故障診断装置に適用した例を示すブロック図、第5図
は従来のエキスパートシステムの構成を示すブロック図
である。 10〜12・・・副問題解決部、41.42・・・通信
部、43・・・制御部、44・・・問題処理部、45・
・・問題解決部、46・・・問題分解部、47・・・結
果合成部、48・・・推論部、49・・・推論エンジン
、50・・・知識ベース。
FIG. 1 is a block diagram showing a collaborative distributed inference device according to an embodiment of the present invention, FIG. 2 is a block diagram showing the detailed configuration of the sub-problem solving section, and FIG. 3 is a block diagram showing the processing contents of the sub-problem solving section. FIG. 4 is a block diagram showing an example in which the cooperative distributed reasoning device is applied to an automobile failure diagnosis device, and FIG. 5 is a block diagram showing the configuration of a conventional expert system. 10-12...Sub-problem solving unit, 41.42...Communication unit, 43...Control unit, 44...Problem processing unit, 45.
...Problem solving unit, 46...Problem decomposition unit, 47...Result synthesis unit, 48...Inference unit, 49...Inference engine, 50...Knowledge base.

Claims (1)

【特許請求の範囲】[Claims] 与えられた問題を解決する問題解決部、問題を副問題に
分解する問題分解部、副問題を解いた結果を合成する結
果合成部からなり知識ベースと推論エンジンを備える問
題処理部と、他の副問題解決部と情報を交換するための
通信部と、副問題解決部の動作を制御する制御部とを有
する副問題解決部を複数有し、該副問題解決部を段階的
に結合することにより、問題を協調的に解決することを
特徴とする協調分散型推論装置。
The problem processing unit includes a problem solving unit that solves a given problem, a problem decomposition unit that decomposes the problem into subproblems, a result synthesis unit that synthesizes the results of solving the subproblems, and a problem processing unit that has a knowledge base and an inference engine. A plurality of sub-problem solving units each having a communication unit for exchanging information with the sub-problem solving unit and a control unit controlling the operation of the sub-problem solving unit, and the sub-problem solving units are coupled in stages. A collaborative distributed inference device characterized by solving problems collaboratively.
JP1317865A 1989-12-08 1989-12-08 Cooperative decentralized type inference device Pending JPH03179527A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1317865A JPH03179527A (en) 1989-12-08 1989-12-08 Cooperative decentralized type inference device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1317865A JPH03179527A (en) 1989-12-08 1989-12-08 Cooperative decentralized type inference device

Publications (1)

Publication Number Publication Date
JPH03179527A true JPH03179527A (en) 1991-08-05

Family

ID=18092922

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1317865A Pending JPH03179527A (en) 1989-12-08 1989-12-08 Cooperative decentralized type inference device

Country Status (1)

Country Link
JP (1) JPH03179527A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7512660B2 (en) 1997-06-10 2009-03-31 International Business Machines Corporation Message handling method, message handling apparatus, and memory media for storing a message handling apparatus controlling program

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7512660B2 (en) 1997-06-10 2009-03-31 International Business Machines Corporation Message handling method, message handling apparatus, and memory media for storing a message handling apparatus controlling program
US8949309B2 (en) 1997-06-10 2015-02-03 International Business Machines Corporation Message handling method, for mobile agent in a distributed computer environment

Similar Documents

Publication Publication Date Title
US8036789B2 (en) System, method and computer program product for real-time event identification and course of action interpretation
US6714844B1 (en) Vehicle communication system with display/control unit
EP0768584B1 (en) Method for monitoring a machine or plant
CN111860853B (en) Online prediction system, device, method and electronic device
Flitman et al. Linking discrete-event simulation models with expert systems
JPH03179527A (en) Cooperative decentralized type inference device
McClamrock Holism without tears: local and global effects in cognitive processes
JPS62281051A (en) Fault diagnosing device for vehicle
JPS60100231A (en) System constitution control system of information processor
JPS61114345A (en) Diagnosis system of information processor
JPH0245832A (en) Operation expert system
JPS63293643A (en) Cooperative type inference device
JPS63284641A (en) Expert trouble diagnosis system
JPS6225234A (en) Fault diagnosing device for vehicle
de Koning et al. Using GDE in Educational Systems.
Reuss et al. Case-Based Decision Support on Diagnosis and Maintenance in the Aircraft Domain.
JPS63257054A (en) Fault diagnosing system
JPH06161760A (en) System diagnostic device
JPH05224933A (en) Split inference device
JPH0581062A (en) Board diagnostic expert system
JPH0379445A (en) Failure diagnostic device for automobile
Karamouzis et al. Case-based approach to handling aircraft malfunctions
JPH0887412A (en) System and method for generating fault causality
Besnard et al. " Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems"; Vortrag: Paraconsistent Computational Logic (PCL 2002), Copenhagen, Denmark; 27.07. 2002; in:" Proceedings of the ICLP 2002 Workshop Paraconsistent Computational Logic", H. Decker, J. Villadson, T. Waragai (Hrg.); Volume 95 of Datalogiske Skrifter, Roskilde, Denmark (2002), S. 1-15.
Doubek et al. FA Patterson-Hine Mark A. Boyd David L. Iverson NASA Ames Research Center Moffett Field, CA Brian Donne11 Janet Lauritsen NASA Johnson Space Center