Abstract
The ability to communicate is one of the crucial properties of agents. In this paper a normative approach to the pragmatics of Agent Communication Languages (ACLs) is proposed. 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 includes the semantics and pragmatics of ACLs, focusing on a pragmatic level based on the social and normative notion of right. The framework is developed extending CTL with modal and deontic operators, and the pragmatics are expressed by means of a prolog-like declarative language.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Agerri, R., Alonso, E.: Semantics and Pragmatics for Agent Communication. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 524–535. Springer, Heidelberg (2005)
Alonso, E.: Rights and argumentation in open multi-agent systems. Artificial Intelligence Review 21, 3–24 (2004)
Dastani, M., van der Ham, J., Dignum, F.: Communication for goal directed agents. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS (LNAI), vol. 2650, pp. 239–252. Springer, Heidelberg (2003)
Dastani, M., Riemsdijk, M., Dignum, F., Meyer, J.J.: A programming language for cognitive agents: Goal-directed 3apl. In: Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3037, pp. 111–130. Springer, Berlin (2004)
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)
Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7, 69–79 (1999)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B. North Holland, Amsterdam, pp. 995–1072 (1990)
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
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, vol. 1916, pp. 118–131. Springer, Heidelberg (2000)
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)
Norman, T.J., Sierra, C., Jennings, N.R.: Rights and commitment in multi-agent agreements. In: Proceedings of the Third International Conference on Multi-Agent Systems, pp. 222–229 (1998)
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)
Rao, A., Georgeff, M.: Modeling rational agents within a bdi-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann Publishers, San Francisco (1991)
Searle, J.R.: Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS(LNAI), vol. 1916, Springer, Heidelberg (2000)
van der Torre, L.: Contextual deontic logic: Normative agents, violations and independence. Math. Artif. Intell. 37, 33–63 (2003)
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)
Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems 3, 9–31 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agerri, R., Alonso, E. (2005). Normative Pragmatics for Agent Communication Languages. In: Akoka, J., et al. Perspectives in Conceptual Modeling. ER 2005. Lecture Notes in Computer Science, vol 3770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568346_19
Download citation
DOI: https://doi.org/10.1007/11568346_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29395-8
Online ISBN: 978-3-540-32239-9
eBook Packages: Computer ScienceComputer Science (R0)