意思決定支援システムが示す選択肢の正しさと計算スピードを両立する手法を開発

情報・システム研究機構　国立情報学研究所（ＮＩＩ、所長：喜連川 優、東京都千代田区）のアーキテクチャ科学研究系　特任研究員　滝坂 透（タキサカ トオル）、同研究系　准教授　蓮尾 一郎（ハスオ イチロウ）らの研究チームは、科学技術振興機構（ＪＳＴ、理事長：濵口 道成、東京都千代田区）の戦略的創造研究推進事業 ＥＲＡＴＯ 蓮尾メタ数理システムデザインプロジェクト（ＥＲＡＴＯ ＭＭＳＤ、研究総括：ＮＩＩアーキテクチャ科学研究系　准教授・蓮尾 一郎）の下、ゴールの達成確率を最大化する戦略を精度保証しながら高速に計算する手法（以下、改良ＢＶＩ法）を開発しました。この手法は、工業製品の品質確認や自動運転の制御、マーケット投資戦略の策定など、幅広い分野の意思決定を支援するシステムに応用可能で、システムが示す選択肢の正しさ（精度）を保証しつつ高速に計算して結果を提示できます。

改良ＢＶＩ法では、従来手法が精度保証のために時間をかけて行っていた計算の省略に成功しました。従来の手法との性能比較実験では、バーチャルマシンへのウェブ・アプリデプロイメント問題の例題で１００倍〜数千倍の高速化、マーケット投資戦略の策定問題の例題で３倍弱〜５倍弱の高速化が見られました。これにより、工業製品やウェブ・サービスの開発時のリードタイム短縮や、自動運転や投資戦略判断などの分野におけるリアルタイム制御への応用が期待されます。

本研究成果は、２０２０年７月１９日（日）からオンライン開催される、形式検証についてのフラッグシップ国際会議Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｃｏｍｐｕｔｅｒ－Ａｉｄｅｄ Ｖｅｒｉｆｉｃａｔｉｏｎ （ＣＡＶ ２０２０）の本会議で発表されます。