JPH02156331A

JPH02156331A - 判断補助方法および装置

Info

Publication number: JPH02156331A
Application number: JP63308854A
Authority: JP
Inventors: Yutaka Yoshiura; 裕吉浦; Shiyouichi Masui; 増位　庄一; Kikuo Yoshimura; 吉村　紀久雄
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1988-12-08
Filing date: 1988-12-08
Publication date: 1990-06-15

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】〔産業上の利用分野〕本発明は、推論マシン又はエキスパートシステムのよう
な、特定のルール群に基づいて問題に関する判断を行な
うデータ処理システムに関し、特に、専門家の代行とい
うよりも専門家の助手として利用するのに適した、この
種のシステムに関する。

〔従来の技術〕

まず、推論マシンについて概略を説明する。推論マシン
は、対象とする分野の知識をルール群の形で受取り、記
憶する。利用者が、自分の解決したい問題をデータの形
で推論マシンに入力すると、推論マシンは、前記のルー
ル群を用いて、指定された推論を行う。従来の推論マシ
ンは、情報処理学会誌、第２６巻、第１２号（１９８５
年）、第１４８７頁から第１４９６頁に論じられている
ように、以下の２種類の推論を行うことができる。

（１）証明処理問題と、それに対する利用者の解答を入力して、利用者
の解答の正誤を判定する。具体的には、問題を表わすデ
ータと、利用者の解答を入力して、前者からルール群を
介して後者が矛盾なく導けるかどうかを検証する。以下
、問題に対する利用者の解答を、利用者の「予想解」と
呼ぶことにする。

証明処理は、予想解の検証を行う処理である。

（２）導出処理問題を入力して、それに対する解答を新たに導出する。

具体的には、問題を表わすデータを入力して、このデー
タからルール群を介して解答を導出する。

例えば、医療診断システムにおいては、体温が３７．５
℃、顔色が青白いなどの症状を問題データとしと、風邪
という病名を予想解として受けて、利用者の予想解が正
しいかどうかをデータとルール群から検証するのが、証
明処理である。一方、これらのデータとルール群から、
風邪、インフルエンザなどの病名を新たに推定するのが
、導出処理である。

専門家が行っている知的業務を推論マシンに代行させる
試みが、１９７０年頃から進められてきた。しかし、多
くの適用実験の結果、計算機化に適した一部の分野を除
くと、専門家の知的業務を完全に代行しうる推論マシン
の開発は困難であることが明らかになってきた。

そこで近年、推論マシンを、専門家の代行ではなく、助
手として利用することが考慮されるようになってきた。

推論マシンを専門家の助手として利用する場合には、専
門家の代行として利用する場合とは異なる機能が要求さ
れる。助手としての推論マシンには、自ら主導権を持っ
て結論を下す機能ではなく、専門家の判断を補う機能が
必要である。つまり、専門家の判断を検証するとともに
、早計や見落としを防いで最も妥当な結論に導くために
、助言として別解や対抗解を示す機能が必要である。

このような機能は、部分的には、証明処理又は導出処理
を個々に用いるだけで実現できる。例えば、証明処理に
よれば、状況をデータとし、それに対する専門家の判断
を予想解として入力し、専門家の判断を検証することが
できる。また、導出処理によれば、状況をデータとして
入力し、いくつかの可能な判断を出力することができる
。

〔発明が解決しようとする課題〕

しかしながら、従来技術は、個々の部分的な機能を提供
するのみであり、これらを統合して助手システムとして
十分な機能を提供することはできなかった。すなわち、
必要な機能が適宜自動的に起動されるのではなく、専門
家が自分で必要な機能を選択して、それらを個々に起動
しなければならなかった。そのため、助手として実際に
利用するときに、以下の不便があった。

まず、専門家の早計や見落としを指摘する機能が弱い、
専門家の判断を検証し、正しいと判断した場合、有能な
助手としては、専門家の判断に賛成を表明するだけでな
く、他の可能な判断（別解）を探索し、もしあれば、こ
れを示すべきである。

例えば、医師が患者の症状から′風邪′と判断し。

この検証を助手システムに依頼した場合、助手システム
は、医師の判断に誤りが発見できない時でも、更に他の
病気の可能性を探すべきである。ところが、従来技術で
は、専門家が証明処理を用いて判断を検証し、賛成の回
答を得た時に、専門家が用心深くも別の可能性を求めて
導出処理を新たに起動しない限り、システムは何もしな
い、したがって、専門家の見落としを自動的に防止する
ことができない０例えば、患者の症状から′風邪′以ガ
に′結核′が考えられる場合にも、システムが自発的に
これを指摘することはない。

また、専門家の判断の誤りに対して積極的に助言する機
能もない、専門家の判断を検証し、誤りと判断した場合
、有能な助手としては、反対を表明するだけでなく、自
分の判断（対抗解）を示すべきである。しかし、従来技
術では、システムは、単に反対を表明するだけであり、
自分の判断は示さない、専門家は、対抗解を得るために
、改めて導出処理を起動しなければならない、このよう
なシステムは、助手として極めて不親切である。

以上のように、従来技術は、専門家の助手として利用す
るための十分な機能を提供することができず、助手とし
て役立てるには、専門家側の注意と重複的な操作とが必
要であった。

本発明の目的は、専門家の判断を検証するとともに、別
解又は対抗解を自発的に提示し、それにより、専門家の
早計や見落としを防ぎ、あるいは正解への具体的な示唆
を与える機能を持ち、助手として極めて有能で、かつ、
操作にむだのない、判断補助システムを提供することに
ある。

〔課題を解決するための手段〕

本発明は、起動命令に応じて証明処理を遂行するととも
に、証明処理と連動して導出処理を起動する。証明処理
は、入力されたデータを用いて入力された予想解の証明
を試み、導出処理は、この入力された同じデータを用い
てあらゆる可能な解を導出し、少なくとも一方の処理は
、他方の処理がその過程で利用者に要求して入手した追
加データを、必要に応じて使用する。導出処理により得
られた解は、証明処理の結果と関連付けて出力される。

例えば、証明処理が予想解の証明に成功した場合には、
予想解と異なる解が別解として出力され、証明処理が予
想解の証明に失敗した場合には、すべての解が対抗解と
して出力される。

複数の予想解を入力して、１回の起動に応じてそれらの
すべてを検証するようにしてもよい。他の変形として、
別解又は対抗解を直接出力する代りに、別解又は対抗解
の有無を示す情報を出力し、利用者から要求された時に
それらの解を出力してもよい。

証明処理と導出処理のどちらが先に行われてもよいが、
証明処理を導出処理の前に行うのが有利である。あるい
は、証明処理と並行して導出処理が行われてもよい。前
者の場合、導出処理は、証明処理の過程で要求されて入
力された追加データを利用し、後者の場合、任意の一方
の処理は、他方の処理の過程で要求されて入力された追
加データを利用する。導出処理と証明処理の並行遂行は
、任意の時分割方式によることができるが、証明処理に
優先権を与えて、証明処理が待ち状態にある間に導出処
理を行うのが有利である。

本発明は、予めルールが記憶されているエキスパートシ
ステムによっても、また、必要に応じてルールの少なく
とも一部が供給される推論マシンによっても、実現する
ことができる。

導出処理と証明処理の並行遂行に適する本発明の装置は
、証明処理のための第１推論ユニットと、導出処理のた
めの第２推論ユニットと、両推論ユニットの並行動作を
制御するとともに入出力処理を行なう制御ユニットと、
第１及び第２推論ユニット並びに制御ユニットに共用さ
れるメモリとを備える。

〔作用〕

本発明によれば、利用者が問題を表わすデータと自分の
判断を示す予想解を与えてシステムを起動すると、シス
テムは、証明処理と導出処理の双方を自発的に実行して
、利用者の判断に対する賛否と共に、システム自身によ
る解を１例えば別解又は対抗解として出力し、それによ
り、利用者の早計又は見落としが防止されて、最も妥当
な結論に能率よく到達することができる。一方の処理は
他方の処理の過程で入力された追加データを直接使用で
きるので、利用者への問い合わせの重複が避けられ、能
率がよい。

複数のｐ想解を処理する変形は、１回の起動で、複数の
予想解のそれぞれを検証するとともに、システム自身に
よる解を出力するから、利用者が複数の代替的な判断に
達した場合でも、それらを−括して処理することができ
る。また、別解又は対抗解の存在を示す情報を出力する
変形では、別解又は対抗解の出力は利用者の選択に任さ
れるから、利用者は過剰な情報に悩まれることがない。

導出処理が証明処理の終了の後で行われる場合には、証
明処理の過程で入力された追加データが保存されるので
、導出処理は、この追加データを。

利用者に問い合わせることなしに、直ちに使用できる。

また、両処理が並行して行われる場合には、各処理の過
程で入力された追加データが保存されるので、どちらの
処理も、他方の処理の過程で人力された追加データを、
利用者に問い合わせることなしに、直ちに使用できる。

特に、証明処理が待ち状態にある間に導出処理が行われ
る場合には。

例えば利用者への追加データの要求からその入力までの
間などの、遊休時間が有効に利用され、したがって、単
純な定期的時分割処理と比較して、効率がよい。これら
の場合において、証明処理を優先させるのが有利な理由
は、証明処理の結果が導出処理により得られる解の扱い
に影ツするためと、予想解の当否を早く知らせれば利用
者のいらだちが少ないためである。

また１本発明の前記装置は、証明処理と導出処理を各別
のハードウェアにより同時に遂行する。

両処理は、共用メモリを介して、ルール、問題データ、
追加データ、中間結果、及びその他の所要情報を共有し
、両処理の結果は、制御ユニットにより関連付けられる
。したがって、通常のデータ処理装置によっても本発明
の方法を実施しうろことはいうまでもないが、特にこの
装置は、本発明の方法を極めて能率よ〈実施することが
できる。

〔実施例〕

まず、第１の実施例を説明する。この実施例では、ルー
ルの集合と、状況又は問題を表わすデータと、ｍ−の予
想間とが推論マシンに入力されて。

予想間の検証と、別間又は対抗解の導出が行われ、賛成
の表明と別間、あるいは反対の表明と対抗解が出力され
る。

第２図は１本実施例のためのハードウェア構成の一例を
示す。入出力端末２０１は、例えば、キーボードとＣＲ
Ｔを有するデイスプレィ端末であり、ルールの集合、解
候補の集合、データ、Ｐ思量及び起動命令を、外部（利
用者）から受け取って中央処理装置１２２０２に渡し、
また、処理の途中で生じたデータ要求及び処理の結果を
、中央処理装置１２２０２から受け取って外部に出力す
る。中央処理装置２０２は、入出力端末２０１からのル
ールの集合と解候補の集合とデータを、ルールは中間語
に変換した後、記憶装置２０３に格納する。

予想間と起動命令を入出力端末２０１から受け取ると、
中央処理Ｍｆｆ１２０２は、ルールとデータと解候補を
必要に応じて記憶装置２０３から読み出しつつ、まず、
予想間を検証し、次に別間又は対抗解を導出し、そして
、検証の結果と別間又は対抗解を入出力端末２０１に送
る。中央処理装置２０２は、また、検証又は導出の過程
で必要が生じたデータの要求を、入出力端末２０１に送
る。

第３図は、本実施例の機能構成を示す。ブロック３０１
は処理群であり、入出力処理３０２．コントロール処理
３０３．解析変換処理３０４．証明処理３０５、及び導
出処理３０６から成る。ブロック３０７はメモリであり
、ルール郡部３０８゜作業メモリ３０９、及び解候補郡
部３１０から成る。

入出力処理３０２は、ルールの集合、解候補の集合、デ
ータ、予想間、及び起動命令を外部から受けて、ルール
の集合を解析変換処理３０４に出力し、予想間、及び起
動命令をコントロール処理３０３に出力し、データをコ
ントロール処理３０３゜証明処理３０５又は導出処理３
０６に出力し、解候補の集合を解候補郡部３１０に格納
する。コントロール処理３０３は、入出力処理３０２か
らのデータを作業メモリ３０９に格納する。コントロー
ル処理３０３は、また、入出力処理３０２から予想間と
起動命令を受け取った時に、この予想間を引数として証
明処理３０５を起動し、証明処理が終ると、導出処理３
０６を起動する。導出処理３０６から解が得られると、
コントロール処理３０３は、それを予想間と比較し、等
しければその解を捨てる。導出処理が終ると、コントロ
ール処理３０３は、証明処理と導出処理の結果を総合し
て、出力メツセージを編集し、入出力処理３０２に出力
する。

解析変換処理３０４は、入出力処理３０２からルールの
集合を受け取って、これを中間語に変換してルール郡部
３０８に格納する。証明処理３０５は、コントロール処
理３０５から予想間を引数として起動命令を受けた時に
、作業メモリ３０９に格納されたデータを参照しながら
ルール郡部３０８中の中間語化されたルール集合を解釈
適用することにより、この予想間を検証して、その結果
をコントロール処理３０３に報告する。この検証の過程
で、追加データが必要になると、証明処理３０５は、入
出力処理３０２に要求を発して、そこから新たなデータ
を受け取り、二九を作業メモリ３０９に格納する。

導出処理３０６は、コントロール処理３０３から起動命
令を受けた時に、作業メモリ３０９に格納されたデータ
と中間結果を参照しながらルール郡部３０８中の中間語
化されたルール集合を解釈適用することにより、解を導
出して、それをコントロール処理３０３に報告する。こ
の導出の過程で、導出したある事実が解となりうるかど
うかを判定するために、導出処理３０６は、解候補郡部
３１０を参照して、導出した東夷が解候補集合に含まれ
ていれば、これを解と判断し、含まれなければ、解では
なく中間結果であると判断する。また、導出処理３０６
も、追加データが必要になると、入出力処理３０２に要
求を発して、そこから新たなデータを受け取り、これを
作業メモリ３０９に格納する。

ルール郡部３０８は、解析変換処理３０４から中間語化
されたルールの集合を受け取って、これを記憶し、証明
処理３０５及び導出処理３０６に、要求に応じてルール
を供給する。作業メモリ３０７は、証明処理３０５の起
動に先立って、コントロール処理３０３からデータを受
け取り、また、証明及び導出の過程で、証明処理３０５
及び導出処理３０６から新たなデータを受け取り、更に
、導出処理３０６から推論の中間結果を受け取って、そ
れらを記憶する。

解候補郡部３１０は、推論の対象とする問題の分野にお
いて解となりうる事実の集合、すなわち解候補の集合を
、入出力処理３０２がら受け取り、これを記憶する。例
えば医療診断の分野では、解候補の集合は、病名の集合
である。更に、メモリ３０７は、図示されていないが、
前記語処理のために、必要な他の種々の情報を格納する
部分を含む。

第４図は、本実施例で使用されるルールの構成を示す。

ブロック４０１はルールの条件部であり。

０個以にのく条件文字列〉及び〈条件式〉から成る。た
だし、〈条件文字列〉とく条件式〉の少なくとも一方は
、１個以上である。く条件文字列〉は文字列であり、推
論の前提条件あるいは中間結果を表わす。く条件式〉は
、−個以上の変数に関する等式あるいは不等式であり、
推論の前提条件を表わす。

ブロック４０２はルールの結論部であり、１ｎ眉のく結
論文字列〉から成る。く結論文字列〉は、文字列であり
、推論の中間結果あるいは解を表わす。

第５図は、第４図のルールを解析変換処理３０１１が解
析変換した結果の中間語、即ちルール中間語であり、各
ルールはこの形式でルール郡部３０８に記憶される。上
記の証明処理及び導出処理は、実際には本中間語を用い
て行われる。

本実施例では、ルール郡部３０８中のルール中間語およ
び作業メモリ３０９中の変数値情報をリスト構造で表わ
すことにする。リストは、任意の個数の要素を′（′　
と′）′で囲むことにより記述する。リストの要素がそ
れ自体リストであってもかまわない。そのような入れイ
ヤのリストは′（′　と′）′の間に更に′（″と′）
′　を挿入することにより表わす。入れ子の深さは任意
である。ルール中間語は、個々のルールを表わす中間ａ
！Ｉであり、ルール集合を表わす中間語はルール中間語
のリストである。ルール郡部３０８には、ルール中間語
のリス！・が記憶される。

ブロック５０１は条件部の中間語であり、く条件文字列
〉及びく条件式中間語〉から成る。く条件文字列〉は、
第４図のブロック４０１中のく条件文字列〉と同じであ
る。く条件式中間語〉は。

第４図のブロック４０１中のく条件式〉を変換した結果
である。〈条件式中間Ｊｎ〉は、後に第６図を用いて詳
しく説明する。

ブロック５０２は結論部の中間語であり、く結論文字列
〉は第４図のブロック４０２中のく結論文字列〉と同じ
である。

第６図は、第５図のブロック５０１中のく条件式中間語
〉の構成を示す。〈条件式中間語〉は、第４図のブロッ
ク１１０１中のく条件式〉の中間語である。ブロック６
０１は、く条件式〉中の各変数の値を求める処理を表わ
す。ｇｅｔ（＜変数名〉）は、〈変数名〉に対応する変
数値を求めて、それをく変数名〉に代入する処理を表わ
す。ブロック６０２は、〈変数名〉に関する条件式であ
り。

第４図のブロック４０１中のく条件式〉と同じである。

証明処理３０５および導出処理３０６は。

く条件式中間語〉の処理に当って、まずブロック６０１
を処理して、各〈変数名〉に変数値を代入し、次にブロ
ック６０２を処理して、これらのく変数名〉に関する条
件式く条件式〉（＜変数名１〉く変数名２〉・・・〈変
数名１〉）の成立、不成立を決定する。

第７図は、作業メモリ３０９に記憶された文字列および
変数値の形式を示す。ブロック７０１は文字列の集合で
あり、これら文字列の表わす前提条件あるいは中間結果
が成立することを表わす。

ブロック７０２は変数値情報の集合であり、（く変数名
〉〈変数値〉）は、〈変数名〉の値かく変数値〉である
ことを示す。

次に、証明処理３０５と導出処理３０６による処理の概
要を説明する。証明処理３０５は、コントロール処理３
０３から、予思量を表わす文字列を引数として起動され
る。まず、この予思量が作業メモリ３０９中に記憶され
ていれば、証明は成功である。記憶されていない場合に
は、この予思量をく結論文字列〉として持つルールをル
ール郡部３０８から索出し、このルールのく条件文字列
〉とく条件式〉の成立、不成立を検証する。一般に、予
思量を〈結論文字列〉として持つルールは複数見つかる
ため、これらのルールを一つずつ検証する。ルールが一
つでも成立すれば、予思量の証明は成功であり、全ての
ルールが不成立であれば、予思量の証明は失敗である。

く条件文字列〉の検証は、予思量の検証と同様の処理を
再帰的に繰り返すことにより行う。すなわち、このく条
件文字列〉をく結論文字列〉として持つルールを索出し
て、このルールの成立、不成立を調べる。この〈条件文
字列〉と等しいく結論文字列〉を持つルールがない場合
には、この〈条件文字列〉を利用者に表示して、このく
条件文字列〉の表わす条件の成立、不成立を問い合わせ
る。く条件式〉の検証は、〈条件式〉の表わす等式ある
いは不等式に含まれる各変数の値を、作業メモリ３０９
から求めた後、この等式あるいは不等式の成立、不成立
を計算する。変数の値が作業メモリ３０９に記憶されて
い、ない場合には、変数名を利用者に表示し、その値を
問い合わせる。

なお、証明処理の詳細は、後に第８図と第９図を用いて
説明する。

導出処理３０６は１作業メモリ３０９に記憶された文字
列および変数値を参照しながら１条件部のく条件文字列
〉及びく条件式〉がすべて満たされるルールを、ルール
郡部３０８から見出し、このルールのく結論文字列〉を
取り出す、このく結論文字列〉を解候補郡部３１０中の
解候補群と比較して、解であるか否かを判定し、解であ
れば。

コントロール処理３０３に渡し、解でなければ、中間結
果として作業メモリ３０９に格納する。導出処理３０６
は、当初の入力データに加えて、証明処理の過程で新た
に入力された追加データを利用し、更に、必要に応じて
、く条件文字列〉の成否及び変数の値を、利用者に間合
わせる。導出処理３０６の処理方法は、従来の処理方法
と同様であり１例えば、リスプ、アデイソンーウエスレ
イ（１９８１年）第２３９頁から２５０頁（Ｌｉｓｐ　
＋Ａｄｄｉｓｏｎ−Ｗｅｓｌｅｙ（１９８１）ｐ　ｐ　
２３９−２５０）に詳しく述べられている。

次に、証明処理の詳細を説明する。

第８図は、証明処理３０５が、予思量をく結論文字列〉
として持つ一つのルールの成立、不成立を検証する処理
を表わす。証明処理３０５は。

つのルールが成立するか、あるいは全ルールを検証し終
わるまで、本処理を繰り返す、なお、ルールは、第５図
のように中間語化されており、変数Ｒに代入されている
（すなわち、変数Ｒに割当てられたメモリ領域に格納さ
れている）とする。

ブロック８０１は、ルールの条件部を変数ＣＬｉ５ｔに
代入する。これにより、ＣＬｉ５ｔには、第５図のブロ
ック５０１のようなく条件文字列〉および〈条件式〉の
リストが代入さゝれる。これらのく条件文字列〉及びく
条件式〉を、以下、条件と呼ぶ。ブロック８０２は、Ｃ
Ｌｉ５ｔの先頭の条件を変数Ｃに代入する。

ブロック８０３は、Ｃがく条件文字列〉かく条件式〉か
を判定する。く条件文字列〉の場合にはブロック８０４
〜ブロツク８０９、く条件式〉の場合にはブロック８１
０〜ブロツク８１４を実行することにより、それらの成
立、不成立を検証する。

ブロック８０４は、く条件文字列〉が作業メモリ３０９
中に記憶されているかどうかを判定する。

記憶されている場合には、く条件文字列〉が成立であり
、ブロック８１６に行く、記憶されていない場合には、
ブロック８０５に行く。

ブロック８０５は、現在説明中の証明処理をこのく条件
文字列〉を〈結論文字列〉として持つルールに対して再
帰的に適用することにより、〈条件文字列〉を検証する
。ブロック８０６はＣの証明の成功、不成功を判定する
。成功の場合には、〈条件文字列〉は成立であり、ブロ
ック８１６に行く。不成功の場合には、ブロック８０７
に行く。

ブロック８０７は、〈条件文字列〉を利用者に表示して
、その文字列の表わす事実の成立、不成立を問い合わせ
る。利用者が成立と答えた場合には、〈条件文字列〉は
成立であり、ブロック８０９に行く。利用者が不成立と
答えた場合には、く条件文字列〉は不成立であり、ブロ
ック８１５に行く。

ブロック８０９に至るのは、く条件文字列〉が作業メモ
リになく、証明もできないが、利用者への問い合わせに
より成立と判断した場合である。

すなわち、既存のデータでは、成立、不成立が決定でき
ず、利用者からの新たなデータによって成立と判定した
場合である。そこで、ブロック８０９では、利用者に今
後同じ質問を繰り返さないですむように、このく条件文
字列〉を作業メモリ３０９に格納する。その結果、この
〈条件文字列〉については、今後、作業メモリ３０９の
参照によって、直ちに成立と判定することができる。特
に、後の導出処理３０６においてこのく条件文字列〉の
成立、不成立を判定する場合にも１作業メモリ３０９を
参照すればよく、利用者に再度問い合わせる必要がない
。

ブロック８１０〜８１４は、条件Ｃが第６図のようなく
条件式中間語〉である場合の、検証処理を示す。ブロッ
ク８１０は、く条件式中間語〉の先頭要素を変数Ｅｘに
代入する。ブロック８１１は、Ｅｘがｇｅｔ文であるか
どうかを判定する。

ｇｅｔ文の場合には、ブロック８１２に行き、そうでな
い場合にはブロック８１４に行く。

ブロック８１２は、このｇｅｔ文を解釈実行し。

〈変数名〉に対応する変数値を求め、〈変数名〉に代入
する。この処理は、後に第９図を用いて詳しく説明する
。ブロック８１３は、実行し終わったｇｅｔ文をＣから
除く。

ブロック８１４は、Ｅｘがく条件式〉（〈変数名１〉、
〈変数名２〉・・・〈変数名１〉）である場合の処理を
示す。ブロック８１４に至る時には、条件式中の変数名
はすべて値が得られている。そこで、〈条件式〉（〈変
数名１〉、く変数名２〉・・・く変数名１〉）の成立、
不成立を決定することができる。成立する場合には、ブ
ロック８１６に行き、成立しない場合には、ブロック８
１５に行く。

ブロック８１６は、Ｃ１すなわち成立すると分かった条
件を、ＣＬｉ５ｔから除く０次に、ブロック８１７では
、ＣＬｉ５ｔが空かどうか、すなわち全ての条件を調べ
終わったかどうかを判定する。調べ終わっている場合に
は、ブロック８１８において。

ルールが成立と判定する。調べ終わっていない場合には
、ブロック８０２に戻って、次の条件を調べる。

ブロック８１５は、条件が不成立の場合の処理である。

ルールは、条件がすべて成立する場合のみ成立となる。

したがって、ここでは、ルールが不成立と判定する。

第９図は、第８図のブロック８１２におけるｇｅｔ文の
処理の詳細を表わす。ただし、ｇｅｔ文は、第６図に示
すようにｇｅｔ（＜変数名〉）の形であり、前述のよう
に変数Ｅｘに代入されている。ブロック９０１は、ｇｅ
ｔ文からく変数名〉を取り出し、Ｖ　Ｎａｍｅに代入す
る。ブロック９０２は、　ＶＮａｍｅの値が作業メモリ
３０９に記憶されているかどうかを判定する。すなわち
、第７図に示す作業メモリ３０９に、ＶＮａｍｅを第１
要素とするリス１−が記憶されているかどうかを判定す
る。記憶されている場合には、ブロック９０３に行き。

記憶されていない場合には、ブロック９０５に行く。

ブロック９０３は、作業メモリ３０９中のＶＮａ＋＊ｅ
を第１要素とするリストをＩｔｅｍに代入する。

ブロック９０４は、Ｉｔｅｍの第２要素すなわちく変数
値〉を、ＶＮａｎ＋ｅすなわち〈変数名〉に代入する。

ブロック９０５〜９０６は、く変数名〉の値が作業メモ
リ３０９に記憶されていない場合の処理である。ブロッ
ク９０５は、利用者に〈変数名〉を表示し、その値を問
い合わせて〈変数名〉に代入する。ブロック９０６は、
同じく変数名〉の値を再び利用者に問い合わせなくてす
むように、く変数名〉と利用者から入力したく変数値〉
をリストにし、作業メモリ３０９に記憶する。その結果
、今後、同じく変数名〉の値を求める場合には、作業メ
モリ３０９を参照すればよい。特に、後に導出処理３０
６において、同じく変数名〉を求める場合には、作業メ
モリ３０９を参照すればよく、利用者に再度問い合わせ
る必要はない。

第１図は、コントロール処理３０３の動作を示す、ブロ
ック１０１は、推論に先立って利用者から変数の名前と
値を入力し、く変数名〉とく変数値〉のリストを形成し
て、作業メモリ３０９に記憶する。ブロック１０２は、
同じく文字列を入力し、作業メモリ３０９に記憶する０
以上の変数値および文字列が、利用者すなわち専門家の
解決したい状況あるいは問題を表わすデータである。な
お、ブロック１０１，１０２で必要なデータを全て入力
する必要はない、前述のように、証明処理の過程で利用
者から不足したデータを入力することができる。

ブロック１０３は、利用者から予思量を入力する。予思
量は、利用者の判断を表わす文字列である。ブロック１
０４は、予思量を引数として証明処理３０５を起動する
。証明処理３０５は、第８図及び第９図の処理により、
予思量が前記データとルール郡部３０８中のルール群と
から矛盾なく導けるかどうかを検証する。証明処理の終
了とその結果が報告されると、ブロック１０５が、導出
処理３０６を起動する。導出処理３０６は、前述のよう
にして、ブロック１０１及び１０２で入力されたデータ
と、証明処理の過程での間合わせに応じて入力されて記
憶されたデータを用い、更に、新たに必要の生じたデー
タを問い合わせながら、それ自身の解を導出し、コント
ロール処理に報告する。

ブロック１０６は、証明が成功か失敗かに応じて、出力
処理を選択する。証明が成功の場合には、ブロック１０
７が賛成の意を表わすメツセージを出力し、次いで、ブ
ロック１０８が、導出処理３０６から受けた解を予思量
と比較して、異なっていれば、別間として出力する。も
しも予思量と異なる解が一つも得られなければ、その旨
のメツセージを出力する。

他方、証明が失敗の場合には、ブロック１０９が反対の
意を表わすメツセージを出力し、次いで、ブロック１１
０が、導出処理３０６から受けた全ての解を、もしあれ
ば、対抗解として出力する。

もしも対抗解が一つも得られなければ、その旨のメツセ
ージを出力する。賛成メツセージ又は反対メツセージ並
びに別間又は対抗解は、証明処理３０５と導出処理３０
６から報告を受けるたびに出力してもよいし、メモリ３
０７中の適当な領域にそれらの報告を蓄積し、画処理の
終了後に、総合して適切なメツセージ群を組み立てて、
それを出力してもよい、しかし、一般には、導出処理が
相当長い時間を要するので、利用者の心理を考えると、
報告のたびに出力する方が好ましい。

次に、医療診断の具体的な事例を用いて、推論マシンが
、上記の処理方式によって、専門家の判断を検証し、さ
らにこれを補う様子を示す。推論マシンは、既に医療診
断用のルール集合を入力し、これを中間語に変換して記
憶しているとする。

利用者は医師であり、患者の症状をデータとし、それに
対する自分の診断結果すなわち病名を予思量として、推
論マシンに入力する。推論マシンは、前記ルールを用い
て、前記データからこの予思量の証明を試み、証明が成
功であれば賛成、失敗であれば反対を表明する。更に、
該データから解すなわち病名を導出し、これを別間又は
対抗解として出力する。

最初の例では、利用者即ち医師が、「倦怠感あり、体温
が３８．５℃」という症状から、インフルエンザと判断
し、その判断について推論マシンに相談する。

第１Ｏ図は、本例題で用いるルール集合の例である。ブ
ロック１００１〜１００４は、それぞれ１つのルールを
表わす、ブロック１００１は、倦怠感があり１体重が平
常時より２ｋｇ以上減少していれば、消耗状態であるこ
とを示している。′倦怠感あり′は条件文字列である。

′＃現体重′及び′＃平常体重″は変数名であり、゛＃
現体重−＃平常体重＜２．０’　　はこれらの変数に関
する条件式である。本例屈では、変数名の先頭に＃を付
けることにする。

ブロック１００２は、消耗状態であり、体温が３８．０
℃より高ければ、インフルエンザであることを示してい
る。ブロック１００３は、消耗状態であり、腹痛があり
、高温が３７．０℃より高ければ、膵臓炎であることを
示している。ブロック１００４は、消耗状態であり、高
温が３７．０℃より高くかつ３８．０℃より低く、症状
の継続日数が３０日より長ければ、結核であることを示
している。

第１１図は、第１０図のルールを第３図中の解析変換処
理３０４が解析変換した結果の中間語である。ブロック
１１０１〜１１ｏ４は、それぞれブロック１００１〜１
００４に対するルール中間語である。これらの中間語は
、第３図中のルール郡部３０８に記憶されている。

また、解候補郡部３１０には、第１０図のルールの下で
医療診断の解となりうる病名の集合が、予め記憶されて
いる。ここでは、′インフルエンザ′、゛膵臓炎′及び
″結核′が記憶されている。

利用者が推論マシンを起動すると、第３図中のコントロ
ール処理３０３が第１図の処理を開始する。ブロック１
０１が、利用者から変数値を入力し、これを作業メモリ
３０９に記憶する。ここでは、＃体温とその値３８．５
　を入力して記憶する。

次に、ブロック１０２が、利用者から文字列を入力し、
作業メモリ３０９に記憶する。ここでは、′倦怠感あり
′を入力して記憶する。ブロック１０２の処理の終了時
における作業メモリ３０９の内容を第１２図に示す。

ブロック１０３が予想群として、　′インフルエンザ′
　を入力する。ブロック１０４が証明処理３０５を起動
する。

以下、第８図と第９図を用いて、証明処理３０５の動作
を説明する。

証明処理３０５は、まず、予想解′インフルエンザ″が
作業メモリ３０９に記憶されているかどうかを調べるに
の時点では１作業メモリ３０９に゛インフルエンザ′は
記憶されていない。次に、′インフルエンザ′を結論文
字列とするルール中間語を、ルール郡部３０８で探索す
る。この例では、第１１図中のブロック１１０２を見出
す。次に、このルール中間語を変数Ｒに代入して、第８
図の処理を行う。

ブロック８０１は、Ｒの条件部を取りだし、ＣＬｉ５ｔ
に代入する。ここでは、ＣＬｉ５ｔにブロック１１０６
が代入される。ブロック８０２は、Ｃに、ＣＬｉ５ｔの
先頭要素すなわち′消耗状態′を代入する。ブロック８
０３は、Ｃが条件文字列か条件式かを判定する。ここで
は、条件文字列と判定する。

ブロック８０４は、Ｃすなわち′消耗状態′が、作業メ
モリ３０９に記憶されているかどうかを判定する。ここ
では、作業メモリ３０９は第１２図の状態なので、Ｎｏ
となる。

そこで、ブロック８０５が、′消耗状態ゝの証明を試み
る。すなわち、′消耗状態′を予思量として、証明処理
３０５を再帰的に起動する。以下。

′消耗状態″を証明するための、証明処理３０５の動作
を説明する。

証明処理３０５は、゛消耗状態′を結論文字列とするル
ールを探索する。ここでは、ブロック１１０１を見出す
。そこで、第８図の処理により該ルールの成立、不成立
を検証する。ブロック８０１は、　ＣＬｉ５ｔにブロッ
ク１１０５を代入する。

ブック８０２が、Ｃに′倦怠感あり″　を代入する。

ブロック８０３が、Ｃは条件文字列であると判定する。

ブロック８０４が、Ｃすなわち′倦怠感あり′が、作業
メモリ３０９に記憶されているかどうかを判定する。こ
こでは、作業メモリ３０９が第１２図の状態なので、Ｙ
ｅｓとなる。ブロック８１６が、ＣＬｉ５ｔから処理し
終わった条件すなわち′倦怠感あり″を除く。その結果
、ＣＬｉ５ｔには、（ｇｅｔ（＃現体型）ｇｅｔ（＃平
常体重）＃現体重−存平常体重＜２．０））が残される
。これは。

（ｇｅｔ（＃現体型）・・・＜２．０）のみから成る１
要素のリストである。

ブロック８１７が、全ての条件を判定し終わったかどう
かを判定する。ここでは、Ｎｏとなる。

ブロック８０２が、ＣにＣＬｉ５ｔの先頭要素を代入す
る。ここでは、Ｃに（ｇ　ｅ　ｔ　（＃現体型）ｇｅｔ
（＃平常体重）＃現体型−＃平常体重＜２．０　）が代
入される。ブロック８０３が、Ｃは条件式であると判定
する。

ブロック８１０が、Ｅｘに、Ｃの先頭要素即ちｇｅｔ（
＃現体型）を代入する。ブロック８１１が、Ｅｘはｇｅ
ｔ文であると判定する。ブロック８１２が、Ｅｘを実行
する。以下、第９図を用いて、このｇｅｔ文の実行を説
明する。

ブロック９０１が、Ｅｘの引数すなわち＃現体型を、Ｖ
Ｎａｍｓに代入する。ブロック９０２が、ＶＮａｍｅの
値が作業メモリ３０９に記憶されているかどうか判定す
る。ここでは、Ｎｏと判定する。

ブロック９０５が、　ＶＮａｍｅすなわち＃現体型の値
を利用者に問い合わせる。ここで、利用者が、５５と答
えたとする。そこで、ＶＮａｍｅに５５を代入する。ブ
ロック９０６が、ＶＮａｍｅの値を作業メモリ３０９に
記憶する。ここでは、（＃現体型５５）というリストを
記憶する。

以上でｇｅｔ文の処理が終了し、第８図におけるブロッ
ク８１３に戻る。ブロック８１３が、Ｃから処理し終わ
ったｇｅｔ文を除く。その結果、Ｃには、（ｇｅｔ　（
＃平常体重）＃現体型−＃平常体重＜２．０　）が残さ
れる。ブロック８１０が、Ｅｘにｇｅｔ（＃平常体重）
を代入する。ブロック８１１が、Ｅｘはｇｅｔ文である
と判定する。

ブロック８１２が、前記と同様の処理により。

このｇｅｔ文を実行する。＃平常体重の値が作業メモリ
に記憶されていないため、再び利用者に問い合わせる。

ここでは、利用者が６０を入力したとする。そこで、＃
平常体重に６０が代入され、作業メモリ３０９には、（
＃平常体重　６０）が記憶される。

ブロック８１３が、ＣからＥｘを除く、その結果、Ｃに
は、（＃現体型−＃平常体重＜２．０　）が残される。

ブロック８１０が、Ｅｘに＃現体型−＃平常体重く２．
０　を代入する。これはｇｅｔ文ではないので、ブロッ
ク８１１が、Ｎｏと判定する。ブロック８１４が、これ
までに求めた＃現体型および＃平常体重の値を用いて、
Ｅｘの成立。

不成立を決定する。ここでは、成立と判定する。

ブロック８１６が、ＣＬｉ５ｔから、処理し終わった条
件を除く。ＣＬｉ５ｔは、（ｇｅｔ（＃現体型）・（２
，０）　　のみから成るリストだったので１本処理の結
果、空リストになる。ブロック８１７が、全ての条件を
処理し終わったかどうか判定する。

ここでは、Ｙｅｓとなる。

ブロック８１８が、ルールすなわちブロック１１０１が
成立すると判定する。以上の結果、′消耗状態′の証明
に成功し、ブロック１１０２の処理におけるブロック８
０６に戻る。

ブロック８０６が、以上のようにして、Ｃすなわち′消
耗状態″の証明が成功と判定した後、ブロック８１６が
、ＣＬｉ５ｔから、処理し終わった条件すなわち′消耗
状態′を除く。その結果、ＣＬｉ５ｔには、（（ｇｅｔ
（＃体温）＃体温〉３８．０））が残される。ブロック
８１７が、全ての条件を調べ終わったかどうかを判定す
る。ここでは、Ｎｏとなる。

ブロック８０２が、Ｃに（ｇｅｔ（＃体温）＃体温＞３
８．０　）を代入する。ブロック８０３が。

Ｃは条件式であると判定する。ブロック８１０が、Ｅｘ
にｇｅｔ（＃体温）を代入する。ブロック８１１が、Ｅ
ｘはｇｅｔ文であると判定する。ブロック８１２が、前
記と同様の処理により、このｇｅｔ文を実行する。この
時は、作業メモリ３０９に（＃体温３８．５）が記憶さ
れているため、利用者に問い合わせることない。本処理
の結果、＃体温に３８．５　が代入される。

ブロック８１３により、Ｃに（＃体温＞３８．０）が代
入される。ブロック８１０が、Ｅｘに＃体温＞３８．０
　　を代入する。ブロック８１１が、ＮＯと判定する。

ブロック８１４が、Ｅｘすなわち＃体温＞３８．０　　
が成立すると判定する。ブロック８１６が、ＣＬｉ５ｔ
から、処理し終わった条件を除（、ＣＬｉ１ｉｔは、（
ｇｅｔ（＃体温）　＃体温〉３８．０）のみから成るリ
ストであったので、本処理の結果、ＣＬｉ５ｔは空とな
る。ブロック８１７が、全ての条件を処理し終わったと
判定する。そこで、ブロック８１８が、処理中のルール
すなわちブロック１１０２が成立すると判定する。

以上の結果、証明処理３０５は、予想解′インフルエン
ザ′の証明に成功し、その旨をコントロール処理３０３
に報告する。この時点での作業メモリ３０９の内容を、
第１３図に示す。

ここで、第１図中のブロック１０５が、導出処理３０６
を起動する。導出処理３０６は、従来の処理方式に従っ
て、ルール郡部３０８中のルール集合を用いて、作業メ
モリ中のデータから解を導出し、これをコントロール処
理３０３に出力する。

可能な解が複数ある場合には、全て出力する。

まず、第１１図中のブロック１１０１の成立。

不成立を判定する。導出処理では、条件部の全ての条件
が成立するルールを成立と判定し、条件が一つでも成立
しないルールを不成立と判定する。

ブロック１１０１に対して、全ての条件が成立するため
、ルールが成立と判定する。この判定において、＃現体
型および＃平常体重の値が必要であるが、証明処理３０
５の過程で利用者から入力したこれらの値が、作業メモ
リ３０９に記憶しであるので、再度問い合わせる必要は
ない。ブロック１１０１が成立した結果、゛消耗状態゛
という事実が成Ｊする。ここで、解候補郡部３１０中の
解候補集合を参照して、′消耗状態゛が解となりうるか
どうかを判定する。ここでは、ＮＯとなる。

そこで、″消耗状態゛を中間結果として、作業メモリ３
０９に記憶する。

次に、ブロック１１０２の成立、不成立を判定し、成立
という結果を得る。その結果′インフルエンザ′という
事実が成立する。解候補郡部３１０を参照して、　′イ
ンフルエンザ″が解になりうると判定し、コントロール
処理３０３に渡す。

次に、ブロック１１０３の成立、不成立を判定する。こ
こで、利用者に゛腹痛あり′の成立、不成立を問い合わ
せる。利用者が、成立すると答えたとする。この場合、
ブロック１１０３が成立し、゛膵臓炎′という事実が成
立する。解候補郡部３１０を参照して、　゛膵臓炎′が
解となりうると判定し、これをコントロール処理３０３
に出力する。

最後に、ブロック１１０４の成立、不成立を判定する。

ここでは、＃体温が３８．５であるため、不成立となる
。

この間、又は導出処理の終了後、コントロール処理３０
３は、証明処理３０５からの報告が１成功′の場合は、
ブロック１０６及び１０７の処理により、利用者の判断
に賛成する旨のメツセージを出力する。ブロック１０８
は、導出処理３０６により得られた各間を予思量と比較
し、′インフルエンザ′は予思量と同じであるから、こ
れを捨て、“膵臓炎′は予思量と異なるので、別の診断
として膵臓炎の可能性もある旨のメツセージを出力する
。

次に、推論マシンが、利用者の判断に反対し、対抗する
判断を出力する場合を説明する。今度は、゛利用者が、
ｒ″倦怠感あり′、＃体温が３７．５℃」という症状か
ら、インフルエンザと判断し、その判断について推論マ
シンに相談する。ルール郡部３０８には、前記の例題と
同じく、第１１図のルール集合が記憶されているとする
。

前記例題の場合と同様、コントロール処理３０３が、第
１図の処理を開始する。ブロック１０１とブロック１０
２の処理により、作業メモリ３０９の内容が、第１４図
に示すようになる。ブロック１０３が予思量１インフル
エンザゝ　を入力する。

ブロック１０４が、証明処理３０５を起動する。

証明処理は、′インフルエンザ′を結論文字列とするル
ール、すなわちブロック１１０２を見出し、第８図の処
理により、その成立、不成立を検証する。ブロック８０
１が、ＣＬｉ５ｔにブロック１１０６を代入する。ブロ
ック８０２が、Ｃに゛消耗状態゛を代入する。ブロック
８０３が、Ｃは条件文字列であると判定する。ブロック
８０４が、′消耗状態゛は作業メモリ３０９にないと判
定する。

ブロック８０５が、証明処理３０５を再帰的に起動して
、“消耗状態′の証明を試みる。証明処理３０５は、前
記と同様の処理により、゛消耗状態′を結論文字列とす
るブロック１１０１の成立。

不成立を検証する。ここでは、前記の例と同様に、ブロ
ック１１０１が成立する場合を考える。この証明過程で
、＃現体型の値５５と、＃平常体重の値６０を利用者か
ら入力し、作業メモリ３０９に記憶する。この時点の作
業メモリの内容を、第１５図に示す。

１消耗状態′の証明に成功し、ブロック１１０２の処理
におけるブロック８０６に戻ると、ブロック８０６が、
Ｙｅｓと判定する。ブロック８１６により、ＣＬｉ５ｔ
に、（（ｇｅｔ（＃体温）　＃体温〉３８．０））が残
される。ブロック８１７がＮＯと判定する。

ブロック８０２が、Ｃに（ｇｅｔ（＃’体温）＃体温＞
３８．０　）を代入する。ブロック８０３が、Ｃは条件
式と判定する。ブロック８１０が、Ｅｘにｇｅｔ（＃体
温）を代入する。ブロック８１１がＹｅｓと判定する。

ブロック８１２が、ｇｅｔ（＃体温）を実行し、＃体温
に３７．５　を代入する。ブロック８１３により、Ｃに
（＃体温＞３８．０）が残される。

ブロック８１ｏが、Ｅ　ｘ　ニ＃体温）３８．０　　を
代入する。ブロック８１１がＮｏと判定する。ブロック
８１４が、Ｅｘが不成立と判定する。その結果、ブロッ
ク８１５が、Ｒすなわちブロック１１０２は不成立と判
定する。

゛インフルエンザ′を結論文字列とするルールが、ブロ
ック１１０２以外にないため、証明処理３０５は、゛イ
ンフルエンザ′の証明に失敗し、その旨をコントロール
処理３０３に報告する。

そこで、ブロック１０５が、導出処理３０６を起動する
。導出処理３０６は、まず、ブロック１１０１の成立、
不成立を検証する。この例では、成立すると判定し、　
′消耗状態′を作業メモリ３０９に記憶する。次に、ブ
ロック１１０２の成立、不成立を検証する。＃体温が３
７．５であることから、不成立と判定する。

次に、ブロック１１０３の成立、不成立を判定する。こ
こで、利用者に′腹痛あり′の成立、不成立を問い合わ
せる。利用者が、成立すると答えたとする。この場合、
ブロック１１ｏ３が成立し、゛膵臓炎′という事実が成
立する。解候補郡部３１０を参照して、′膵臓炎′が解
となりうると判定し５これをコントロール処理３０３に
出力する。

次に、ブロック１１０４の成立、不成立を検証する。こ
こで、利用者に、＃症状の継続日数を問い合わせる。利
用者が、５０と答えたとする。この場合、ブロック１１
０４は成立する。解候補郡部３１０を参照して、　゛結
核″が解となりうると判定し、′結核′をコントロール
処理３０３に出力する。

この間、又は導出処理の終了後、コントロール処理３０
３は、証明処理３０５からの報告が“失敗１の場合は、
ブロック１０６及び１０９の処理により、利用者の判断
に反対する旨のメツセージを出力する。ブロック１１０
は、導出処理３０６により得られた全ての解を採用して
、むしろ膵臓炎又は結核の可能性がある旨のメツセージ
を出力する。

以上の例で示したように、本実施例は、専門家の判断を
検証すると同時に、その判断に賛成の場合には別間を、
また、その判断に反対の場合には対抗解を、もしあれば
自動的に提示し、それにより、専門家の早計や見落とし
を防ぎ、より妥当な結論に、より効率的に導くことがで
きる。

次に、専門家の判断を表わす予想解を複数個入力して、
これら予想解のそれぞれを検証し、その結果に応じてそ
れぞれの予想解に対する賛成あるいは反対を表明し、更
に、どの予想解とも異なる解を、別間あるいは対抗解と
して出力する実施例について、説明する。

本実施例の構成および処理動作は、コントロール処理３
０３以外は、第１図〜第９図で説明した前記第１の実施
例と同様である。

第１６図は、本実施例におけるコントロール処理の動作
を示しており、第１図に代わるものである。ブロック１
０１及び１０２は、前記第１図中のブロック１０１及び
１０２と同じであり、利用者からデータを入力する。

ブロック１６０１は、複数の子思量をリストとして読み
込み、Ｓ　Ｌｉ５ｔに代入する。ブロック１６０２は、
Ｓ　Ｌｉ５ｔから最初の予思量を取りだし、Ｓに代入す
る。ブロック１６０３は、Ｓを引数として証明処理３０
５を起動する。証明処理３０５の動作は、前記第１の実
施例と同様である。

ブロック１６０４は、５Ｌｉｓｔから、処理し終わった
予思量Ｓを除く。ブロック１６０５は、全ての予思量を
処理し終わったかどうかを判定する。

処理し終わった場合には、ブロック１０５に行き、終わ
っていない場合にはブロック１６０２に戻って、次の予
思量を処理する。

ブロック１０５は、導出処理を起動する。本導出処理は
、前記第１の実施例における導出処理３０Ｇと同じであ
る。

導出処理の終了後、又はそれと並行して、出力処理が行
なわれる。ブロック１６０６は、少なくとも一つの予思
量の証明が成功したか、それとも全予想解の証明が失敗
したかを判定する。前者の場合、ブロック１６０７は、
各予思量について賛成又は反対を表わすメツセージを出
力し、ブロック１６０８は、導出処理３０６から受け取
った語間から予思量と等しいものを全て除き、残りを別
間として出力する。後者の場合、ブロック１６０９は。

全予想解に反対である旨のメツセージを出力し、ブロッ
ク１６１０は、導出処理３０６から受取った全ての解を
、対抗解として出力する。

変形として、証明処理３０５から一つの予思量の処理結
果を受け取るたびに（例えば、ブロック１６０４の前に
）、その予思量に対する賛否を出力してもよい。この場
合には、全予想解を処理した後でブロック１６０６の判
断が行われ、その結果に従って、ブロック１６０８又は
１６１０の処理が行われる。

以上のように、本実施例によれば、専門家の判断を表わ
す予思量を複数個入力して、これら予思量のそれぞれを
検証し、その結果に応じてそれぞれの予思量に対する賛
成あるいは反対を表明し、次にどの予思量とも異なる解
を、別間あるいは対抗解として出力することができる。

したがって、専門家が複数通りの判断を考え出した場合
や１判断に迷う場合にも、考えられる複数の判断をそれ
ぞれ予思量として入力すれば、推論マシンは、それぞれ
の判断を検証するとともに。

いずれの判断とも異なる別間又は対抗解を出力すること
によって、専門家の見落としを補い、最も妥当な結論に
効率良く導くことができる。

次に、専門家の判断に対する別間あるいは対抗解を直接
出力する代わりに、別間あるいは対抗解の存在を示す情
報を出力する実施例について、説明する。

本実施例のハードウェア構成は、第２図のとおりであり
、前記第１の実施例と同様である。

第１７図は１本実施例の機能構成を示す。ブロック３０
１０は処理群であり、入出力処理３ｏ２゜コントロール
処理３０３０．解析変換処理３０４゜証明処理３０５．
及び導出処理３０６０から成る。

ブロック３０７０はメモリであり、ルール郡部３０８、
作業メモリ３０９．解候補郡部３１０、及び解メモリ１
７０１から成る。

これらのうち、入出力処理３０２．解析変換処理３０４
．証明処理３０５．ルール郡部３０８゜作業メモリ３０
９、及び解候補郡部３１０は、前記第１の実施例と同様
である。

コントロール処理３０３０は、前記第１の実施例と同様
に、入出力処理３０２からデータを受け取って１作業メ
モリ３０９に格納する。入出力処理３０２から予思量と
起動命令を受け取った時に、この予思量を引数として証
明処理３０５を起動し、証明の結果に応じて、予思量に
対し賛成あるいは反対の表明を入出力処理３０２に出力
する。次に、導出処理３０６０を起動する。導出処理３
０６０の終了後、解メモリ１７０１に予思量と異なる解
が記憶されているかどうかを判定する。記憶されていれ
ば、入出力処理３０２を介して、別間あるいは対抗解の
存在を利用者に示し、さらに、利用者からの要求に応じ
て、解メモリ１７０１中の解を利用者に出力する。

導出処理３０６０は、解を求めた時に、これをコントロ
ール処理３０３０に出力する代わりに、解メモリ１７０
１に格納し、処理が終ると、その旨をコントロール処理
３０３０に報告する。この点を除いて、前記第１の実施
例における導出処理３０６と同じである。

解メモリ１７０１は、導出処理３０６０から解を受け取
り、これを記憶する。

第１８図は、本実施例のコントロール処理３０３０の動
作を示す。ブロック１０１〜１０７及び１０９は、前記
第１の実施例における第１図中のブロック１０１〜１０
７及び１０９と同じであり、利用者からデータと予想解
を入力して、証明処理３０５によりこれを検証し１次い
で、導出処理３０６を起動する。そして、検証の結果に
従い、予想解に対する賛成又は反対を表明する。導出処
理３０７は、前述のように、得られた解を解メモリ１７
旧に格納し、処理の終了をコントロール処理３０３０に
報告する。

予想解の証明が成功した場合、ブロック１８０１は、解
メモリ１７ｏ１中に別間、すなわち予想解と異なる解が
あるかどうかを調べて、もしなければ、ブロック１８０
２が、別間は存在しない旨のメツセージを出力し、処理
は終了する６他方、別間が解メモリ１７０１中にあれば
、ブロック１８０３は、別間が存在する旨のメツセージ
を出力し、ブロック１８ｏ４は、別間の出力を要求する
かどうかを利用者に尋ねる。別間の出力が要求されな番
すれば、処理は終了し、出力が要求されれば、ブロック
１８０５は、解メモリ１７０１の内容を読み出して、予
想解と異なるものだけを別間として出力し、処理が終了
する。

予想解の証明が失敗した場合には、ブロック１８０６が
、解メモリ１７０１中に解が格納されているかどうかを
調べる。この場合には、予想解との比較は必要なく、解
があれば、それは対抗解である。対抗解がなければ、ブ
ロック１８０７がその旨のメツセージを出力して、処理
は終了する。

対抗解があれば、ブロック１８０８がその旨のメツセー
ジを出力し、ブロック１８０９が対抗解の出力の要否を
利用者に尋ねる。出力が要求されなければ、処理は終了
し、出力が要求されれば、ブロック１８１０は、解メモ
リ１７０１の内容を対抗解として出力し、処理が終了す
る。

以上のように、本実施例は、利用者の判断を検証すると
ともに、その判断に対する別間あるいは対抗解の存在を
示し、さらに利用者の希望に応じて、別間あるいは対抗
解を出力できる。専門家は。

仕事の状況に応じて、別間あるいは対抗解を調べること
も、これを無視することもできる。

前述の諸実施例において、導出処理の起動は、証明処理
の終了後に行われる。しかしながら、これら両処理は、
逆の順序で行われてもよく。更に、並行して実行されて
もよい。例えば、両処理に交互のタイムスロットを割当
てて、タイマーの制御の下で、定期的な時分割処理を行
わせることができる。あるいは、いずれか一方の処理に
優先権を与え、この処理が、例えば利用者への問い合わ
せなどのために待ち状態にある間と、終了した後でのみ
、他方の処理が実行されてもよい。このような並行処理
の場合に、いずれか一方の処理が、中間結果として、又
は利用者への要求により、獲得して作業メモリに格納し
た情報は、他の処理で利用することができる。一般には
、証明処理を優先させるのが好ましい。その理由は、証
明処理の結果が導出処理により得られる解の扱いに影響
するためと、予想解の当否を早く知らせれば利用者のい
らだちが少ないためである。

第１９図は、証明と導出の並行処理に特に適したハード
ウェア構成の一例を示す。入出力端末２０１及び記憶装
ｒＩ１２０３は、第２図における入出力端末２０１及び
記憶装置２０３と、それぞれ同等のものである。制御ユ
ニット１９０１は、第３図中の入出力処理３ｏ２．コン
トロール処理３０３（又は第１７図３０３０）、及び解
析変換処理３０４を実行するユニットであり、起動命令
を受けると、証明処理ユニット１９０２と導出処理ユニ
ット１９０３を同時に起動する。証明処理ユニット１９
０２は、第３図中の証明処理３０５を実行するための専
用ハードウェアであり、導出処理ユニット１９０３は、
第３図中の導出処理３０６（又は第１７図３０６０）を
実行するための専用ハードウェアである。記憶制御装置
１９０４は、制御ユニット１９０１．証明処理ユニット
１９ｏ２、及び導出処理ユニット１９０３の間の、記憶
アクセス要求の競合を調整する。処理の高速化のために
、キャッシュメモリが記憶制御装置１９０４中に設けら
れてもよい、また、証明処理ユニット１９０２又は導出
処理ユニット１９０３のいずれかの一方（好ましくは証
明処理ユニット）は、制御ユニット１９ｏ１の一部とし
て構成されてもよい。

更に、前述の諸実施例では、コントロール処理３０３又
は３０３０が、導出処理により得られた解を予想解と比
較する。しかし、導出処理３０３又は３０３０に予想解
を渡して、導出処理自身にこの比較を行なわせてもよい
。

次に、エキスパートシステムへの本発明の詳細な説明す
る。エキスパートシステムは、推論マシンに予めルール
の集合を装備することによって、実現される。したがっ
て、前述の諸実施例は、ルールの集合が予め記憶されて
いて、ルールの集合を入力する処理が除かれることによ
り、そのまま。

エキスパートシステムにおける対応する実施例になる。

かくして、本発明は、推論マシン又はエキスパートシス
テムのいずれによっても、有能な助手システムを提供す
ることができる。

〔発明の効果〕

以上の説明から明らかなように１本発明によれば、利用
者の判断の検証と、別間又は対抗解の提示とが、１回の
起動操作で自動的に行われ、それにより、早計及び見落
としが防がれ、最も妥当な結論に能率良く到達すること
ができる。証明処理と導出処理はデータを共有し、した
がって、追加データの利用者への問い合わせの重複は防
止される。証明処理の待ち状態の間に導出処理を行えば
、能率は一層高められる。

複数の予想解を一括して処理する変形は、利用者が複数
の判断の間で迷う場合に便利であり、別間又は対抗解の
有無のみをまず出力する変形は、利用者を過剰な情報か
ら救う。

また、本発明の装置によれば、証明処理と導出処理の完
全な同時実行が実現され、したがって。

処理時間が短縮される。

【図面の簡単な説明】

第１図は本発明の方法の一実施例におけるコントロール
処理の手順を示すフローチャートであり、第２図は本発
明の方法を実行するのに適したデータ処理システムの一
例のハードウェア構成を示すブロックダイヤグラムであ
り、第３図は前記実施例を実行するデータ処理システム
の機能構成を示すブロックダイヤグラムであり、第４図
は本発明で使用されるルールの形式の一例を示す図であ
り、第５図は第４図に示されたルールの中間語の形式を
示す図であり、第６図は第５図に示されたルール中間語
中の条件式の詳細を示す図であり、第７図は本発明で使
用される作業メモリの内容の形式の一例を示す図であり
、第８図は前記実施例におけるルールの成立を検証する
処理の手順を示すフローチャートであり、第９図は第８
図の処理手順における変数値を求める処理の手順を示す
フローチャーｈであり、第１０図はルール集合の一例を
示す図であり、第１１図は第１０図のルール集合の中間
語を示す図であり、第１２図は推論過程の初期における
作業メモリの内容の一例を示す図であり、第１３図は推
論過程の中間において第１２図から変化した作業メモリ
の内容を示す図であり、第１４図は推論過程の初期にお
ける作業メモリの内容の他の例を示す図であり、第１５
図は推論過程の中間において第１４図から変化した作業
メモリの内容を示す図であり、第１６図は本発明の方法
の第２の実施例におけろコントロール処理の手順を示す
フローチャートであり、第１７図は本発明の第３の実施
例を実行するデータ処理システムの機能構成を示すブロ
ックダイヤグラムであり。第１８図は第３の実施例におけるコントロール処理の手
順を示すフローチャートであり、第１９図は本発明の方
法の実行に適する本発明の判断補助装置の一実施例のブ
ロックダイヤグラムである。１０１〜１０３・・・データと予想解の入力、１０４・
・・証明処理の起動、１０５・・・導出処理の起動。１０７・・・予想解に賛成の旨の出力、１０８・・・別
解の出力、１０９・・・予想群に反対の旨の出力、１１
０・・・対抗解の出力、１６０１〜１６０５・・・複数
の子思量の入力、１８０１〜１８０３・・・別間の有無
の出力、１８０４．１８０５・・・要求による別間の出
力、１８０６〜１８０８・・・対抗解の有無の出力、１
８０９．１８１０・・・要求による対抗解の出力、１９
０１・・・制御ユニット、１９０２・・・証明処理のた
めの第１推論ユニット、１９０３・・・導出処理のため
の第２推論ユニット、２０１・・・入出力ユニツ１−１
２０３・・・共用メモリ。

Claims

【特許請求の範囲】１、入力装置と、出力装置と、１個以上のルールを保持
するルール記憶部を含む記憶装置と、前記ルールに基づ
く推論処理を行なう推論手段を含む処理装置とを備える
データ処理システムにおいて、問題を表わすデータとこ
の問題の予想解とを前記入力手段を介して受け取つて前
記記憶装置に記憶する入力ステップと、前記推論手段に
より前記データに前記ルールを適用して前記予想解の証
明を試みる証明ステップと、前記証明ステップと連動し
て開始されて前記推論手段により前記データに前記ルー
ルを適用して前記問題の全ての可能な解を導出する導出
ステップと、前記証明の成功又は不成功を表わす情報を
前記出力装置を介して出力する第１出力ステップと、前
記導出された解の少なくとも一部を前記証明の成功又は
不成功と関連付けて前記出力装置を介して出力する第２
出力ステップとを有し、前記証明ステップと導出ステッ
プの少なくとも一方は、その過程で必要が生じた追加デ
ータを前記出力装置を介して要求するステップと、前記
追加データを前記入力装置を介して受け取つて前記記憶
装置に記憶するステップとを含み、前記証明ステップ及
び導出ステップの他方は、前記一方の過程で記憶された
前記追加データを必要に応じて使用する、判断補助方法
。２、請求項１において、前記第２出力ステップは、前記
証明が成功した場合に前記導出された解の内で前記予想
解と異なるもののみを別解として出力し、前記証明が不
成功の場合に前記導出された解のすべてを対抗解として
出力する、判断補助方法。３、請求項１又は２において、前記入力ステップは、複
数の予想解を受け取り、前記証明ステップは、前記複数
の予想解のそれぞれの証明を試みる、判断補助方法。４、請求項１において、前記第２出力ステップに代えて
、前記予想解と異なる解の有無を表わす情報を出力する
ステップと、前記入力装置を介する要求に応じて予想解
と異なる前記解を前記出力装置を介して出力するステッ
プとを有する、判断補助方法。５、請求項１、２、３又は４において、前記証明ステッ
プは、その過程で必要が生じた追加データを前記出力装
置を介して要求するステップと、前記追加データを前記
入力装置を介して受け取つて前記記憶装置に記憶するス
テップとを含み、前記導出ステップは、前記証明ステッ
プの終了後に開始されて、記憶された前記追加データを
必要に応じて使用する、判断補助方法。６、請求項１、２、３又は４において、前記証明ステッ
プと導出ステップは並行して遂行され、両ステップのそ
れぞれは、その過程において必要が生じた追加データを
前記出力装置を介して要求するステップと、前記追加デ
ータを前記入力装置を介して受け取つて前記記憶装置に
記憶するステップとを含み、更に、他方により記憶され
た前記追加データを必要に応じて使用する、判断補助方
法。７、請求項６において、前記導出ステップは前記証明ス
テップが待ち状態にある間に行われる、判断補助方法。８、請求項１ないし７の任意の一つにおいて、前記ルー
ルの少なくとも一部を前記入力装置を介して受け取つて
前記記憶装置に記憶し、それにより前記ルール記憶部を
形成するステップを更に有する、判断補助方法。９、入力ユニットと、出力ユニットと、問題を表わすデ
ータにルール群を適用して予想解の証明を試みる第１推
論ユニットと、前記データに前記ルール群を適用して前
記問題の全ての可能な解を導出する第２推論ユニットと
、前記入力ユニット及び出力ユニット並びに第１及び第
２推論ユニットに接続されて前記第１及び第２推論ユニ
ットの並列動作を制御するとともに入出力処理を行なう
制御ユニットと、前記第１及び第２推論ユニット並びに
制御ユニットに接続されて前記データ及びルール群を含
む所要情報を記憶する共用メモリとを備える、判断補助
装置。