JPH03250222A - 推論方式 - Google Patents

推論方式

Info

Publication number
JPH03250222A
JPH03250222A JP2048673A JP4867390A JPH03250222A JP H03250222 A JPH03250222 A JP H03250222A JP 2048673 A JP2048673 A JP 2048673A JP 4867390 A JP4867390 A JP 4867390A JP H03250222 A JPH03250222 A JP H03250222A
Authority
JP
Japan
Prior art keywords
hypothesis
knowledge
verification
event
hypotheses
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
JP2048673A
Other languages
English (en)
Inventor
Masaru Araki
大 荒木
Shoichi Kojima
昌一 小島
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.)
Toshiba Corp
Original Assignee
Toshiba Corp
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 Toshiba Corp filed Critical Toshiba Corp
Priority to JP2048673A priority Critical patent/JPH03250222A/ja
Publication of JPH03250222A publication Critical patent/JPH03250222A/ja
Pending legal-status Critical Current

Links

Landscapes

  • Devices For Executing Special Programs (AREA)

Abstract

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

Description

【発明の詳細な説明】 [発明の目的] (産業上の利用分野) 本発明は、いわゆる診断型のエキスパートシステム等の
推論方式に関する。
(従来の技術) 近年、コンピュータの高性能化にともない、従来は専門
家の手により処理されていた熟練を要する仕事の一部を
コンピュータに代行させるいわゆるエキスパートシステ
ムの開発が進められている。
特に診断型のエキスパートシステムでは、ある初期事象
が与えられるとその初期事象に対する原因事象を推論す
る推論系を備えており、この推論系の性能がエキスパー
トシステム全体の性能を大きく左右している。
ところで、一般にこのような推論系では、事象間の因果
関係を示す知識を収めた因果関係知識を用いて仮説を生
成し、それらの仮説について種々のデータを収集するこ
とで仮説の検証を行って解を得る。
この仮説生成に用いられる因果関係知識の内容を図式化
した一例を第2図に示す。
同図において例えば事象Aは事象り、E、Fと因果関係
にあることを示している。
即ち、この因果関係知識を用いれば初期事象として事象
Aがあたえられた時、候補事象DSE。
Fが仮説として候補に挙がる。
しかしながら、これらの仮説は全て同等に扱われるので
、もともと成立する可能性の低い仮説であっても成立す
る可能性の高い仮説と同様に検証が行われる。
従って、多くの場合、最終的な解に至るまでに多大な時
間を要し、解の探索効率が悪いという問題があった。
(発明が解決しようとする課題) 以上述べたように、従来の推論方式では全ての原因事象
が同等に仮説として扱われ、成立する可能性の低い仮説
に対しても検証が行われるので、解の探索効率が悪いと
いう課題があった。
本発明はこのような課題を解決すべく為されたもので、
仮説の検証を選択的に行うことで、解の探索効率を上げ
ることのできる推論方式を提供するものである。
[発明の構成] (課題を解決するための手段) 本発明は、与えられた事象を説明する仮説を生成する仮
説生成部と、この仮説生成部によって生成された仮説の
検証を行う仮説検証部とによって問題解決を行う推論シ
ステムにおいて、前記仮説生成部が、前記仮説検証部で
の検証の対象となる仮説を限定し、残りの仮説を検証の
対象となることを一時待機の状態にする、あるいは検証
の対象から削除する手段を有し、前記仮説検証部が、前
記仮説生成部で一時待機の状態にされた仮説を検証の対
象に戻す手段と、検証の対象にある仮説を一時待機の状
態に変更する手段とを有するものである。
(作 用) 本発明では、いわゆる因果関係知識以外にも例えば原因
としての出現頻度など、仮説の成立する可能性を示す知
識を用い、成立する可能性の高い仮説から選択的に検証
を行う。
従って、不必要に成立する可能性の低い仮説の検証を行
わずに済み、解の探索効率を上げることができる。
(実施例) 以下、本発明の実施例を図面を用いて説明する。
第1図は本発明の一実施例−に係わる推論システムの構
成を説明する図である。
同図に示すように、この推論システムは仮説集合生成プ
ロセス10、仮説検証プロセス20.検証結果評価プロ
セス30、仮説集合修正プロセス40から構成されてい
る。
また、それぞれのプロセスが処理を行う為の知識として
、因果関係知識51、制御判断知識52、検証方法知2
53が用意されている。
因果関係知識51は、ある事象に対して因果関係にある
事象が第2図に示される従来例と同様にして収められて
いる。例えば、事象DSE、Fは事象Aと因果関係にあ
る候補事象であり、診断結果となる原因事象H1■、J
SKに対する中間仮説となる。
また、制御判断知識52には、例えばその原因としての
出現頻度等のように、仮説の成立する可能性を示す知識
が収められている。
検証方法知識53には、仮説が存在するか否かの検証に
必要な知識、例えばある事象の存在を確認するために必
要なデータは何であるかといったことが収められている
次に、この推論システムの各プロセスについてさらに詳
細に説明する。
仮説集合生成プロセス10は、仮説集合61を作成し直
すプロセスであり、入力された初期事象100に対し因
果関係知識51及び制御判断知識52を参照することで
仮説集合61及び待機仮説集合62を生成する。例えば
、初期事象として事象Aが与えられた場合、仮説集合生
成プロセス]Oは因果関係知識51に基づいて候補事象
り、E、Fを洗い出し、さらに制御判断知識52により
事象り、ESFを仮説集合61と待機仮説集合62に分
類する。これは、事象Fが事象り、Hに比べ可能性が低
い場合には事象り、Eを仮説集合に、事象Fを待機仮説
集合に入れ、事象Fの検証を一時待機させる。
仮説検証プロセス20は、仮説集合61内の仮説の検証
に必要なデータ200を検証方法知識53に基づいて収
集する。これは、例えば仮説集合に事象りとEがある場
合、事象りの存在を確認するために必要なデータ、事象
りの存在を否定するために必要なデータ、事象Eの存在
を確認するために必要なデータ、事象Eの存在を否定す
るために必要なデータのいずれかのデータが収集される
検証結果評価プロセス30は、検証方法知識53と仮説
検証プロセス20により収集されたデータ200に基づ
いて仮説の評価を行う。そして、評価の結果、最終結果
に到達している場合は推論結果300を出力し、到達し
ていない場合には仮説集合61の生成を行うか、修正を
行うかの判断を下す。これは、例えば検証された仮説が
事象D1E、Fのような中間仮説であった場合、この中
間仮説に対して仮説集合生成プロセス10により次の仮
説集合61の生成が行われる。また、検証の結果、仮説
が否定された場合、仮説集合修正プロセス40により仮
説集合61の修正が行われる。
仮説集合修正プロセス40は、仮説集合61内の仮説の
除去や仮説集合61と待機仮説集合62間の仮説の移動
を行う。これは、検証結果評価プロセス30により存在
が否定された仮説を仮説集合61から除去する。また、
仮説集合61内の仮説、例えば事象り、Hの存在が否定
された時、制御判断知識52に基づいて待機仮説集合6
2内の待機状態の仮説、例えば事象Fを仮説集合61に
移動させる。
この推論システムでは、上述したようなプロセスを繰返
すことで推論が行われている。
従って、仮説が、制御判断知識によって、検証を直ちに
行う仮説集合と検証待ちの状態にある待機仮説集合に分
類され、成立する可能性の低い仮説は可能性の高い仮説
が否定された時にのみ、その検証が行われるので、解の
探索効率を向上させることができる。
[発明の効果] 本発明では、仮説の成立する可能性を示す知識を用い、
成立する可能性の高い仮説から選択的に検証を行うので
、不必要に成立する可能性の低い仮説の検証を行わずに
済み、解の探索効率を上げることができる。
【図面の簡単な説明】
第1図は本発明の実施例の推論システムの構成を示す図
、第2図は因果関係知識を図式化した図である。 10・・・仮説集合生成プロセス、20・・・仮説検証
プロセス、30・・・検証結果評価プロセス、40・・
・仮説集合修正プロセス、51・・・因果関係知識、5
2・・・制御判断知識、53・・・検証方法知識、61
・・・仮説集合、62・・・待機仮説集合、100・・
・初期事象、200・・・データ、300・・・推論結
果。

Claims (1)

    【特許請求の範囲】
  1. (1)与えられた事象を説明する仮説を生成する仮説生
    成部と、 この仮説生成部によって生成された仮説の検証を行う仮
    説検証部と によって問題解決を行う推論システムにおいて、前記仮
    説生成部が、前記仮説検証部での検証の対象となる仮説
    を限定し、残りの仮説を検証の対象となることを一時待
    機の状態にする、あるいは検証の対象から削除する手段
    を有し、前記仮説検証部が、前記仮説生成部で一時待機
    の状態にされた仮説を検証の対象に戻す手段と、検証の
    対象にある仮説を一時待機の状態に変更する手段とを有
    することを特徴とする推論方式。
JP2048673A 1990-02-27 1990-02-27 推論方式 Pending JPH03250222A (ja)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2048673A JPH03250222A (ja) 1990-02-27 1990-02-27 推論方式

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2048673A JPH03250222A (ja) 1990-02-27 1990-02-27 推論方式

Publications (1)

Publication Number Publication Date
JPH03250222A true JPH03250222A (ja) 1991-11-08

Family

ID=12809843

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2048673A Pending JPH03250222A (ja) 1990-02-27 1990-02-27 推論方式

Country Status (1)

Country Link
JP (1) JPH03250222A (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008102562A (ja) * 2006-10-17 2008-05-01 Fujitsu Ltd シナリオ作成支援プロブラム及び装置及び方法

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008102562A (ja) * 2006-10-17 2008-05-01 Fujitsu Ltd シナリオ作成支援プロブラム及び装置及び方法

Similar Documents

Publication Publication Date Title
US20250174225A1 (en) Dilated convolutions and gating for efficient keyword spotting
US20230035910A1 (en) Method, system and device for parallel processing of data, and storage medium
US6581026B2 (en) Method and configuration for comparing a first characteristic with predetermined characteristics of a technical system
US8392921B2 (en) Apparatus and method of coordinating operation action of robot software component
JP2003280924A (ja) 通信設備で階層構造を有するイベントの処理方法
CN108985344A (zh) 一种神经网络模型的训练集优化方法及系统
KR20170071325A (ko) 언어 분석 오류 보정 장치 및 방법
CN112507265B (zh) 基于树结构进行异常侦测的方法、装置及相关产品
US8762953B2 (en) Exception-based error handling in an array-based language
Rostami et al. Segment any crack: Deep semantic segmentation adaptation for crack detection
Mohamed et al. Enhancing test cases prioritization for internet of things based systems using search-based technique
JPH03250222A (ja) 推論方式
CN118885888B (zh) 多模型协同处理安全运营任务的方法、装置、系统和介质
CN114791985A (zh) 域名匹配方法及装置、前缀树更新方法及装置
Vinnakota et al. Diagnosability and diagnosis of algorithm-based fault-tolerant systems
US8554522B2 (en) Detection of design redundancy
CN112486615B (zh) 基于拓扑路径的决策流执行方法、装置、设备及存储介质
Fragal et al. Reducing the concretization effort in FSM-based testing of software product lines
Le Lann A methodology for designing and dimensioning critical complex computing systems
Ibarra et al. Counterfactual Deformation and Idealization in a Structuralist Framework
CN115099371B (zh) 一种lstm异常检测方法、装置、设备及存储介质
US20260064841A1 (en) Ai model-based data enrichment pipeline
US20080155511A1 (en) System and method for detecting events in computer code using interval values simulation
CN110471771A (zh) 一种配电实时操作系统
Villadangos et al. A safe algorithm for resolving OR deadlocks