Skip to main content

Normative Pragmatics for Agent Communication Languages

  • Conference paper
Perspectives in Conceptual Modeling (ER 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3770))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Chapter  Google Scholar 

  2. Alonso, E.: Rights and argumentation in open multi-agent systems. Artificial Intelligence Review 21, 3–24 (2004)

    Article  MATH  Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Google Scholar 

  6. Dignum, F.: Autonomous agents with norms. Artificial Intelligence and Law 7, 69–79 (1999)

    Article  Google Scholar 

  7. 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)

    Google Scholar 

  8. 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)

    Chapter  Google Scholar 

  9. FIPA ACL: FIPA Communicative Act Library Specification (2002), http://www.fipa.org/repository/aclspecs.html

  10. Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence an International Journal 18, 853–866 (2004)

    Article  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Searle, J.R.: Speech Acts. An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  17. Singh, M.P.: An ontology for commitments in multiagent systems: toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)

    Article  Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. van der Torre, L.: Contextual deontic logic: Normative agents, violations and independence. Math. Artif. Intell. 37, 33–63 (2003)

    Article  MATH  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems 3, 9–31 (2000)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics