Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Journal of Autonomous Agents and Multi-Agent Systems 1(1), 7–36 (1998)
Foundation for Intelligent Physical Agents (FIPA): Communicative act library specification (2000), http://www.fipa.org
van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Process Algebra for Agent Communication: A General Semantic Approach. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 113–128. Springer, Heidelberg (2003)
Seligman, J., Liu, F., Girard, P.: Logic in the Community. In: Banerjee, M., Seth, A. (eds.) Logic and Its Applications. LNCS, vol. 6521, pp. 178–188. Springer, Heidelberg (2011)
Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 821–868. Elsevier (2007)
Baader, F., Lutz, C.: Description logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 757–820. Elsevier (2007)
Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)
Lewis, D.: A problem about permission. In: Saarinen, E., Hilpinen, R., Niiniluoto, I., Hintikka, M. (eds.) Essays in Honour of Jaakko Hintikka, pp. 163–175. Reidel, Dordrecht (1979)
Schröder, L., Pattinson, D.: Named models in coalgebraic hybrid logic. In: Marion, J.Y., Schwentick, T. (eds.) Proceedings of STACS 2010. Leibniz International Proceedings in Informatics, pp. 645–656 (2010)
Sano, K.: Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic? Journal of Applied Logic 8(4), 459–474 (2010)
Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., Löwe, B., Gabbay, D. (eds.) Interactive Logic: Games and Social Software. Texts in Logics and Games, pp. 135–157. Amsterdam University Press (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sano, K., Tojo, S. (2013). Dynamic Epistemic Logic for Channel-Based Agent Communication. In: Lodaya, K. (eds) Logic and Its Applications. ICLA 2013. Lecture Notes in Computer Science, vol 7750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36039-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-36039-8_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36038-1
Online ISBN: 978-3-642-36039-8
eBook Packages: Computer ScienceComputer Science (R0)