巨大システムの信頼性・安全性設計のための不確実性推論と情報制御

点击翻译按钮获取中文摘要

知識に不確実さが伴うときは、命題の真偽を断定できないことがある。このような状況において、命題が真であると思われる度合を確率論に基づいて定義しようとすると、加法性が要求されるため、必ずしも与えられた状況が適切に表現できるとは限らない。Dempster-Shafer理論は、測度に加法性、単調性を要求しないことから、不確実な知識のもとでの推論の一方式として注目されている。Dempster-Shafer理論では、複数の知識源(センサあるいはオペレ-タなど)からの情報をいかに統合するかがひとつの中心的課題であり、情報統合規則として、Dempsterの規則とYagerの規則が知られている。本年度は、不確実情報のもとでのシステム安全制御にDempster-Shafer理論を応用する場合、情報統合規則と安全制御方式は独立に選択できないことを明らかにした。このためにまず、Dempsterの規則とYagerの規則を特殊例とする統一的規則を導出した。この統一的規則により、既知の2つの規則を内挿する規則の存在のみならず、今まで全く考えられなかった新しい形態の規則の存在も同時に明らかとなった。安全制御方式としては、「危険証明型」と「安全証明型」の2形態が考えられることを明らかにしたうえで、上述の統一的規則のもとで、各安全制御方式の最適性を保証する情報統合規則を導出した。現在は、システム異常アラ-ムにより通報されたときのシステム安全制御方式の解析を行っている。すなわち、アラ-ムには正常なアラ-ムと虚偽のアラ-ムがあり、これらを識別するための補助的情報を収集する過程を新しく導入する方式を提案し、この過程のもたらす制御の時間遅れとシステム・ダイナミクス、信頼性特性の関係を解析している。この結果の一部は国際シンポジウム(1991.2アメリカ合衆国)で公表すべく準備中である。