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

• 研究課題/領域番号: 24700146
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: 知能情報学
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 佐野 勝彦 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (20456809)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円); 2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2012年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
• キーワード: 様相論理 / 動的認識論理 / ハイブリッド論理 / 証明論 / クリプキ意味論 / マルチエージェント / Dynamic Epistemic Logic / Modal Logic / Hybrid Logic / Agent Communication / 中国 / エージェント通信 / チャネル

研究成果の概要

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

研究成果

• [雑誌論文] How to Update Neighborhood Models (2015)
  • 著者名/発表者名: Minghui Ma and and Katsuhiko Sano
  • 雑誌名: Journal of Logic and Computation 巻: 印刷中
  • 査読あり / 謝辞記載あり
• [雑誌論文] Generalizing Functional Completeness in Belnap-Dunn Logic (2015)
  • 著者名/発表者名: Hitoshi Omori and Katsuhiko Sano
  • 雑誌名: Studia Logica 巻: 印刷中 号: 5 ページ: 883-917
  • DOI: 10.1007/s11225-014-9597-5
  • 査読あり / 謝辞記載あり
• [雑誌論文] Characterizing Frame Definability in Team Semantics via The Universal Modality (2015)
  • 著者名/発表者名: Katsuhiko Sano and Jonni Virtema
  • 雑誌名: Proceedings of Wollic 2015 巻: 印刷中
  • 査読あり / 謝辞記載あり
• [雑誌論文] Analyzing Reliability Change in Legal Case (2015)
  • 著者名/発表者名: Pimolluck Jirakunkanok, Katsuhiko Sano and Satoshi Tojo
  • 雑誌名: Post-proceedings of JURISIN 2014 巻: 印刷中
  • NAID: 120006305725
  • 査読あり / 謝辞記載あり
• [雑誌論文] Impossibility Theorem on Radical Inquisitive Semantics (2015)
  • 著者名/発表者名: Katsuhiko Sano
  • 雑誌名: Post-proceedings of The Second Asian Workshop on Philosophical Logic 巻: 印刷中
  • 査読あり / 謝辞記載あり
• [雑誌論文] Alternative Semantics for Visser's Propositional Logics (2015)
  • 著者名/発表者名: Katsuhiko Sano and Minghui Ma
  • 雑誌名: Post-proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation 巻: 印刷中
  • 査読あり / 謝辞記載あり
• [雑誌論文] Extensions of Basic Propositional Logic (2015)
  • 著者名/発表者名: Minghui Ma and Katsuhiko Sano
  • 雑誌名: Proceedings of the 13th Asian Logic Conference 巻: 13 ページ: 170-200
  • DOI: 10.1142/9789814678001_0011
  • 査読あり / 謝辞記載あり
• [雑誌論文] Linear Algebraic Semantics for Multi-agent Communication (2015)
  • 著者名/発表者名: Ryo Hatano, Katsuhiko Sano and Satoshi Tojo
  • 雑誌名: Proceeedings of 7th International Conference on Agents and Artificial Intelligence 巻: 1 ページ: 174-181
  • DOI: 10.5220/0005219001740181
  • NAID: 120006676390
  • 査読あり / 謝辞記載あり
• [雑誌論文] Tableaux for non-normal public announcement logic (2015)
  • 著者名/発表者名: Minghui Ma, Katsuhiko Sano, Francois Schwarzentruber and Fernando R. Velazquez-Quesada
  • 雑誌名: Lecture Notes in Computer Science 巻: 8923 ページ: 132-145
  • DOI: 10.1007/978-3-662-45824-2_9
  • ISBN: 9783662458235, 9783662458242
  • 査読あり / 謝辞記載あり
• [雑誌論文] An Expansion of First-order Belnap-Dunn Logic (2014)
  • 著者名/発表者名: Katsuhiko Sano and Hitoshi Omori
  • 雑誌名: Logic Journal of the IGPL 巻: 22 号: 3 ページ: 458-481
  • DOI: 10.1093/jigpal/jzt044
  • 査読あり / 謝辞記載あり
• [雑誌論文] Conditional independence and biscuit conditional questions in dynamic semantics (2014)
  • 著者名/発表者名: Katsuhiko Sano and Yurie Hara
  • 雑誌名: Proceedings of the 24th Semantics and Linguistic Theory Conference 巻: 24 ページ: 84-101
• [雑誌論文] Belief Re-revision in Chivalry Case (2014)
  • 著者名/発表者名: Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, and Satoshi Tojo
  • 雑誌名: Lecture Notes in Computer Science 巻: 8417 ページ: 230-245
  • DOI: 10.1007/978-3-319-10061-6_16
  • NAID: 120006305709
  • ISBN: 9783319100609, 9783319100616
  • 査読あり / 謝辞記載あり
• [雑誌論文] Gentzenization of Dynamic Topological Hybrid Logics (2014)
  • 著者名/発表者名: Katsuhiko Sano and Yuichiro Hosokawa
  • 雑誌名: Trends in Logic XIII 巻: XIII ページ: 217-231
  • 査読あり / 謝辞記載あり
• [雑誌論文] The Expressive Power of Modal Dependence Logic (2014)
  • 著者名/発表者名: Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
  • 雑誌名: Advances in Modal Logic 巻: 10 ページ: 294-312
  • 査読あり / 謝辞記載あり
• [雑誌論文] Belief Re-revision in Chivalry Case (2014)
  • 著者名/発表者名: Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, and Satoshi Tojo
  • 雑誌名: LNCS, JSAI-isAI Workshops 2013 巻: 印刷中
  • NAID: 120006305709
  • 査読あり
• [雑誌論文] da Costa meets Belnap and Nelson (2014)
  • 著者名/発表者名: Hitoshi Omori and Katsuhiko Sano
  • 雑誌名: Recent Trends in Philosophical Logic, Proceedings of Trends in Logic XI 巻: 41 ページ: 145-166
  • DOI: 10.1007/978-3-319-06080-4_11
  • ISBN: 9783319060798, 9783319060804
  • 査読あり
• [雑誌論文] Belief Re-revision in Chivalry Case (2013)
  • 著者名/発表者名: Pimolluck Jirakunkanok, Shinya Hirose, Katsuhiko Sano, and Satoshi Tojo
  • 雑誌名: Proceedings of the Seventh International Workshop of Juris-Informatics 巻: 7 ページ: 107-120
  • NAID: 120006305709
  • 査読あり
• [雑誌論文] How to Update Neighborhood Models (2013)
  • 著者名/発表者名: Minghui Ma and Katsuhiko Sano
  • 雑誌名: Logic, Rationality, and Interaction, Lecture Notes in Computer Science 巻: 8196 ページ: 204-217
  • DOI: 10.1007/978-3-642-40948-6_16
  • ISBN: 9783642409479, 9783642409486
  • 査読あり
• [雑誌論文] Alternative Semantics for Visser's Basic Propositional Logic (2013)
  • 著者名/発表者名: Katsuhiko Sano and Minghui Ma
  • 雑誌名: Proceedings of Tenth Tbilisi Symposium on Language, Logic and Computation 巻: 10 ページ: 137-141
  • 査読あり
• [雑誌論文] Dynamic Epistemic Logic for Channel-Based Agent Communication (2013)
  • 著者名/発表者名: Katsuhiko Sano and Satoshi Tojo
  • 雑誌名: Lecture Notes in Computer Science 巻: 7750 ページ: 109-120
  • DOI: 10.1007/978-3-642-36039-8_10
  • NAID: 120005173801
  • ISBN: 9783642360381, 9783642360398
  • 査読あり
• [雑誌論文] Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013)
  • 著者名/発表者名: Tadeusz Litak, Dirk Pattinson and Katsuhiko Sano
  • 雑誌名: Lecture Notes in Computer Science 巻: 7758 ページ: 257-276
  • DOI: 10.1007/978-3-642-36976-6_16
  • ISBN: 9783642369759, 9783642369766
  • 査読あり
• [雑誌論文] Coalgebraic Predicate Logic (2013)
  • 著者名/発表者名: Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schroeder
  • 雑誌名: Lecture Notes in Computer Science 巻: 7392 ページ: 299-311
  • DOI: 10.1007/978-3-642-31585-5_29
  • ISBN: 9783642315848, 9783642315855
  • 査読あり
• [雑誌論文] Misconception in Legal Cases From Dynamic Logical Viewpoints (2013)
  • 著者名/発表者名: Katsuhiko Sano, Ryo Hatano and Satoshi Tojo
  • 雑誌名: Proceedings of the Sixth International Workshop of Juris-Informatics 巻: 6 ページ: 101-113
  • 査読あり
• [雑誌論文] 包含関係と先行関係をもつ時区間論理におけるフレームの埋込み可能性 (2013)
  • 著者名/発表者名: 古賀たかし，佐野勝彦，東条敏
  • 雑誌名: コンピュータ ソフトウェア 巻: 30 号: 1 ページ: 1_152-1_163
  • DOI: 10.11309/jssst.30.1_152
  • NAID: 130004549307
  • ISSN: 0289-6540
  • 査読あり
• [学会発表] 特別講演「余代数様相論理とその周辺」 (2015)
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 日本数学会 2015年度年会
  • 発表場所: 明治大学，千代田区，東京都
  • 年月日: 2015-03-21
  • 招待講演
• [学会発表] On interdependence between belief updates and reliability structures: An approach from two-dimensional hybrid logic (2015)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Asian Logic Conference 2015
  • 発表場所: IIT Bombay, Mumbai, India
  • 年月日: 2015-01-06
  • 招待講演
• [学会発表] On interdependence between belief updates and reliability structures: An approach from two-dimensional hybrid logic (2014)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Workshop on Correlated Information Change
  • 発表場所: Amsterdam, Netherland
  • 年月日: 2014-11-26
  • 招待講演
• [学会発表] Constructive Embedding from Logics of Strict Implication to Modal Logics (2014)
  • 著者名/発表者名: Sakiko Yamasaki and Katsuhiko Sano
  • 学会等名: The 2014 Taiwan Philosophical Logic Colloquium
  • 発表場所: Department of Philosophy, National Taiwan University, Taipei City, Taiwan
  • 年月日: 2014-10-25
• [学会発表] Revising A Labelled Sequent Calculus for Public Announcement Logic (2014)
  • 著者名/発表者名: Shoshin Nomura, Katsuhiko Sano and Satoshi Tojo
  • 学会等名: The 2014 Taiwan Philosophical Logic Colloquium
  • 発表場所: Department of Philosophy, National Taiwan University, Taipei City, Taiwan
  • 年月日: 2014-10-24
• [学会発表] 「四値論理のカット除去定理」 (2014)
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 日本数学会，2014年度秋季総合分科会
  • 発表場所: 広島大学， 東広島市，広島
  • 年月日: 2014-09-28
• [学会発表] Preference Upgrade in Lewis' System of Spheres (2014)
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: 14th Society for the Advancement of Economic Theory (SAET) Conference on Current Trends in Economics
  • 発表場所: WASEDA UNIVERSITY, Shinjuku, Tokyo, Japan
  • 年月日: 2014-08-20
• [学会発表] Constructive embedding of Visser's basic propositional logic into modal logic K4 (2014)
  • 著者名/発表者名: Sakiko Yamasaki and Katsuhiko Sano
  • 学会等名: TRENDS IN LOGIC XIII (Studia Logica International conference)
  • 発表場所: University of Lodz, Lodz, Poland
  • 年月日: 2014-07-05
• [学会発表] Gentzenization of dynamic topological hybrid logics (2014)
  • 著者名/発表者名: Katsuhiko Sano and Yuichiro Hosokawa
  • 学会等名: TRENDS IN LOGIC XIII (Studia Logica International conference)
  • 発表場所: University of Lodz, Lodz, Poland
  • 年月日: 2014-07-03
• [学会発表] Conditional independence and biscuit conditional questions in dynamic semantics (Poster Presentation) (2014)
  • 著者名/発表者名: Katsuhiko Sano and Yurie Hara
  • 学会等名: Semantics and Linguistic Theory (SALT) 24
  • 発表場所: New York University, New York, USA
  • 年月日: 2014-05-30
• [学会発表] 「木構造情報によるエージェントの信念更新」 (2014)
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 人工知能学会全国大会2014
  • 発表場所: ひめぎんホール，松山，愛媛
  • 年月日: 2014-05-12
• [学会発表] Extensions of Basic Propositional Logic
  • 著者名/発表者名: Minghui Ma and Katsuhiko Sano
  • 学会等名: 13th Asian Logic Conference
  • 発表場所: Guangzhou, China.
• [学会発表] Alternative Semantics for Visser's Basic Propositional Logic
  • 著者名/発表者名: Katsuhiko Sano and Minghui Ma
  • 学会等名: Tenth International Tbilisi Symposium on Language, Logic and Computation
  • 発表場所: Gudauri, Georgia
• [学会発表] How to Update Neighborhood Models
  • 著者名/発表者名: Minghui Ma and Katsuhiko Sano
  • 学会等名: the Fourth International Workshop on Logic, Rationality and Interaction
  • 発表場所: Hangzhou, China
• [学会発表] Axiomatizing Epistemic Logic of Friendship via Tree-sequent Calculus
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
  • 発表場所: しいのき迎賓館, Kanazawa, Japan
• [学会発表] Axiomatizing Facebook Logic Via Tree Sequent Calculus
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: The 48th MLG meeting at Kaga
  • 発表場所: 山中温泉河鹿荘ロイヤルホテル, Kaga, Ishikawa, Japan
• [学会発表] Dynamic Epistemic Logic for Channel-Based Agent Communication
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Chongqing Workshop on Logic, Language and Information
  • 発表場所: Southwest University, China
• [学会発表] Topological semantics for Visser’s propositional logic
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Correctness by Construction 2014
  • 発表場所: Genoa, Italy
• [学会発表] Dynamic Epistemic Logic for Channel-based Agent Communication
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Fifth Indian Conference on Logic and its Applications
  • 発表場所: Chennai
• [学会発表] Generalizing Functional Completeness in Belnap-Dunn's Four Valued System
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: LATD 2012
  • 発表場所: 金沢
• [学会発表] ビット列を捉える無限様相論理
  • 著者名/発表者名: 佐野勝彦
  • 学会等名: 日本科学哲学会
  • 発表場所: 宮崎大学
• [学会発表] What is the corresponding first-order logic to coalgebraic modal logic?
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: CAPE Truth theory and Logic Workshop
  • 発表場所: 京都大学
• [学会発表] Actuality in Coalgebraic Modal Logic
  • 著者名/発表者名: Katsuhiko Sano
  • 学会等名: Dagstuhl Seminar: Coalgebraic Logics
  • 発表場所: Wardrn
• [備考] Welcome to Katsuhiko Sano's website
  • URL: http://www.geocities.jp/k2sn/
• [備考] 北陸先端科学技術大学院大学の研究者紹介の項目
  • URL: http://www.jaist.ac.jp/profiles/info.php?profile_id=583
• [備考] Katsuhiko Sano's website
  • URL: http://www.geocities.jp/k2sn/index.html
• [備考] 佐野 勝彦 （サノ カツヒコ） 助教
  • URL: http://www.jaist.ac.jp/profiles/info.php?profile_id=583
• [備考] 北陸先端科学技術大学院大学 研究者総覧
  • URL: http://www.jaist.ac.jp/profiles/info.php?profile_id=583
• [備考] 佐野勝彦
  • URL: http://www.geocities.jp/k2sn/