|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/10932
|
| タイトル: | Dynamic Epistemic Logic for Channel-Based Agent Communication |
| 著者: | Sano, Katsuhiko
Tojo, Satoshi |
| キーワード: | dynamic epistemic logic
agent communication
channel |
| 発行日: | 2013 |
| 出版者: | Springer |
| 誌名: | Fifth Indian Conference on Logic and its Applications |
| 巻: | 7750 |
| 開始ページ: | 109 |
| 終了ページ: | 120 |
| DOI: | 10.1007/978-3-642-36039-8_10 |
| 抄録: | This paper studies channel-based agent communication in terms of dynamic epistemic logic. First, we set up two sorted syntax which can deal with not only each agent's belief but also agents and channels between them. Second, we propose a context-sensitive `inform'-action operator whose effectivity always assumes the existence of channel between agents. Its context-sensitivity can be achieved by downarrow binder from hybrid logic. Third, we provide complete Hilbert-style axiomatizations for both static and dynamic parts of our logic. |
| Rights: | This is the author-created version of Springer, Katsuhiko Sano and Satoshi Tojo, Fifth Indian Conference on Logic and its Applications, 7750, 2013, 109-120. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-36039-8_10 |
| URI: | http://hdl.handle.net/10119/10932 |
| 資料タイプ: | author |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 18798.pdf | | 126Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
