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

Material type: 文書・図像類

Author: 佐野, 勝彦

Publisher: -

Publication date: 2015-06-05

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 本研究ではエージェントの相互作用を捉えるために，マルチエージェントシステムと動的認識論理の両方に対して多次元的視点から論理的基盤を研究した．本研究の成果は次の三つである．第一に，命令・許可概念を含むエージェントの信念のための論理を提案した．第二に，エージェント間のチャネル概念とチャネルを通じたエージ...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAIST Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 多次元ハイブリッド論理に基づくエージェント相互作用の動的研究
Author/Editor: 佐野, 勝彦
Author Heading: 佐野, 勝彦
Publication Date: 2015-06-05
Publication Date (W3CDTF): 2015-06-05
Alternative Title: A dynamic Investigation of multi-agent interaction via multi-dimensional hybrid logic
Periodical title: 科学研究費助成事業研究成果報告書
Pages: 1-4
Text Language Code: jpn
Subject Heading: 様相論理
動的認識論理
ハイブリッド論理
証明論
クリプキ意味論
マルチエージェント
Target Audience: 一般
Note (General): 本研究ではエージェントの相互作用を捉えるために，マルチエージェントシステムと動的認識論理の両方に対して多次元的視点から論理的基盤を研究した．本研究の成果は次の三つである．第一に，命令・許可概念を含むエージェントの信念のための論理を提案した．第二に，エージェント間のチャネル概念とチャネルを通じたエージェント通信の概念を多次元ハイブリッド論理の設定で形式化した．第三に，多次元設定での論理的推論を捉えるため，好ましい形式的性質(カット除去定理)をもつラベル付き式計算体系を構築した． : 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).
研究種目：若手研究(B)
研究期間：2012～2014
課題番号：24700146
研究者番号：20456809
研究分野：様相論理・論理学の人工知能への応用
identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12821
Format (IMT): application/pdf
Source: https://dspace.jaist.ac.jp/dspace/bitstream/10119/12821/1/24700146seika.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/12821/1/24700146seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ