JPH0455941A - 証拠推論実行方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔概要〕 不確実な証拠をもとに推論する証拠推論実行方式に関し
、 オブジェクト指向言語の枠組みの中で、不確実性の操作
およびこれに基づく推論を行い、手続き処理と融合した
不確実な証拠に基づく推論を容易に可能にすることを目
的とし、 不確実な証拠をもとに結合などの操作を行うＤＳ操作メ
ソッドをクラスに設け、クラスのサブクラスとしてユー
ザ定義の識別空間を設け、クラスのインスタンスとして
この識別空間の証拠を設け、ユーザプログラムの実行時
に、上記識別空間に証拠が生成されたときに、当該識別
空間に予め証拠の結合などの操作が定義されていないと
きはそのまま上記ＤＳ操作メソッドの証拠の結合などの
操作を行い、一方、当該識別空間に予め証拠の結合、表
示などの操作が定義されていた場合に定義されていた証
拠の結合、表示などの操作を行うように構成する。

Ｃ産業上の利用分野〕 本発明は、不確実な証拠をもとに推論する証拠推論実行
方式に関するものである。オブジェクト指向言語の処理
系において、手続き処理中でデンプスタ・シェーフ７−
　（Ｄｅｓｐｓｔｅｒ−５ｈａｆｅｒ　）理論に基づく
確率値を扱う手段を与えて、プログラミング言語の中で
不確実性を持つ情報の処理を可能にすることにより、既
存のプログラミング言語で記述が困難であった不確実な
証拠に基づく診断問題を簡易に解くことが望まれている
。

〔従来の技術と発明が解決しようとする課題〕従来、Ｄ
ｅｍｐｓｔｅｒ−５ｈａｆｅｒ　Ｆｌ論に基づく確率値
を表現するために、専用の言語を利用しており、船釣な
手続き言語と統合した表現手段がなかった。

このため、ＤｅＩｌｐｓｔｅｒ−５ｈａｆｅｒ　１ｇ論
に基づく確率値を専用の言語で不確実な証拠に基づく推
論を記述した場合、推論部と手続き処理との間のデータ
と制御の授受が困難となり、既存システムと密接に連携
した知識処理システムを構築し得ないという問題があっ
た。

本発明は、オブジェクト指向言語の枠組みの中で、不確
実性の操作およびこれに基づく推論を行い、手続き処理
と融合した不確実な証拠に基づく推論を容易に可能にす
ることを目的としている。

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

第１図を参照して課題を解決するための手段を説明する
。

第１図において、ＤＳ操作メソッド２は、不確実な証拠
をもとに結合などの操作を行うものであって、クラスに
設けたものである。

識別空間３は、クラスのサブクラスとして設けた識別空
間であって、ユーザが自由に定義できるものである。

証％４は、クラスのインスタンスとして、識別空間３に
対応づけて設けたものである。

〔作用〕

本発明は、第１図に示すように、ユーザプログラムの実
行時に、識別空間３に証拠４が性成されたときに、当該
識別空間３に予め証拠の結合などの操作が定義されてい
ないときはそのままＤＳ操作メソッド２の証拠の結合な
どの操作を行い、方、当該識別空間３に予め証拠の結合
、表示などの操作が定義されていた場合に定義されてい
た証拠の結合、表示などの操作を行うようにしている。

従って、オブジェクト指向言語の枠組みの中で、不確実
性の操作およびこれに基づく推論を行うことにより、手
続き処理と融合した不確実な証拠に基づ（推論を容易に
行うことが可能となる。

〔実施例〕

次に、第１図から第３図を用いて本発明の１実施例の構
成および動作を順次詳細に説明する。

第１図において、ＤＳクラス１は、Ｄｅｍｐｓｔｅｒ−
５ｈａｆｅｒの確率を持つ証拠を表現するために必要な
データ型および証拠を操作する手続きを提供するために
設けたクラスである。このＤＳクラス１は、システムの
標準として提供する。

ＤＳ操作メソッド２は、証拠を操作するものであって、
証拠の生成、証拠の結合、証拠の評価などから構成され
ている。

識別空間３は、ＤＳクラス１のサブクラスとして定義す
る空間であって、ユーザが自由に定義できるものである
。また、識別空間３の間には、結合関係を定義すること
もできる。

証拠４は、識別空間３に対して生成されるものであって
、ＤＳクラス１のインスタンスとして表現する。

第１図ユーザ定義は、第２図サブクラス定義によって定
義されたものである。ここでは、ユーザ定義が、識別空
間“消費支出増加率“犯罪容疑”職務権限”を定義して
いる。これらユーザ定義の識別空間３は、全てＤＳクラ
ス１のサブクラスである。識別空間３“消費支出増加率
”には、証拠として、“Ａ氏の消費支出増加率”が生成
されている。同様に、識別空間３“職務権限”と、′犯
罪容疑”には、それぞれ“Ａ氏の職務権限゛と、“Ａ氏
の犯罪容疑”が生成されている。

ＤＳクラス１には、証拠の生成、適合関係に沿った推論
、証拠の評価がある他、証拠の操作に必要な手続きが用
意されている。これらの手続きは、オブジェクト指向言
語の継承の機能により、ユーザが定義した結合関係や、
入力した証拠に対して実行する０例えば識別空間“消費
支出増加率”に“Ａ氏の消費支出増加率”を生成すると
きは、“消費支出増加率”の証拠の生成を要求すると、
ＤＳクラス１に定義された証拠の生成の処理が実行され
る ここで、ユーザがＤＳ操作メソッド“証拠の評価”を定
義した場合、ＤＳクラスｌで標準提供されているＤＳ操
作メソッド２の証拠の結合を直接呼び出すのではなく、
ユーザが定義した証拠の結合などの処理を行う、一方、
ユーザがＤＳ操作メソッド“証拠の評価“、を定義しな
い場合、ＤＳクラス１で標準提供されているＤＳ操作メ
ソッド２の証拠の結合などを直接に呼び出して処理を行
う。

以下第２凹ユーザプログラムをもとに第３菌を参照しつ
つ第１図構成の動作を順次詳細に説明する。

第２図の記述例を実行すると、以下のようなデータ構造
が生成され、推論が行われる。

（１）　　ここで、識別空間３に対しては、サブクラス
定義で記述された状態と、その組合せの情報が生成され
る。状態の組合せは、例えば１００％以上と、５０％以
上１００％未満を組み合わせて５０％以上という状態を
生成する。特に、全ての状態の組合せのものを不明の状
態とみなす。

（２）　　この識別空間３に証拠が生成されると、識別
空間３の情報に従って、Ｄｅｍｐｓｔｅｒ−５ｈａｆｅ
ｒの結合法則に従い、確率を計算して新たな証拠を生成
する。

（３）　　ここで、■に示すように“消費支出増加率”
のサブクラス定義で、証拠の結合をユーザが定義してい
ると、ＤＳクラスで標準提供されている証拠の結合の処
理を直接呼び出すのではなく、ユーザが定義した証拠の
結合の処理が動作する（第１図■）、この例の場合、ユ
ーザ定義の証拠の結合では、まず、ＤＳクラスの証拠の
結合を動作させた後、証拠の内容を表示する。もし、■
で証拠の結合（証拠）を定義していない場合、ＤＳクラ
スの証拠の結合が起動されるだけである（第１図［相］
）。

（４）次に、第２図ユーザプログラムの５ＵＢＲＯＵＴ
ＩＮＥ　　ＳＵＢ　（＞を実行したときの動作を第３図
の順に説明する。

第３図において、■は、識別空間“消費支出増加率”の
定義情報である。これは、第２図■のサブクラス定義に
よって定義された“消費支出増加率°の状態を模式的に
表したものである。

＠は、第２図■の実行によって生成した証拠１を模式的
に表したものである。ここでは、１００％以上の確率が
０．５であるので、図示のように、１００％以上に０．
５、不明に残りの０．５を生成して格納する。

０は、第２図■の実行によって生成した証拠２を模式的
に表したものである。ここでは、５０％以上の確率が０
．６であるので、図示のように、５０％以上に０．６、
不明に残りの０．４を生成して格納する。

［相］は、第２図■の実行によって証拠１と証拠２を結
合した証拠を模式的に表したものである。

■は、■のサブクラス定義で、■°で′証拠の内容表示
（）”が定義されていることに対応して、結合した証拠
の内容が表示される。

以上のように、サブクラス定義によって識別空間“消費
支出増加率”などをユーザが定義したり、更にサブクラ
ス定義で必要に応じて“証拠の結合”などを定義するこ
とにより、標準提供したＤＳ操作メソッド２で証拠を生
成したり、更にサブクラス定義で定義した“証拠の結合
”および“結合した証拠の表示”などを行うことが可能
となる。

〔発明の効果〕

以上説明したように、本発明によれば、オブジェクト指
向言語の枠組みの中で、不確実性の操作およびこれに基
づく推論を行う構成を採用しているため、手続き処理と
融合した不確実な証拠に基づく推論を容易に行うことが
できる０例えば第１図ユーザ定義中で識別空間３“消費
支出増加率”の定義時に第２図■の定義を併セて行うこ
とにより、この第２図■で定義した証拠の結合などを行
うと共に結合した証拠の内容を表示したり任意に行うこ
とができる。一方、第２図■の定義を行わないことによ
り、ＤＳクラス１で標準提供されたＤＳ操作メソッド２
の証拠の結合によって証拠を結合することができる。こ
れら両者をユーザ定義で容易に使い分けることが可能と
なる。また、ＤＳ操作メソッド２によってＤｅａｐｓｔ
ｅｒ−Ｓｈａｆｅｒ理論による不確実性の証拠の操作を
容易に行うことができる。

発明に係るユーザプログラム例、第３図は本発明の動作
説明図を示す。

図中、１はＤＳクラス、２はＤＳ操作メソッド、３はユ
ーザ定義による識別空間（ＤＳクラスのサブクラスとし
て表現）、４は証拠（ＤＳクラスのインスタンスとして
表現）を表す。

Claims (1)

1. 【特許請求の範囲】 不確実な証拠をもとに推論する証拠推論実行方式におい
   て、 不確実な証拠をもとに結合などの操作を行うＤＳ操作メ
   ソッド（２）をクラスに設け、 クラスのサブクラスとしてユーザ定義の識別空間（３）
   を設け、 クラスのインスタンスとしてこの識別空間（３）の証拠
   （４）を設け、 ユーザプログラムの実行時に、上記識別空間（３）に証
   拠（４）が生成されたときに、当該識別空間（３）に予
   め証拠の結合などの操作が定義されていないときはその
   まま上記ＤＳ操作メソッド（２）の証拠の結合などの操
   作を行い、一方、当該識別空間（３）に予め証拠の結合
   、表示などの操作が定義されていた場合に定義されてい
   た証拠の結合、表示などの操作を行うように構成したこ
   とを特徴とする証拠推論実行方式。