エージェントの情報伝達行為や知識・信念の更新の論理に関する調査研究

マルチエージェントにおける知識及び信念の状態の記述やエージェント間の情報伝達と知識の状態の変化に関する論理学の研究について、直近10年の主要な論文や国際会議等で発表された研究成果を網羅的に調査し、これを論理学の観点から体系立てたうえで動向を分析した。また直近でどのような分野の研究が進展しているのか，今後どのような研究が必要とされるのか研究課題を整理した。

学位論文（修士（情報科学））