Abstract
A channel is a logical spcae where agents make announcements publicly. Examples of such objects are forums, wikis and social networks. Several questions arise about the nature of such a statement as well as about the attitude of the agent herself in doing these announcements. Does the agent know whether the statement is true? Is this agent announcing that statement or its opposite in any other channel? Extensions to Dynamic Epistemic Logics have been proposed in the recent past that give account to public announcements. One major limit of these logics is that announcements are always considered truthful. It is however clear that, in real life, incompetent agents may announce false things, while deceitful agents may even announce things they do not believe in. In this paper, we shall provide a logical framework, called Multiple Channel Logic, able to relate true statements, agent beliefs, and announcements on communication channels. We discuss syntax and semantics of this logic and show the behaviour of the proposed deduction system. Lastly, we shall present a classification of agents based on the above introduced behaviour analysis.
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
Prawitz, D.: On the idea of a general proof theory. Synthese 27(1–2), 63–77 (1974)
van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)
Balbiani, P., Guiraud, N., Herzig, A., Lorini, E.: Agents that speak: modelling communicative plans and information sources in a logic of announcements. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, vol. 1-3, pp. 1207–1208, (2011)
Sonenberg, L., Stone, P., Tumer, K., Yolum, P. (eds.): 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Vol. 1-3. IFAAMAS (2011)
Balbiani, P., Seban, P.: Reasoning about permitted announcements. J. Philosophical Logic 40(4), 445–472 (2011)
van Ditmarsch, H.: Dynamics of lying. Synthese 191(5), 745–777 (2014)
Batlag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: Gilboa, I., (ed.) Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998, pp. 43–56. Morgan Kaufmann (1998)
Sietsma, F., van Eijck, J.: Message passing in a dynamic epistemic logic setting. In: Apt, K.R. (ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011, pp. 212–220. ACM (2011)
Boella, G., Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A., van der Torre, L.: Time and defeasibility in FIPA ACL semantics. J. Applied Logic 9(4), 274–288 (2011)
Singh, M.P.: A social semantics for agent communication languages. LNCS, vol. 1916, pp. 31–45. Springer (2000)
Verdicchio, M., Colombetti, M.: From message exchanges to communicative acts to commitments. Electr. Notes Theor. Comput. Sci. 157(4), 75–94 (2006)
Gaudou, B., Herzig, A., Longin, D.: A logical framework for grounding-based dialogue analysis. Electr. Notes Theor. Comput. Sci. 157(4), 117–137 (2006)
Gaudou, B., Herzig, A., Longin, D., Nickles, M.: A new semantics for the FIPA agent communication language based on social attitudes. In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, pp. 245–249 (2006)
Boella, G., Damiano, R., Hulstijn, J., van der Torre, L.W.N.: Role-based semantics for agent communication: embedding of the ’mental attitudes’ and ’social commitments’ semantics, pp. 688–690. ACM (2006)
Boella, G., Damiano, R., Hulstijn, J., van der Torre, L.: A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles. Applied Ontology 2(3–4), 217–265 (2007)
Nickles, M., Fischer, F.A., Weiß, G.: Communication attitudes: A formal approach to ostensible intentions, and individual and group opinions. Electr. Notes Theor. Comput. Sci. 157(4), 95–115 (2006)
Lutz, C.: Complexity and succinctness of public announcement logic. In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 137–143 (2006)
Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007)
Wooldridge, M.: Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Cristani, M., Olivieri, F., Santacà, K. (2016). A Logical Model of Communication Channels. In: Lavangnananda, K., Phon-Amnuaisuk, S., Engchuan, W., Chan, J. (eds) Intelligent and Evolutionary Systems. Proceedings in Adaptation, Learning and Optimization, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-319-27000-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-27000-5_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26999-3
Online ISBN: 978-3-319-27000-5
eBook Packages: EngineeringEngineering (R0)