Speech-act based communication: Progress in the formal semantics and in the implementation of multi-agent oriented programming languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7169 LNAI, Issue , 2012, Pages 111-116

  Moreira, Álvaro F ^a   Vieira, Renata ^b   Bordini, Rafael H ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT COMMUNICATIONS; AGENTSPEAK; BDI AGENT-ORIENTED PROGRAMMING LANGUAGE; FORMAL SEMANTICS; OPERATIONAL SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

SPEECH COMMUNICATION;

EID: 84859358827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29113-5_11     Document Type: Conference Paper

References (22)

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)
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)
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)
4. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester (2007)
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) (Pubitemid 41421869)
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)
7. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3), 213-261 (1990)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
19. Searle, J.R.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
20. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40-47 (1998)
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)
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)