2014 Fiscal Year Annual Research Report
多次元ハイブリッド論理に基づくエージェント相互作用の動的研究
| Project/Area Number |
24700146
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
佐野 勝彦 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (20456809)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 様相論理 / 動的認識論理 / ハイブリッド論理 |
|---|
| Outline of Annual Research Achievements |
本研究課題は，エージェント間の情報伝達行為が各エージェントの知識・信念・義務を変えるのかの論理的研究を，A) 時間次元を組み込んだ命令・許可による義務変化の形式化，B) エージェント間通信の多次元HLによる形式化，C) 多次元HLの証明論研究，の3つの側面から行った．まず A) については，困難が予想された許可概念を到達可能な世界を増やす動的演算子として形式化し，勘違い騎士道事件の裁判分析に応用した．B) については，研究協力者の北陸先端科学技術大学院大学の東条敏教授と共に，既存研究（東条・小林 2009）に依拠しつつも多次元ハイブリッド論理を土台にチャネル通信を扱う動的認識論理を提案した．さらに A)と B) の両方にわたる基盤的研究として，西南大学の馬明輝氏とグラフ構造（クリプキ構造）を一般化した近傍構造上で少なくとも二種類の公開告知行為が考えられることを指摘し，その形式化を行った．C)に関しては，余代数構造（グラフ構造・遷移構造の一般化）に対する一階述語論理のシークエント計算を提案，部分直観主義論理と様相論理の対応関係（ゲーデル・マキンゼイ・タルスキ埋め込み）をラベル付き計算を経由して構成的に示した他，位相空間に対する（一次元）ハイブリッド論理にシークエント計算による形式化を与えることに成功した．さらに，Fenrong Liu と Jeremy Seligman らによる，コミュニティにおける知識・信念変化を捉える枠組みである Epistemic Logic of Friendship (Facebook Logic) に対してラベル付きシーケント計算を与え，この計算を経由してヒルベルト流公理系を明らかにした．
|
