2010-05-01
Logic of Information Flow on Communication Channels (Extended Abstract)
Publication
Publication
Presented at the
International Joint Conference on Autonomous Agents and Multiagent Systems, Toronto
We develop an epistemic logic to specify and reason about information
flow and its underlying communication channels. By combining
ideas from Dynamic Epistemic Logic (DEL) and Interpreted
Systems (IS), our semantics offers a natural and neat way of modelling
multi-agent communication scenarios with different assumptions
about the observational power of agents.
| Additional Metadata | |
|---|---|
| , | |
| FAAMAS | |
| W. van der Hoek (Wiebe) , not CWI et al | |
| International Joint Conference on Autonomous Agents and Multiagent Systems | |
| Organisation | Software Analysis and Transformation |
|
Wang, Y., Sietsma, F., & van Eijck, J. (2010). Logic of Information Flow on Communication Channels (Extended Abstract). In W. van der Hoek & . not . CWI et al (Eds.), Proceedings of International Conference on Autonomous Agents and Multiagent Systems 2010 (pp. 1447–1448). FAAMAS. |
|
