Linear Algebraic Semantics for Multi-agent Communication

Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

Abstract

When we study multi-agent communication system, it forces us to manage an existence of communication channels between agents, such as phone numbers or e-mail addresses, while ordinary modal logic for multi-agent system does not consider the notion of channel. This paper proposes a decidable and semantically complete logic of belief with communication channels, and then expands the logic with informing action operators to change agents’ beliefs via communication channels. Moreover, for a better formalism for handling these semantics efficiently, we propose a linear algebraic representation of these. That is, with the help of Fitting (2003) and van Benthem and Liu (2007), we reformulate our proposed semantics of the doxastic static logic and its dynamic extensions in terms of boolean matrices. We also implement and publicize a calculation system of our matrix reformulations as an open system on the web.

References

  1. Barwise, J. and Seligman, J. (1997). Information flow. Cambridge University Press.
  2. Blackburn, P., De Rijke, M., and Venema, Y. (2002). Modal Logic. Cambridge University Press.
  3. Fitting, M. (2003). Bisimulations and boolean vectors. In Advances in Modal Logic, pages 97-126. King's College Publications.
  4. Fusaoka, A., Nakamura, K., and Sato, M. (2007). On a linear framework for belief dynamics in multi-agent environments. LNCS, pp. 41-59. Springer.
  5. Gärdenfors, P. (2003). Belief revision. Cambridge University Press.
  6. Liau, C.-J. (2004). Matrix representation of belief states. International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 12(05):613-633.
  7. Plaza, J. A. (1989). Logics of public communications. In Emrich, M. L., et.al, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201-216.
  8. Sano, K. and Tojo, S. (2013). Dynamic epistemic logic for channel-based agent communication. LNCS, vol. 7750, pp. 109-120. Springer.
  9. Seligman, J., Liu, F., and Girard, P. (2011). Logic in the community. LNCS, vol. 6521, pp. 178-188.
  10. Tojo, S. (2013). Collective belief revision in linear algebra. In Computer Science and Information Systems, 2013 Federated Conference on, pp. 175-178. IEEE.
  11. Van Benthem, J. and Liu, F. (2007). Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics, 17(2):157-182.
  12. Van Ditmarsch, H., van der Hoek, W., and Kooi, B. P. (2007). Dynamic epistemic logic. Springer.
Download


Paper Citation


in Harvard Style

Hatano R., Sano K. and Tojo S. (2015). Linear Algebraic Semantics for Multi-agent Communication . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-073-4, pages 174-181. DOI: 10.5220/0005219001740181


in Bibtex Style

@conference{icaart15,
author={Ryo Hatano and Katsuhiko Sano and Satoshi Tojo},
title={Linear Algebraic Semantics for Multi-agent Communication},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2015},
pages={174-181},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005219001740181},
isbn={978-989-758-073-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Linear Algebraic Semantics for Multi-agent Communication
SN - 978-989-758-073-4
AU - Hatano R.
AU - Sano K.
AU - Tojo S.
PY - 2015
SP - 174
EP - 181
DO - 10.5220/0005219001740181