Abstract
The ability to communicate is one of the most important properties of agents. In an open environment, like the Internet, in which agents are designed in many different ways, it is important to clearly establish the meaning of a standard language for artificial agents. Traditionally, the pragmatics of ACLs take the form of interaction protocols, which only specify the order in which messages occur without taking into account the content of the message, or the role of the agents. We present a unified ACL which attempts to define the ACL semantics and pragmatics within the same framework, including an intentional view of speaker’s meaning and a pragmatic level based on the normative notion of right. The framework is developed by defining a logic with modal and deontic operators grounded in a computational model. The pragmatics takes the form of declarative rules.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Searle, J.R.: Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Language. In: Adam, N., Bhargava, B., Yesha, Y. (eds.) Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM 1994), Gaithersburg, MD, USA, pp. 456–463. ACM Press, New York (1994)
FIPA ACL: FIPA Communicative Act Library Specification (2002), http://www.fipa.org/repository/aclspecs.html
Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916. Springer, Heidelberg (2000)
Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence an International Journal 18, 853–866 (2004)
Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS(LNAI), vol. 1916, pp. 118–131. Springer, Heidelberg (2000)
Pitt, J., Mamdani, A.: A protocol-based semantics for an agent communication language. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence IJCAI 1999, Stockholm, pp. 486–491. Morgan-Kaufmann Publishers, San Francisco (1999)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995–1072. North Holland, Amsterdam (1990)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)
van der Hoek, W., Wooldridge, M.: Towards a logic of rational agency. Logic Journal of the IGPL 11, 135–159 (2003)
Kripke, S.: Semantical considerations on modal logic. Acta Philosophical Fennica XVI, 83–94 (1963)
Cohen, P., Levesque, H.: Communicative actions for artificial agents. In: Bradshaw, J.M. (ed.) Software Agents. AAAI Press / The MIT Press, Cambridge (1997)
Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. Journal of Logic and Computation 8, 293–342 (1998)
Castelfranchi, C.: Practical permission: Dependence, power and social commitment. In: Proceedings of 2nd workshop on Practical Reasoning and Rationality, London (1997)
van der Torre, L., Hulstijn, J., Dastani, M., Broersen, J.: Specifying multiagent organizations. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS(LNAI), vol. 3065, pp. 243–257. Springer, Heidelberg (2004)
Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica 75 (2003)
Labrou, Y., Finin, T.: A semantic approach for KQML - a general purpose communication language for software agents. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM 1994), pp. 447–455 (1994)
Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS(LNAI), vol. 2922, pp. 91–107. Springer, Heidelberg (2004)
Ferber, J., Gutknecht, O.: A meta-model for the analysis of organizations in multi-agent systems. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), pp. 128–135 (1998)
Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines. In: Sprague, J.R. (ed.) Proceedings of thirtieth HICSS, Hawaii (1997)
Kagal, L., Finin, T., Joshi, A.: A policy language for a pervasive computing environment. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agerri, R., Alonso, E. (2006). A Semantic and Pragmatic Framework for the Specification of Agent Communication Languages: Motivational Attitudes and Norms. In: Kolp, M., Bresciani, P., Henderson-Sellers, B., Winikoff, M. (eds) Agent-Oriented Information Systems III. AOIS 2005. Lecture Notes in Computer Science(), vol 3529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11916291_2
Download citation
DOI: https://doi.org/10.1007/11916291_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48291-8
Online ISBN: 978-3-540-48292-5
eBook Packages: Computer ScienceComputer Science (R0)