Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages

  • Álvaro F. Moreira
  • Renata Vieira
  • Rafael H. Bordini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7169)

Abstract

In this paper we revisit the motivations and the initial developments that led to our DALT 2003 paper Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. We then discuss our own follow-up work which consisted in formally defining a larger set of speech-act based performatives and deploying them in Jason, a fully-fledged implementation of AgentSpeak. Subsequent research referring to the computationally grounded semantics of speech-act based agent communication that we introduced in that paper is also discussed.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ancona, D., Mascardi, V., Hubner, J.F., Bordini, R.H.: Coo-agentspeak: Cooperation in AgentSpeak through plan exchange. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, vol. 2, pp. 696–705. IEEE Computer Society (2004)Google Scholar
  2. 2.
    Bentahar, J., Moulin, B., Meyer, J.-J.C., Lespérance, Y.: A New Logical Semantics for Agent Communication. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 151–170. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages: The Asymmetry Thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence 42(1-3), 197–226 (2004)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester (2007)MATHCrossRefGoogle Scholar
  5. 5.
    Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal Representation for BDI Agent Systems. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 44–65. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Cleaver, T.W., Sattar, A., Ferdous, R.: User defined monitoring strategies for bdi agent programs. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1055–1057. ACM (2006)Google Scholar
  7. 7.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3), 213–261 (1990)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Fuzitaki, C., Moreira, Á., Vieira, R.: Ontology Reasoning in Agent-Oriented Programming. In: da Rocha Costa, A.C., Vicari, R.M., Tonidandel, F. (eds.) SBIA 2010. LNCS (LNAI), vol. 6404, pp. 21–30. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  9. 9.
    Guerra-Hernández, A., Castro-Manzano, J.M., El-Fallah-Seghrouchni, A.: Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning. In: Gelbukh, A., Morales, E.F. (eds.) MICAI 2008. LNCS (LNAI), vol. 5317, pp. 848–858. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Klapiscak, T., Bordini, R.H.: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91–110. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Labrou, Y., Finin, T.: A semantics 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. ACM Press (1994)Google Scholar
  12. 12.
    Meneguzzi, F., Luck, M.: A new logical semantics for agent communication. In: From Agent Theory to Agent Implementatio, 6th Internatinal Workshop. Helds in Conjunction with AAMAS 2008 (2008)Google Scholar
  13. 13.
    Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
    Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), Held in Conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22-25, pp. 45–59 (2002)Google Scholar
  15. 15.
    Moreira, Á.F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-Oriented Programming with Underlying Ontological Reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 155–170. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  17. 17.
    van Riemsdijk, M.B., Dastani, M., Winikoff, M.: Goals in agent systems: a unifying framework. In: 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol. 2, pp. 713–720. IFAAMAS (2008)Google Scholar
  18. 18.
    Sardiña, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Autonomous Agents and Multi-Agent Systems 23(1), 18–70 (2011)CrossRefGoogle Scholar
  19. 19.
    Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)Google Scholar
  20. 20.
    Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)CrossRefGoogle Scholar
  21. 21.
    Thielscher, M.: Integrating Action Calculi and AgentSpeak: Closing the gap. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, pp. 79–89. AAAI Press (2010)Google Scholar
  22. 22.
    Vieira, R., Moreira, Á.F., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence and Research (JAIR) 29, 221–267 (2007)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Álvaro F. Moreira
    • 1
  • Renata Vieira
    • 2
  • Rafael H. Bordini
    • 1
  1. 1.Institute of InformaticsFederal University of Rio Grande do SulPorto AlegreBrazil
  2. 2.Faculdade de InformáticaPontifícia Universidade Católica do Rio Grande do SulPorto AlegreBrazil

Personalised recommendations