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

佐野, 勝彦

本研究ではエージェントの相互作用を捉えるために,マルチエージェントシステムと動的認識論理の両方に対して多次元的視点から論理的基盤を研究した.本研究の成果は次の三つである.第一に,命令・許可概念を含むエージェントの信念のための論理を提案した.第二に,エージェント間のチャネル概念とチャネルを通じたエージェント通信の概念を多次元ハイブリッド論理の設定で形式化した.第三に,多次元設定での論理的推論を捉えるため,好ましい形式的性質(カット除去定理)をもつラベル付き式計算体系を構築した. : The aim of this research is to propose a logical basis for both multi-agent system and dynamic epistemic logic from multi-dimensional perspectives to capture interaction between agents. Our research output consists of three topics. First, we develop a dynamic logic of belief with acts of command and permission. Second, we formalize the notions of communication channel and agent communication via channels, and provide a semantically complete axiomatization of logic with these notions. We positively solve an open problem of axiomatizing epistemic logic of friendship by Seligman et al.(2011). Third, we investigate multi-dimensional logic from proof-theoretic perspective. That is, we provide cut-free sequent calculi for several labelled sequent calculi and also establish a sequent calculus for predicate logic for coalgebras (a generalized transition system).

Number of accesses :  

Other information