JPS62159220A - Backward reasoning system - Google Patents
Backward reasoning systemInfo
- Publication number
- JPS62159220A JPS62159220A JP61000550A JP55086A JPS62159220A JP S62159220 A JPS62159220 A JP S62159220A JP 61000550 A JP61000550 A JP 61000550A JP 55086 A JP55086 A JP 55086A JP S62159220 A JPS62159220 A JP S62159220A
- Authority
- JP
- Japan
- Prior art keywords
- knowledge
- display
- inference
- hypothesis
- user
- 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
Landscapes
- Devices For Executing Special Programs (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
Description
【発明の詳細な説明】
〔発明の利用分野〕
本発明は後向き推論における知識ベースの使用方式に関
し、特に証明の根拠や推論の過程、あるいは以後の推論
に用い得る知識等を表示し、使用者の利用に供するよう
にした後向き推論方式に関するものである。[Detailed Description of the Invention] [Field of Application of the Invention] The present invention relates to a method of using a knowledge base in backward reasoning, and in particular displays the basis of proof, the process of reasoning, or knowledge that can be used for subsequent reasoning, and This invention relates to a backward inference method that can be used for.
従来の後向き推論における知識の縦型探索の探索枝選択
方式に関し、従来は、知識ベースの上位にあるものから
選択する方式や、評価関数を設けその評価値に従って選
択する方式等、推論装置が自動的に決定する如く構成さ
れているものが多かった。このうちで、推論装置の使用
者が知識ベースを指示する方式としては、ＤＥＣ−１０
，ＰＲ○ＬＯＧシステムのデバッグモードのｆ、ｓコマ
ンドがあるが、これらは、使用者が選択の拒否を指示す
るコマンドであり、ｇ索枝を選ぶことはできなかった。Regarding the search branch selection method for vertical knowledge search in conventional backward inference, conventional inference devices automatically select methods such as selecting from the top of the knowledge base, or setting an evaluation function and selecting according to the evaluation value. Many of them were structured in such a way that they were determined based on Among these, DEC-10 is the method by which the user of the inference device instructs the knowledge base.
, f, and s commands in the debug mode of the PR○LOG system, but these are commands that the user instructs to refuse selection, and cannot select the g branch.
上記コマンドの詳細に関しては、ニシンバラ大学のり、
Ｌ、ボウエンによる“ＤＥＣシステム−１０，ＰＲＯＬ
ＯＧ使用者マニュアル″（Ｄ、 Ｌ、 Ｂｏｗｅｎ、”
ＤＥＣｓｙｓｔｅｍ−１０，ＰＲ○−ＬＯＧ ＵＳ
ＥＲ８ＭＡＮＵＡＬ”） Ｐ２Ｏ〜２３ にｉ２載
されている通りである。For details on the above commands, please refer to Nishinbara University Nori,
“DEC System-10, PROL” by L. Bowen
OG User Manual” (D, L, Bowen, “
DECsystem-10,PR○-LOG US
ER8MANUAL") P2O~23 as listed in i2.
上記方式においては、どのような選択枝が幾つあるのか
、使用者にはわからないという問題があり、また、一度
拒否した探索枝を後に選択することができないという問
題もあった。In the above method, there is a problem that the user does not know what kind of options there are and how many options there are, and there is also a problem that a search option that has been rejected cannot be selected later.
また、これとは別に、後向き推論における推論の過程を
知りたいという要望がある。従来の後向き推論方式で推
論の過程を知るためには、例えばＥＭＹＣＩＮシステム
のＷＨＶコマンドやＨＯＷコマンドの如きコマンドを推
論装置の使用者が入力しそ、証明に使用された知識を調
査するようになっていた。Apart from this, there is also a desire to know the reasoning process in backward reasoning. In order to understand the inference process using the conventional backward inference method, the user of the inference device inputs a command such as the WHV command or HOW command of the EMYCIN system, and then investigates the knowledge used in the proof. Ta.
上記ＥＭＹＣＩＮシステムのＷＨＶコマンドやＨＯＷコ
マンドの詳細に関しては、スタンフォード大学のウィリ
アム・ファン・メール等による”ＥＭＹＣＩＮマニュア
ル”（Ｗｉｌｌｉａｍ ｖａｎ Ｍｅｌｌｅａｔ ａｌ
、 ”Ｔｈｅ Ｅ Ｍ Ｙ ＣＩ Ｎ Ｍａｎｕａｌ
”） ｐ７５〜７７に記載されている通りである。For details on the WHV command and HOW command of the EMYCIN system, see the "EMYCIN Manual" by William van Melleat et al. of Stanford University.
, ”The EMY CI N Manual
”) As described on pages 75-77.
上記方式は、使用者が要求したときに、推論の一部分が
出力されるというものであり、また、知識の表示の形式
も１図形の如き視覚的なものではないため、推論におけ
る段階的な進行の前後関係がわかり難いという問題があ
った。In the above method, a part of the inference is output when the user requests it, and the form of knowledge display is not visual like a single figure, so the step-by-step progress in the inference is not possible. The problem was that it was difficult to understand the context.
本発明の目的は、従来の後向き推論方式における上述の
如き問題を解消し、推論の各段階で使用する探索枝の選
択を何らかのルールに従って自動的に行うのではなく、
推論装置の使用者の指示で行うようにして、非定型的な
推論が可能となるようにした後向き推論方式を提供する
ことにある。The purpose of the present invention is to solve the above-mentioned problems in conventional backward inference methods, and instead of automatically selecting search branches to be used at each stage of inference according to some rules,
An object of the present invention is to provide a backward inference method that enables non-routine inference by being instructed by a user of an inference device.
また、本発明の他の目的は、使用者が容易に推論動作の
前後関係を理解できる形式での経過を表示しながら推論
を進めるようにした後向き推論方式を提供することにあ
る。Another object of the present invention is to provide a backward inference method in which the inference is advanced while displaying the progress in a format that allows the user to easily understand the context of the inference operation.
本発明の上記目的は、知識ベースと、後向き推論演算手
段および入出力手段を有する推論装置において、前記知
識ベースの個々の知識を、次段階以降の推論に使用する
知識の探索枝として編集・出力する演算表示手段を設け
て、推論実行における各段階で前記演算表示手段にその
編集結果を表示させ、該表示ト；基づく使用者の選択を
受入れる如く構成したことを特徴とする後向き推論方式
に以ｒ、小児男をでの失雁例に基づき詳州に説明する。The above-mentioned object of the present invention is to provide an inference device having a knowledge base, a backward inference calculation means, and an input/output means, in which individual knowledge of the knowledge base is edited and output as search branches of knowledge to be used for inference at the next stage and thereafter. The backward inference method is characterized in that the calculation display means is provided to display the edited results at each stage in the execution of the inference, and the user's selection based on the display table is accepted. R, I will explain to Shoshu based on the case of a missing wild goose in the case of a child.
第１図は本発明の一実施例である推論装置を示すブロッ
ク構成図である。図において、１は入力装置、２はディ
スプレイ、３Ａは比較演算部４゜知識選択部５および知
識表示部６を含む中央処理装置、７Ａは知識格納部８を
含むメモリである。FIG. 1 is a block diagram showing an inference device which is an embodiment of the present invention. In the figure, 1 is an input device, 2 is a display, 3A is a central processing unit including a comparison calculation unit 4, a knowledge selection unit 5, and a knowledge display unit 6, and 7A is a memory including a knowledge storage unit 8.
入力装置１から入力したデータ（仮説）に対し、中央処
理袋［３Ａの比較演算部４において仮説の証明に使用す
る知識を捜し、知識表示部６にて求められた知識をディ
スプレイ２に表示する。With respect to the data (hypothesis) input from the input device 1, the comparison calculation unit 4 of the central processing bag [3A searches for knowledge to be used to prove the hypothesis, and the knowledge display unit 6 displays the sought knowledge on the display 2. .
知識選択部５では１表示された知識の内から探索枝の選
択を促す指示等をディスプレイ２に表示し、入力装［１
から入力される使用者の指示を受け１次の探索を行うた
め新しい仮説を設定する。The knowledge selection unit 5 displays on the display 2 an instruction to prompt the selection of a search branch from among the displayed knowledge items, and the input device [1
A new hypothesis is set in order to perform the first search in response to the user's instructions input from the .
次に、第２図のブローチヤードにより１本実施例の制御
手順を説明する。ステップ１０１では後向き推論で証明
する仮説を証明できる知識がメモリ７Ａの知識格納部８
にあるか否かを調べる。これは中央処理装置！３Ａの比
較演算部４で行う。そのような知識がなかった場合には
知識探索による証明は終了する。上記仮説を証明できる
知識があった場合には、ステップ１０２でそれらをディ
スプレイ２に表示する。これは中央処理装置３Ａの知識
表示部６で行う。Next, the control procedure of this embodiment will be explained using the broach yard shown in FIG. In step 101, the knowledge that can prove the hypothesis to be proved by backward inference is stored in the knowledge storage section 8 of the memory 7A.
Check to see if it exists. This is a central processing unit! This is performed by the comparison calculation section 4 of 3A. If there is no such knowledge, the proof by knowledge search ends. If there is knowledge that can prove the above hypothesis, it is displayed on the display 2 in step 102. This is performed by the knowledge display section 6 of the central processing unit 3A.
次に、ステップ１０３で上述の捜し出された知識の内か
ら、どれを使用して証明を行うかを指示するよう使用者
に要求を出し、使用者の指示を受付ける。使用者への要
求はディスプレイ２にメツセージを出力して行う。使用
者は入力装＠１から指示を入力する。これらは、中央処
了装［３Ａの知識選択部５で行う。この選択で、知識探
索が縦方向に一段階進んだことになる。Next, in step 103, a request is made to the user to instruct which of the above-mentioned found knowledge should be used for proof, and the user's instruction is accepted. The request to the user is made by outputting a message on the display 2. The user inputs instructions from the input device @1. These are performed by the knowledge selection unit 5 of the central processing unit [3A]. With this choice, the knowledge search advances one step in the vertical direction.
ステップ１０４で新たに仮説を設定し、証明を行う、こ
こで、再び、ステップ１０１からの制御が繰返される。In step 104, a new hypothesis is set and proven, and the control from step 101 is repeated again.
ステップ１０５で証明が成功したか否かを判定し、成功
すれば終了する。そうでなければステップ１０２の知識
表示以下の処理を再び行う。In step 105, it is determined whether the proof is successful or not, and if it is successful, the process ends. If not, the process following the knowledge display in step 102 is performed again.
第３図（ａ）、（ｂ）はＩ Ｆ−ＴＨＥＮ形式のプロダ
クションルールを対象とした知識選択の例を示すもので
ある。第３図（ａ）の例では、ルール２０１〜２０３、
事実２０４が知識格納部８に格納されているデータであ
る。FIGS. 3(a) and 3(b) show examples of knowledge selection targeting IF-THEN format production rules. In the example of FIG. 3(a), rules 201 to 203,
Fact 204 is data stored in the knowledge storage unit 8.
仮説Ａの証明を後向き推論する場合の知識探索ツリーが
第３図（ｂ）に示すツリー図２０５である。A knowledge search tree for backward reasoning to prove hypothesis A is a tree diagram 205 shown in FIG. 3(b).
本実施例による後向き推論では、仮説Ａを証明する場合
、Ｔ ｈｅｎ部に上記仮説Ａを含むルールを全部捜す。In the backward reasoning according to this embodiment, when proving hypothesis A, all rules containing the hypothesis A in the then part are searched.
第３図（ａ）におけるルール２０１． ２０２゜２０３
がこれにあたる、これらがツリー図２０５ではＡの下位
の３本の探索枝に相当する。Rule 201 in FIG. 3(a). 202゜203
These correspond to the lower three search branches of A in the tree diagram 205.
使用者がこの内から１つを選択すると、そのルールに従
って次の仮説が設定される。ルール２０２を選択した場
合には、Ｉｆ部のＣが次の仮説であり、今度はＣをＴｈ
ｅｎ部に含むルールをすべて捜すことになる。When the user selects one of these, the next hypothesis is set according to that rule. If rule 202 is selected, C in the If part is the next hypothesis, and this time C is Th.
All rules included in the en section will be searched.
次に、矛盾を含んだ知識ベースを対象とした場合の実施
例を第４図（ａ）、（ｂ）により説明する。Next, an example in which a knowledge base containing contradictions is targeted will be described with reference to FIGS. 4(a) and 4(b).
第４図（ａ）に示すルール３０１〜３０５．事実３０６
が知識格納部８に格納されている知識であり、仮説Ａ証
明のための知識探索ツリーが第４図（ｂ）のツリー図３
０７である。ここで、ルール３０１を選択すると仮説は
已になる。Ｂを証明する知識はルール３０４であり、従
って仮説はＥになる。Rules 301 to 305 shown in FIG. 4(a). Fact 306
is the knowledge stored in the knowledge storage unit 8, and the knowledge search tree for proving hypothesis A is the tree diagram 3 in FIG. 4(b).
It is 07. Here, if rule 301 is selected, the hypothesis becomes true. The knowledge that proves B is rule 304, so the hypothesis becomes E.
しかし、Ｅを証明する知識はルール３０５であるがルー
ル３０５のＩｆ部はＡであるため、再び仮説がＡになっ
てしまい、以後、ルール３０１． ３０４゜３０５で仮
説の設定を繰返すだけである。これはルール３０１．
３０４． ３０５のいずれかに矛盾があるため生じたこ
とであるが、最初にルール３０１でなく３０３で推論を
行えば、Ｉｆ部のＤが事実であるので証明が成功したは
ずである。However, the knowledge that proves E is rule 305, but the If part of rule 305 is A, so the hypothesis becomes A again, and from now on, rule 301. It is only necessary to repeat the hypothesis setting in steps 304 and 305. This is Rule 301.
304. This happened because there was a contradiction in one of the rules 305, but if the inference had been made using rule 303 instead of rule 301 first, the proof would have been successful because D in the If part is true.
本実施例の方式によれば、知識の探索状況がディスプレ
イ２に表示されるので、上述の如き探索の無限ループ状
態に陥ったことがすぐわかる。また、このような知識ベ
ースを使用した場合でも、使用者の知識の選択によって
は、証明を成功させることが可能である。According to the method of this embodiment, since the knowledge search status is displayed on the display 2, it is immediately clear that the user has fallen into the infinite search loop as described above. Furthermore, even when such a knowledge base is used, it is possible to achieve a successful proof depending on the user's selection of knowledge.
第５図は先に第３図で説明した実施例の、ディスプレイ
２上の入出力例を示すものである。ディスプレイ画面４
０１上の出力４０２は仮説Ａを証明することができる知
識の表示である。出力４０３は知識選択を促すメツセー
ジであり、入力４０４は使用者が選択した知識である。FIG. 5 shows an example of input/output on the display 2 in the embodiment previously explained in FIG. Display screen 4
Output 402 on 01 is an indication of knowledge that can prove hypothesis A. Output 403 is a message prompting knowledge selection, and input 404 is knowledge selected by the user.
この例では、この知識では証明できず、再度、出力４０
５で知識の表示。In this example, we cannot prove it with this knowledge and again, the output is 40
5 shows knowledge.
出力４０６で指示要求メツセージ、入力４０７で知識選
択を行っている。The output 406 is an instruction request message, and the input 407 is knowledge selection.
本実施例に示した推論方式は、ソフトウェアまたは専用
処理装置等のハードウェア、いずれによっても実施可能
である。The inference method shown in this embodiment can be implemented by either software or hardware such as a dedicated processing device.
上記実施例によれば、後向き推論を知識ベース内の知識
の順序や知識評価の結果等に関係なく、使用者が使用す
る知識を指示しながら行うことが可能になるので、推論
における知識探索の道筋が良くわかるという効果がある
。また、矛盾を含む知識ベースに対して、矛盾点の発見
や修正が容易になるという効果もある。According to the above embodiment, it becomes possible for the user to perform backward reasoning while instructing the knowledge to be used, regardless of the order of knowledge in the knowledge base or the results of knowledge evaluation. This has the effect of making it easier to understand the route. It also has the effect of making it easier to discover and correct inconsistencies in a knowledge base that includes inconsistencies.
第６図は上記実施例に付加的に用いるに好適な推論装置
の実施例を示すブロック構成図である。FIG. 6 is a block diagram showing an embodiment of an inference device suitable for use in addition to the above embodiment.
第６図において、記号１，２．４および８は先に第１図
に示したと同じ構成要素を示している。また、記号３Ｂ
、７Ｂは第１図に示した３Ａ、７Ａと類似の構成要素を
示している。In FIG. 6, symbols 1, 2.4 and 8 indicate the same components as previously shown in FIG. Also, symbol 3B
, 7B indicate components similar to 3A and 7A shown in FIG.
すなわち、第６図において、１は入力装置、２はディス
プレイ、３Ｂは比較演算部４．知識表示図作成部９１図
出力位置演算部１０を含む中央処理装置、７Ｂは知識格
納部８２図出力位置格納部１１を含むメモリである。That is, in FIG. 6, 1 is an input device, 2 is a display, and 3B is a comparison calculation unit 4. A central processing unit includes a knowledge display diagram creation unit 91 and a diagram output position calculation unit 10, and 7B is a memory that includes a knowledge storage unit 82 and a diagram output position storage unit 11.
入力装置１から入力したデータに対し、中央処理装置３
Ｂの比較演算部４においてデータの証明の演算（後向き
推論）を行い、知識表示図作成部９において証明に使用
した知識の図を作成する。The central processing unit 3 receives data input from the input device 1.
The comparison calculation unit 4 of B performs a calculation for proof of data (backward inference), and the knowledge display diagram creation unit 9 creates a knowledge diagram used for the proof.
また、図出力位置演算部１０では作成した知識の図をデ
ィスプレイ２上のどこに出力するかを演算する。メモリ
７Ｂの知識格納部８には後向き推論に使用する知識が格
納されており、図出力位置格納部１１には図出力位置を
演算するために、ディスプレイ出力されている図とその
出力位置に関する情報が格納されている。Further, the diagram output position calculating section 10 calculates where on the display 2 the created knowledge diagram should be output. The knowledge storage unit 8 of the memory 7B stores knowledge used for backward inference, and the diagram output position storage unit 11 stores information regarding the diagram being displayed and its output position in order to calculate the diagram output position. is stored.
次に、第７図のフローチャートにより、本実施例の制御
手順を説明する。ステップ５０１では後向き推論の対象
となる仮説を証明する知識がメモリ７Ｂの知識格納部８
にあるか否かを調べる。これは中央処理袋［３Ｂの比較
演算部４で行う。Next, the control procedure of this embodiment will be explained with reference to the flowchart shown in FIG. In step 501, the knowledge that proves the hypothesis that is the target of backward inference is stored in the knowledge storage section 8 of the memory 7B.
Check to see if it exists. This is performed by the comparison calculation section 4 of the central processing bag [3B.
第１段階の推論では、入力装置１より入力したデータが
仮説である。仮説を証明する知識があれば、ステップ５
０２でその知識の表示図を、中央処理装置３Ｂの知識表
示図作成部９にて作成する。In the first stage of inference, the data input from the input device 1 is a hypothesis. If you have the knowledge to prove the hypothesis, step 5
In step 02, a knowledge display diagram is created by the knowledge display diagram creation section 9 of the central processing unit 3B.
次に、ステップ５０３で前段階の推論で出力した知識表
示図のディスプレイ２上の位置から、これと今回作成し
た表示図とがうまくつながる位置を演算し、そこに上記
今回作成した表示図を出力する。この演算は中央処理装
置３Ｂの図出力位置演算部１０で、メモリ７Ｂの図出力
位置格納部１１に格納されている情報を使用して行う。Next, in step 503, from the position on the display 2 of the knowledge display diagram output in the previous stage of reasoning, calculate the position where this and the display diagram created this time connect well, and output the display diagram created this time above there. do. This calculation is performed by the diagram output position calculation unit 10 of the central processing unit 3B using information stored in the diagram output position storage unit 11 of the memory 7B.
ステップ５０４で演算した出力位置の情報をメモリ７Ｂ
の上記格納部１１に格納し、ステップ５０５で次に証明
する仮説を設定し、再び、ステップ５０１からの動作を
繰返す。この繰返しで、推論が一段階ずつ進む。The output position information calculated in step 504 is stored in the memory 7B.
The hypothesis to be proven next is set in step 505, and the operations from step 501 are repeated again. By repeating this process, the inference progresses one step at a time.
第８図（ａ）、（ｂ）は上記知識表示図作成部９の実施
例である。本実施例では、ＩＦ−ＴＨＥＮ形式のプロダ
クションルールを対象としている。ルールはメモリ７Ｂ
の知識格納部８に格納されている。第８図（ａ）に示す
一例であるルール６０１は、該ルールの識別子６０２１
条件を表わすＩＦ部６０３および６０４．結果を表わす
ＴＨＥＮ部から成っている。FIGS. 8(a) and 8(b) show an embodiment of the knowledge display diagram creating section 9. FIG. In this embodiment, an IF-THEN format production rule is targeted. The rule is memory 7B
The information is stored in the knowledge storage unit 8 of . The rule 601, which is an example shown in FIG. 8(a), has an identifier 6021 of the rule.
IF sections 603 and 604 that represent conditions. It consists of a THEN section that represents the result.
第８図（ｂ）に示すルール６０１の表示図６０６は、識
別子６０２の表示６０７を中心に、ＩＦ部の６０３゜６
０４をそれぞれ右側の位置６０８． ６０９に、ＴＨＥ
Ｎ部の６０５を左側の位置６１０に描く。このようにし
て、知識表示図が作成される。The display diagram 606 of the rule 601 shown in FIG. 8(b) is centered around the display 607 of the identifier 602, and the
04 to the right position 608. 609, THE
Draw part N 605 at position 610 on the left. In this way, the knowledge display diagram is created.
第９図は上記ルールの表示図をディスプレイ２の画面７
０１に出力した例である１本出力例は仮説７０２を証明
する例であり、証明に使用したルールの図がルール図７
０３である１次に、ルール７０３のＩＦ部７０４が仮説
になり、その証明に使用するルールの図が）レール図７
０５である。このつながりがわかるように、ルール図７
０３のＩＦ部７０４とルール図７０５のＴＨＥＮ部７０
４が重なるように出力するところが要点である。Figure 9 shows a display diagram of the above rules on screen 7 of display 2.
The single output example output in 01 is an example of proving hypothesis 702, and the diagram of the rule used for the proof is rule diagram 7.
03, the IF part 704 of rule 703 becomes a hypothesis, and the diagram of the rule used to prove it is rail diagram 7
It is 05. To help you understand this connection, please use Rule Diagram 7.
IF section 704 of 03 and THEN section 70 of rule diagram 705
The key point is to output so that 4 overlap.
なお、上記実施例に示した推論方式は、ソフトウェアま
たは専用処理装置等のハードウェア、いずれによっても
実施可能である。Note that the inference method shown in the above embodiment can be implemented by either software or hardware such as a dedicated processing device.
上記実施例によれば、後向き推論を途中経過をディスプ
レイに出力しながら行うことが可能になるので、証明に
おける試行錯誤や推論の前後関係等が良くわかるという
効果がある。また、推論終了時に、推論の全過程を説明
する知識の関係図ができるという効果もある。According to the embodiment described above, it is possible to perform backward inference while outputting the intermediate progress on the display, so that trial and error in the proof, the context of the inference, etc. can be clearly understood. Another effect is that when the inference is completed, a knowledge relationship diagram that explains the entire process of inference can be created.
以上述べた如く、本発明によれ１義、知識ベース内の知
識の順序や知識評価に無関係に、推論の次段階で使用す
る知識を表示するようにしたので。As described above, according to the present invention, knowledge to be used in the next stage of inference is displayed regardless of the order of knowledge in the knowledge base or knowledge evaluation.
後向き推論方式による推論装置の使用者が、使用者の有
する知識を有効に利用しながら推論を進めることができ
るという顕著な効果を奏するものである。また、推論動
作の途中経過を表示するようにした場合には、証明にお
ける試行錯誤や推論の前後関係を容易に理解できるとい
う効果を奏するものである。This has the remarkable effect that a user of an inference device using a backward inference method can proceed with inference while effectively utilizing the knowledge that the user has. Further, when the progress of the inference operation is displayed, it is possible to easily understand the trial and error in the proof and the context of the inference.
第１図は本発明の一実施例である推論装置を示すブロッ
ク構成図、第２図はその制御手順を示すフローチャート
、第３図、第４図は／ｘＪ識表示図の一例を示す図、第
５図はディスプレイ出力の一例を示す図、第６図は第１
図に示した実施例に付加的に用いるに好適な装置を示す
ブロック構成図、第７図はその制御手順を示すフローチ
ャート、第８図は知識表示図の一例を示す図、第９図は
ディスプレイ出力の一例を示す図である。
に入力装置、２：ディスプレイ、３Ａ、３Ｂ：中央処理
装置、４：比較演算部、５：知識選択部、６：知識表示
部、７Ａ、７Ｂ：メモリ、８：知識格納部、９：知識表
示図作成部、ＩＯ二図出力位置演算部、１１：図出力位
置格納部。FIG. 1 is a block configuration diagram showing an inference device which is an embodiment of the present invention, FIG. 2 is a flowchart showing its control procedure, FIGS. 3 and 4 are diagrams showing an example of /xJ identification diagram, Figure 5 is a diagram showing an example of display output, Figure 6 is a diagram showing an example of display output.
FIG. 7 is a flowchart showing the control procedure, FIG. 8 is an example of a knowledge display diagram, and FIG. 9 is a display. It is a figure which shows an example of an output. Input device, 2: Display, 3A, 3B: Central processing unit, 4: Comparison calculation unit, 5: Knowledge selection unit, 6: Knowledge display unit, 7A, 7B: Memory, 8: Knowledge storage unit, 9: Knowledge display Diagram creation section, IO2 diagram output position calculation section, 11: Diagram output position storage section.
Claims (1)
手段を有する推論装置において、前記知識ベースの個々
の知識を、次段階以降の推論に使用する知識の探索枝と
して編集・出力する演算表示手段を設けて、推論実行に
おける各段階で前記演算表示手段にその編集結果を表示
させ、該表示に基づく使用者の選択を受入れる如く構成
したことを特徴とする後向き推論方式。(1) In an inference device having a knowledge base, a backward inference calculation means, and an input/output means, a calculation display means for editing and outputting each piece of knowledge in the knowledge base as a search branch of knowledge to be used in subsequent stages of inference. A backward inference method, characterized in that the editing result is displayed on the calculation display means at each stage in the execution of the inference, and the user's selection based on the display is accepted.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61000550A JPS62159220A (en) | 1986-01-08 | 1986-01-08 | Backward reasoning system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61000550A JPS62159220A (en) | 1986-01-08 | 1986-01-08 | Backward reasoning system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS62159220A true JPS62159220A (en) | 1987-07-15 |
Family
ID=11476828
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP61000550A Pending JPS62159220A (en) | 1986-01-08 | 1986-01-08 | Backward reasoning system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS62159220A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2018073015A (en) * | 2016-10-26 | 2018-05-10 | ナレルシステム株式会社 | Searching tree pruning method, computer program and apparatus |
-
1986
- 1986-01-08 JP JP61000550A patent/JPS62159220A/en active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2018073015A (en) * | 2016-10-26 | 2018-05-10 | ナレルシステム株式会社 | Searching tree pruning method, computer program and apparatus |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JPH05233239A (en) | Automatic program formation device | |
| JPS62159220A (en) | Backward reasoning system | |
| JPH0685178B2 (en) | Conversational image processing device | |
| CN110427183B (en) | Graphical function editing method and device and configuration software | |
| JP2824071B2 (en) | Optimal design support method | |
| JP2003150890A (en) | Plant dynamic characteristic model construction system and construction method and plant dynamic characteristic simulator | |
| JPH0747209B2 (en) | Welding condition automatic setting device | |
| JPH0448301A (en) | Knowledge generator for system to be controlled | |
| JPH0581355A (en) | Design procedure supporting device | |
| JPH04326111A (en) | Information operation assisting device | |
| JP2815270B2 (en) | CAD system with dimension line editing function | |
| JP3154888B2 (en) | How to determine machining order | |
| JP2872024B2 (en) | Problem generator | |
| JP2754533B2 (en) | Flow chart creation device | |
| JPH0648483B2 (en) | Simulation model generator | |
| JPH08235239A (en) | Rule base preparation device for automatic modeling device | |
| JPS6289105A (en) | Programmable controller | |
| JP2564629B2 (en) | Image processing device | |
| JPH05127727A (en) | Device operating method | |
| JPH0784620A (en) | Conversion processing method for tool route information | |
| JP2002082984A (en) | Device and method for retrieving data base | |
| JPH07271588A (en) | Knowledge input method for example base inference | |
| JP2783664B2 (en) | Power system equipment data input device | |
| JPH03269754A (en) | I/o configuration information generating system | |
| JPH06105410B2 (en) | Shape definition method in numerical control information creation function |