2021 年度研究成果報告書

帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究

研究課題

PDF

研究課題/領域番号	19K11894
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
審査区分	小区分60050:ソフトウェア関連
研究機関	筑波大学
研究代表者	長谷部浩二筑波大学, システム情報系, 准教授 (80470045)
研究期間 (年度)	2019-04-01 – 2022-03-31
キーワード	帰納的ゲーム理論 / 知識論理
研究成果の概要	帰納的ゲーム理論において主体の行う推論を，知識論理と呼ばれる様相論理の一種を用いて定式化することを目標に研究を行った。また，上述の知識論理をもとにした論理体系を用いた認識論的ゴシッププロトコルの分析を行った。特に，一部のネットワーク参加者が故障しうることを仮定した場合に，他の参加者がその故障に気づくための認識論的条件を明らかにした。さらに，分散システムにおけるビザンチン将軍問題を解くためのプロトコルにおける故障の特定の条件について分析を行なった。その結果，前述の認識論的ゴシッププロトコルと同様に，受信したメッセージの間の齟齬によって故障を特定できることを示した。
自由記述の分野	マルチエージェントシステム
研究成果の学術的意義や社会的意義	本研究は帰納的ゲーム理論を数理論理学の成果によって補強するという意味で，ゲーム理論の分野において独自性を有するだけでなく，情報科学への応用の観点からも，特に自律分散システムの設計開発に対して有用であると言える。一般に，分散システムの設計は非常に複雑で難しく，各主体の持つ知識やメッセージの交換の方法の微妙な違いによって，目的とする均衡状態の実現の可否が変わってしまう。そのため，数理論理学などの厳密な方法を用いた定式化により，意図通りのシステムの設計が可能となることが期待される。またこのことは，ゲーム理論をもとに既に設計された分散システムの検証法としても新たな可能性を提供するものでもある。