|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/11614
|
| タイトル: | Collective Belief Revision in Linear Algebra |
| 著者: | Tojo, Satoshi |
| キーワード: | lineear algebra
agent |
| 発行日: | 2013-09 |
| 出版者: | Institute of Electrical and Electronics Engineers (IEEE) |
| 誌名: | Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS) |
| 開始ページ: | 175 |
| 終了ページ: | 178 |
| 抄録: | Although the logic of belief update has mainly concerned a belief state of one agent thus far, the real world settings require us to implement simultaneous belief changes. Here, however, we need to manage so many indices: agent names, time stamps, and the difference of information. In this paper, we introduce the notation of vectors and matrices for the simultaneous informing action. By this, we show that a matrix can represent a public announcement and/or a consecutive message passing, with the time of the change of belief states properly. A collective belief state multiplied by a communication matrix, including matrices of accessibility in Kripke semantics, becomes a hypercuboid. |
| Rights: | This is the author's version of the work. Copyright (C) 2013 IEEE. Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), 2013, 175-178. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| URI: | http://hdl.handle.net/10119/11614 |
| 資料タイプ: | author |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20070.pdf | | 279Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
