多次元ハイブリッド論理に基づくエージェント相互作用の動的研究

2014 年度 研究成果報告書

• 研究課題/領域番号: 24700146
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 知能情報学
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 佐野 勝彦 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (20456809)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• キーワード: 様相論理 / 動的認識論理 / ハイブリッド論理 / 証明論 / クリプキ意味論 / マルチエージェント

研究成果の概要

本研究ではエージェントの相互作用を捉えるために，マルチエージェントシステムと動的認識論理の両方に対して多次元的視点から論理的基盤を研究した．本研究の成果は次の三つである．第一に，命令・許可概念を含むエージェントの信念のための論理を提案した．第二に，エージェント間のチャネル概念とチャネルを通じたエージェント通信の概念を多次元ハイブリッド論理の設定で形式化した．第三に，多次元設定での論理的推論を捉えるため，好ましい形式的性質(カット除去定理)をもつラベル付き式計算体系を構築した．

自由記述の分野

様相論理・論理学の人工知能への応用