講演名 1997/11/13
情報伝播と Arrow論理によるエージェント間コミュニケーションの形式化 (&特集>「記号論理とAI」)
村川 賀彦, 東条 敏, 國藤 進,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本稿では, 情報伝播によるエージェント間コミュニケーションの理論を Arrow論理で形式化する. まず, 状況理論による情報の理論である情報伝播を Arrow論理で形式化する. 次に情報伝播をとおして Arrow論理でエージェント間コミュニケーションの理論を構成し, コミュニケーションの経路が次の3つの性質を持つことを示す. (1) 経路のボトルネック. (2) 経路の信頼性. (3) 逆情報. 最後に, エージェント間のコミュニケーションについてまとめ, モデルの適用性について議論する.
抄録(英) This paper formalizes the communication of agents with modal operators in arrow logic. We try to formalize the communication channels in arrow logic. In that, we especially pay attention to the following three problems: channel bottleneck, unreliable channel, and reverse information. This paper's contribution is two-fold. First, we formalize the theory of information flow, based on situation semantics, in terms of arrow logic. Secondly, we propose a theory of communication channels between agents by using arrow logic, where, classical modal operators like knowledge, belief and perception are distributed on various places on the communication channel. We discuss the satisfiability and the applicability of our fomalization, using the test principles by Barwise on this information flow model.
キーワード(和) arrow論理 / エージェント / コミュニケーション / 様相オペレータ / 情報伝播 / 信念
キーワード(英) arrow logic / agent / communication / modal operator / information flow / belief
資料番号 AI97-28
発行日

研究会情報
研究会 AI
開催期間 1997/11/13(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Artificial Intelligence and Knowledge-Based Processing (AI)
本文の言語 ENG
タイトル(和) 情報伝播と Arrow論理によるエージェント間コミュニケーションの形式化 (&特集>「記号論理とAI」)
サブタイトル(和)
タイトル(英) Imperfect Information Flow of Agents Communication in Arrow Logic
サブタイトル(和)
キーワード(1)(和/英) arrow論理 / arrow logic
キーワード(2)(和/英) エージェント / agent
キーワード(3)(和/英) コミュニケーション / communication
キーワード(4)(和/英) 様相オペレータ / modal operator
キーワード(5)(和/英) 情報伝播 / information flow
キーワード(6)(和/英) 信念 / belief
第 1 著者 氏名(和/英) 村川 賀彦 / Yoshihiko MURAKAWA
第 1 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
第 2 著者 氏名(和/英) 東条 敏 / Satoshi TOJO
第 2 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
第 3 著者 氏名(和/英) 國藤 進 / Susumu KUNIFUJI
第 3 著者 所属(和/英) 北陸先端科学技術大学院大学
Japan Advanced Institute of Science and Technology
発表年月日 1997/11/13
資料番号 AI97-28
巻番号(vol) vol.97
号番号(no) 373
ページ範囲 pp.-
ページ数 8
発行日