Presentation | 1997/11/13 Imperfect Information Flow of Agents Communication in Arrow Logic Yoshihiko MURAKAWA, Satoshi TOJO, Susumu KUNIFUJI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | arrow logic / agent / communication / modal operator / information flow / belief |
Paper # | AI97-28 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1997/11/13(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Imperfect Information Flow of Agents Communication in Arrow Logic |
Sub Title (in English) | |
Keyword(1) | arrow logic |
Keyword(2) | agent |
Keyword(3) | communication |
Keyword(4) | modal operator |
Keyword(5) | information flow |
Keyword(6) | belief |
1st Author's Name | Yoshihiko MURAKAWA |
1st Author's Affiliation | Japan Advanced Institute of Science and Technology() |
2nd Author's Name | Satoshi TOJO |
2nd Author's Affiliation | Japan Advanced Institute of Science and Technology |
3rd Author's Name | Susumu KUNIFUJI |
3rd Author's Affiliation | Japan Advanced Institute of Science and Technology |
Date | 1997/11/13 |
Paper # | AI97-28 |
Volume (vol) | vol.97 |
Number (no) | 373 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |