JPS62284427A - 未定値を含む確信度推論方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ３、発明の詳細な説明 〔産業上の利用分野〕 本発明は、命題間の因果関係ルールを対象に確信度演算
を行なう推論装置に係り、特に確信度が未定の命題を含
む推＃ａを行なうのに好適な、確信度推論方式に関する
。

〔従来の技術〕

従来、不確かな因果関係に関する推論法式については、
ショートリフによる「コンピュータ　ベースド　メディ
カル　コンサルテーションズ二ＭＹＣＩ　ＮＪ　、アメ
リカン　エルスピア出版社（１９７６年）９８頁−１０
８頁（Ｅ、ＨｏＳｈｏｒｔｌｉｆｆｅ。

−Ｃｏｍｐｕｔｅｒ−Ｂａｓｅｄ　ＭｅｄｉＣａｌ　Ｃ
ｏｎ５ｕｌｔａｔｉｏｎｓ：ＭＹＣＩＮ’、　Ａｙｌｅ
ｒｉｃａｎ　Ｅｌｓｅｖｉｅｒ　ｐｕｂ、　Ｃｏ、、　
工ｎｃ、。

１９７６、ｐｐ９８−１０８）において論じられている
。

この方式は命題の正しさ、命題間を結びつける因果知識
の正しさを確信度と呼ぶ−１から１″＆での数値で表わ
し、前提条件の論理積を各命題の確信式の、峻小値で求
め、それに因果関係の確信度を掛けたものを帰結命題の
確信度とする推論である。

帰結命題を持つ因果関係が複数ある場合は。

’　　（１’＋）　Ｘ　（１−ｆｔ）　ｘ・・・・・・
Ｘ（１−ｆ、）全帰結命題の確信度とする。但し’ＩＰ
・・・ｐ　　Ｌは各々の因果関係によって求められた確
信度である。

しかし、従来の方式では確からしさを数値のみで表わす
ために、その予測をせねばならず、確からしさを定める
ことが不可能である場合に関する配慮がされていなかっ
た。

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

上記従来技術は、確からしさの表現が数値だけであった
ため、確からしさの全くわからない命題を含んだ推論で
あるか、そうでないかの区別がつかないという問題があ
った。

本発明の目的は、上記問題点を解決することであり、確
信度が未定であることを表わす方式と、その未定値を含
む確信度の演算方式により、確がらしさがわからない命
題を推論に含めること、及び使用者にそのような命題が
含まれていることがはっきりわかるような推論方式を提
供することにある。

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

上記目的を達成するため１本発明では因果関係の確信度
はＯと１の間の数値で表わす。１に近づけば関係が強い
という意味である。命題の確信度については、正しさの
確かさ’ｋｆｆわす０と１の間の数値、又は確かさがわ
からないという意味を表わす１！”、更にその組み合わ
せである１数値十？”のいずれかで表わす。組み合わせ
表現の意味は数値以上の確信度であるが、どれくらい大
きいのかはわからないということである。これらの表現
を使用することを前提とした確信度演算方式を適用する
ことによって推論を進める。

〔作用〕

ある命題の確信度？推論する時、それ？帰結今頃とする
ルールの確信度のＯＲ，関係確信度演算を行なう。この
時、演算に適用するルールは使用者指示で１つずつ決め
、その都度結果を出力する。

使用者の指示で全てのルールを適用する前に終了するこ
とも可能である。適用ルールが決ったならば、そのルー
ルによる帰結命題の確信度を推論する。これらの推論に
おける演算は、基本的には従来の方式と同様であり、前
提条件のＡＮＤ演算（論理積）は最小値とし、′！１は
Ｏより大なる最小の値として扱う。ルール確信度による
帰結命題演算では数値部、′Ｔ″部を別に演算し、′数
値＋テ”形式で表わす。ただし数値と“↑”の乗算は“
！”とする。ＯＲ関係確信度演算も同様に従来方式を数
値部と１↑”部を別にして演算する。

更に、推論終了後確信Ｉｌｌ評価し、その評価結果と、
未定値命題を評価結果に皐じて出力する。

以上によって確からしさがわからない命唸ヲ数値による
確信式に置きかえずに使用することができる。

〔実施例〕

以下１本発明の一実施例を第１図〜第１１図により説明
する。まず、第１図は本発明による推論装置のブロック
構成図である。入出力装置１０１から入力された命題に
対し中央処理装置１０２の推論制御部１０３はメモＩＪ
　ｌ　０６のルール格納部１０７からそれを帰結するル
ールを探す。ルールがない場合や使用者の指示のちった
場合は、入出力袋＆１０１から確信度を入力する。その
時未定であると入力されたならば、その命題ｔメモリ１
０６の未定値命題格納部に格納する。中央処理装置１０
２の彊信度演算部１０４はルールを使用して命題の確信
度演算を行なう。また中央処理袋ｒＪｊｔ１０２の演算
結果評価＋９６１０５は、メモリ１０６の評価値格納部
１０８と未定値命題格納部１０９に格納されている情報
に従い、確信度の評価結果を入出力装置１０１に出力す
る。

萩いて、第２図でルール格納部１０７の一実施例を説明
する。ルール２０１はルール識別用の番号２０２．ｉｆ
部２０３．ｔｈｅｎ部２０６、確信度２０７より構成さ
れている。更にｉｆ部２０３は命題２０４、命題２０５
によシ構成されている。

これらはＡＮＤ関係である。同様にルール２０８はルー
ル識別用の番号２０９．ｉｆ部２１０、ｔｈｅｎ部２１
１、確信１ｆ２１２により構成されている。ルール２０
１とルー／ｌ／２０８のｔｈｅｎ部は同じ命題である。

このような場合、両方で確信度を求め、それに対しＯＲ
，演算したものをその命題の確信度とする。

次に、第３図のフローチャートにより本発明の制圓手順
を説明する。まず、ステップ３０１で推論する命題の確
信５ｉｉＯ，Ｏにする。ステップ３０２でその命題の確
信度ヲ使用者が入力するかルールで推論するか使用者の
指示を判定する。ルールで推論するならば、ステップ３
０３でルール格納部１０７から命題２ｔｈｅｎ部に含む
ルールを全て求め、ステップ３０４でそのようなルール
が求められたかを判定する。ステップ３０２で使用者が
確信［−入力すると判定された１４合とステップ３０４
でルールがないと判定された場合、ステップ３０５で入
出力装置１０１から命題の確信度を入力し、ステップ３
１２へ進む。この使用者は確からしさを表わす０と１の
間の数（直又はどれくらい確かであるかわからないとい
う未定値を表わすＴ”のいずれかである。ステップ３０
４でルールが判定された場合、それらｔ−１つずつ選ん
でルールによる確信度を求めそれらの０ル演算を行なう
。まずステップ３０６で選択されていないルールが残っ
ているか判定する。すべてのルールによる確信度のＯＲ
，演算を行ってしまった女らばゾ算を終了しステップ３
゛１２へ進む。次に、ステップ３０７で使用者がルール
を選ぶ。この時使用者はルールの選択を終了することを
選ぶことができる。ステップ３０８でルール格納部んだ
か終了であるか判定し、終了ならばステップ３１２へ進
む。これらは推論制御部１０３で行なう。ルールを選ん
だのであれば、ステップ３０９でそのルールのｉｆ部の
命瞳各々の確信度を求め、そのＡＮＤ演算を行なう。

次にステップ３１０でルールの確信度４作用させ。

帰結命題の確信■を求める。次にステップ３１１で既に
設定されている値とＯＲ，演算しその値を出力し求めら
れた値を新たに確信度として設定し、ステップ３０６か
ら繰シ返す。これらは確信度演１Ｎ１０４で行なう。最
後にステップ３１２で確信度３１２を評価し、その結果
を出力する。これは演算結果評価部１０５で行なう。

第４図で本発明の確信度のＡＮＤ演算方式の一実施例に
ついて説明する。ｘ、ｙはＯと１の間の数値、“テ”は
未定の値を表わす。式４０１は数値と数値のび算であシ
従来と同様である。式４０２゜式４０３は数値と“↑”
の演算でありＴ”は０よυ大きいが値がわからないとい
う意味なのでＸがＯであるかどうかの場合分けになって
いる。式４０４、式４０５は“数値＋！”と“↑”の演
算、式４０６２式４０７は１故値＋７″と数値の演算。

式４０８は１数値＋！”同士の演算、式４０９は＠ｉ＃
同士の演算である。

第５図で本発明のルールの確信ｉｔ−作用させて帰結命
題の確信［１演算する方式の一実施例を説明する。ｐは
ルールの確信度である。式５０１は前足条件の確信度が
数値の場合で従来と同様である。式５０２は前提条件の
確信度が１ｉ”の場合の演算であり１式５０３は、“数
道＋！”の場合である。

第６図で本発明のＯＲ演算方式の一実施例について説明
する。式６０１は数値と数値の演算であり従来と同様で
ある。式６０２．弐６０３は数値と“↑”の演算であり
、式６０４．式６０５は“数値＋ｉ″と”？”の演算で
あり、式６０６２式６０７は１数値＋！”と数値の演算
であり、式６０８は“数１直十↑”同士の演算であり、
式６０９は“↑”同士の演算である。

次に第７図で確信度の評価価格、納テーブルの一実施例
について説明する。確信度の数値部がテーブル７０１の
確信度下限以上の時、その評価値が出力される。

第８図は本発明の確信度推論の一例である。命題８０１
はルール８０２により推論され、その前提条件は命題８
０３と命題８０４である。命題８０４はルール８０５．
ルール８０６．ルール８０７により推論される。ルール
８０６の前提条件である命題８０９の確信度が未定であ
るため、命題８０１の確信度は数値と“Ｔ″の組み合わ
せになっている。

第９図は第８図の確信度推論の評価のディスプレイ上の
出力例である。命Ｍ８０１の確信度の数値部のテーブル
７０１による評価により出力９０１が出力され、更に未
定値の値によっては上位の評価になる可能性があるため
、出力９０２が出力される。

第１０図は第８図に示した推論の例と同じ知識で命題の
確信度を変更した例である。命題１０１０に示すＦの確
信役が０．３から０．８へ・変梃したため、命題１００
１に示す人の確信度も変更されている。

第１１図は第１０図の推論評価のディスプレイ上の出力
例である。命題１００１の確信度の数値部が最上位の評
価であるため、出力１１０１だけが出力される。

〔発明の効果〕

本発明の方式によれば、確信度の未定な命題を含むルー
ルを使用して確信度推論が行なえる。更に、未定値を含
んだ推論であるかどうかということや、どの命題の確信
度が未定であるのかということや、未定の値が帰結命題
の確信度に影響を及ぼしているかどうかなどを、使用者
が容易に把握できるという効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例のブロック構成図、第２図は
本発明のルールの例を示す図、Ｎ３図は本発明の確信度
推論の制御手順ｋｍすフローチャート、第４図は本発明
の前提条件の論理積演算であるＡＮＤ演算方式の一実施
例を示す図、第５図は本発明の前提条件とルールの確信
度より帰結命題の確信度を求める演算方式の一実施例を
示す図。 第６図は本発明の複数ルールより確信度を求めるＯＲ演
算方式の一実施例を示す図、第７図は本発明の確信度評
価データの一例を示す図、第８図は本発明の確信度推論
の実行結果の一例を示す図、第９図は第８図に示す推論
における確信度評価結果のディスプレイ上の出力例を示
す図、第１０図は本発明の確信度推論の実行結果の他せ
の例を示す図、第１１図は第１０図に示す推論における
確信度評価結果のディスプレイ上の出力例を示す図囁　
ｌ　ロ 第　２　図 第　３目 朱４図 （１ｎｄ　（？　、χす７）　　＝　　？　　　　　　
　−−−−４０５ａｎｄ　は＋礼ｙ＋？）＝　　＝ｎ（
−ｔ、ｙ）−＋−？　　−−−−＋ｏｇａｎｄ（７，７
’　　）　　　　＝？　　　　　　　　　　　　　　　
　　　　　−−−−４θフ０≦美、１６１．０ 渚５凹 ４、　（？）　−ＰＸ　１　−−−−　ｆθｌｆ　（？
）　−７−−−−ｆＤ２ ５　（コＬ＋？）−ｐｘズ、十？　　−−−−５０３Ｐ
　　ルールａ＆”＊億羨 ０≦美≦ＩＯ 爾　６　圀 ＯヒＣχ７醤）−７−（＋−χつ（１−硬　　　　−−
−−ｂａｔＯに（−ｔ−、？）＝プ＋？　　　　　　　
　−−−−６０２ｏｒ＜？、　ｉ）　　ｔ　χ、＋？　
　　　　　　　　　　−一−−６ｏ３０１−（プヤ？、
？）−χ十？　　　　　　　　　　　−−−−６ｏ＋Ｏ
ｒ（？、？ノー？　　　　　　　　　　−−−−６０’
ｆθ≦χ、曾Ｓｔ、Ｏ １　′８凹 第９　凹

Claims (1)

1. 【特許請求の範囲】 １、入出力装置と確信度付きの命題間の因果関係ルール
   を記憶する記憶装置と確信度推論を行なう演算装置より
   成る推論装置において、確信度が未定であることを示す
   記号を含む確信度演算によつて、確信度が未定である命
   題のルールを使用した確信度推論を行なうことを特徴と
   する未定値を含む確信度推論方式。 ２、前記確信度推論は、同じ命題を推論する複数のルー
   ルに対し、使用者が推論におけるＯＲ関係確信度演算へ
   のルール適用と演算の終了を指示する形式の推論制御を
   おこなうことを特徴とする特許請求の範囲第１項記載の
   未定値を含む確信度推論方式。 ３、前記確信度推論は、確信度とその強さの評価値の関
   係を予め記憶装置に記憶しておき、確信度が未定な命題
   を推論で使用したならばそれを記憶装置に記憶し、推論
   終了後、確信度の評価によつて、未定値に対する言及を
   出力することを特徴とする特許請求の範囲第１項記載の
   未定値を含む確信度推論方式。