Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Declarative Agent Languages and Technologies

DALT 2011: Declarative Agent Languages and Technologies IX pp 111–116Cite as

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

  • Conference paper

  • 314 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,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 via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Chapter  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  4. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester (2007)

    Book  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3), 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  20. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)

    Article  Google Scholar 

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

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Federal University of Rio Grande do Sul, CP 15064, CEP 91501-970, Porto Alegre, RS, Brazil

    Álvaro F. Moreira & Rafael H. Bordini

  2. Faculdade de Informática, Pontifícia Universidade Católica do Rio Grande do Sul, CP 275, CEP 93022-000, Porto Alegre, RS, Brazil

    Renata Vieira

Authors
  1. Álvaro F. Moreira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Renata Vieira
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of computer and Communication Sciences, Wakayama University, 930 Sakaedani, 640-8510, Wakayama, Japan

    Chiaki Sakama

  2. School of Computer Science and Information Technology, RMIT University, PO Box GPO Box 2476V, 3001, Melbourne, VIC, Australia

    Sebastian Sardina

  3. Department of Computing Science, University of Aberdeen, Meston Building, AB24 3UE, Aberdeen, UK

    Wamberto Vasconcelos

  4. Department of Information Science, University of Otago, PO Box 56, 9054, Dunedin, New Zealand

    Michael Winikoff

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moreira, Á.F., Vieira, R., Bordini, R.H. (2012). Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds) Declarative Agent Languages and Technologies IX. DALT 2011. Lecture Notes in Computer Science(), vol 7169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29113-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29113-5_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29112-8

  • Online ISBN: 978-3-642-29113-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation