On the formal semantics of speech-act based communication in an agent-oriented programming language

Journal of Artificial Intelligence Research

Volumn 29, Issue , 2007, Pages 221-267

  Vieira, Renata ^a   Moreira, Álvaro ^b   Wooldridge, Michael ^c   Bordini, Rafael H ^d  

^a UNIVERSIDADE DO VALE DO RIO DOS SINOS   (Brazil)

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

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

^d DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MECHANICS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; PROGRAM INTERPRETERS; SEMANTICS;

AGENT-ORIENTED PROGRAMMING; AGENTSPEAK; COMMUNICATION LANGUAGES; SPEECH-ACT SEMANTICS;

SPEECH COMMUNICATION;

EID: 34748813038     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2221     Document Type: Article

References (58)

1. Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., & Logan, B. (2006). Automating belief revision for agentspeak. In Baldoni, M., & Endriss, U. (Eds.), Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006), held with AAMAS 2006, 8th May, Hakodate, Japan, pp. 1-16.
2. Allen, J. F., Hendler, J., & Tate, A. (Eds.). (1990). Readings in Planning. Morgan Kaufmann.
3. Ancona, D., Mascardi, V., Hübner, J. F., & Bordini, R. H. (2004). Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In Jennings, N. R., Sierra, C., Sonenberg, L., & Tambe, M. (Eds.), Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19-23 July, pp. 698-705 New York, NY. ACM Press.
4. Austin, J. L. (1962). How to Do Things with Words. Oxford University Press, London.
5. Ballmer, T. T., & Brennenstuhl, W. (1981). Speech Act Classification: A Study in the Lexical Analysis of English Speech Activity Verbs. Springer-Verlag, Berlin.
6. Bordini, R. H., Bazzan, A. L. C., Jannone, R. O., Basso, D. M., Vicari, R. M., & Lesser, V. R. (2002). AgentSpeak(XL): Efficient intention selection in BDI agents via decisiontheoretic task scheduling. In Castelfranchi, C., & Johnson, W. L. (Eds.), Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 15-19 July, Bologna, Italy, pp. 1294-1302 New York, NY. ACM Press.
7. Bordini, R. H., da Rocha Costa, A. C., Hübner, J. F., Moreira, A. F., Okuyama, F. Y., & Vieira, R. (2005). MAS-SOC: a social simulation platform based on agent-oriented programming. Journal of Artificial Societies and Social Simulation, 8(3). JASSS Forum, .
8. Bordini, R. H., Fisher, M., Pardavila, C., & Wooldridge, M. (2003). Model checking AgentSpeak. In Rosenschein, J. S., Sandholm, T., Wooldridge, M., & Yokoo, M. (Eds.), Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, 14-18 July, pp. 409-416 New York, NY. ACM Press.
9. Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2004). Model checking rational agents. IEEE Intelligent Systems, 19(5), 46-52.
10. Bordini, R. H., & Hübner, J. F. (2007). Jason: A Java-based Inter-preter for an Extended version of AgentSpeak (Manual, version 0.9 edition), http ://j ason.sourceforge.net/.
11. Bordini, R. H., Hübner, J. F., & Tralamazza, D. M. (2006). Using Jason to implement a team of gold miners (a preliminary design). In Inoue, K., Satoh, K., & Toni, F. (Eds.), Proceedings of the Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), held with AAMAS 2006, 8-9th May, Hakodate, Japan, pp. 233-237. (Clima Contest paper).
12. Bordini, R. H., Hübner, J. F., & Vieira, R. (2005). Jason and the Golden Fleece of agent-oriented programming. In Bordini, R. H., Dastani, M., Dix, J., & El Fallah Seghrouchni, A. (Eds.), Multi-Agent Programming: Languages, Platforms, and Applications, chap. 1. Springer-Verlag.
13. Bordini, R. H., & Moreira, Á. F. (2004). 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. Special Issue on Computational Logic in Multi-Agent Systems.
14. Bordini, R. H., Visser, W., Fisher, M., Pardavila, C., & Wooldridge, M. (2003). Model checking multi-agent programs with CASP. In Hunt Jr., W. A., & Somenzi, F. (Eds.), Proceedgins of the Fifteenth Conference on Computer-Aided Verification (CAV-2003), Boulder, CO, 8-12 July, No. 2725 in LNCS, pp. 110-113 Berlin. Springer-Verlag. Tool description.
15. Bratman, M. E. (1987). Intentions, Plans and Practical Reason. Harvard University Press, Cambridge, MA.
16. Castelfranchi, C., & Falcone, R. (1998). Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In Demazeau, Y. (Ed.), Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS'98), 4-7 July, Paris, pp. 72-79 Washington. IEEE Computer Society Press.
17. Cohen, P., & Perrault, R. (1979). Elements of a plan based theory of speech acts. Cognitive Science, 3, 177-212.
18. Cohen, P. R., & Levesque, H. J. (1990a). Intention is choice with commitment. Artificial Intelligence, 42(3), 213-261.
19. Cohen, P. R., & Levesque, H. J. (1990b). Rational interaction as the basis for communication. In Cohen, P. R., Morgan, J., & Pollack, M. E. (Eds.), Intentions in Communication, chap. 12, pp. 221-255. MIT Press, Cambridge, MA.
20. Dastani, M., van der Ham, J., & Dignum, F. (2003). Communication for goal directed agents. In Huget, M.-P. (Ed.), Communication in Multiagent Systems, Vol. 2650 of LNCS, pp. 239-252. Springer-Verlag.
21. de Boer, F. S., van Eijk, R. M., Van Der Hoek, W., & Meyer, J.-J. C. (2000). Failure semantics for the exchange of information in multi-agent systems. In Palamidessi, C. (Ed.), Eleventh International Conference on Concurrency Theory (CONCUR 2000), University Park, PA, 22-25 August, No. 1877 in LNCS, pp. 214-228. Springer-Verlag.
22. Doran, J., & Gilbert, N. (1994). Simulating societies: An introduction. In Gilbert, N., & Doran, J. (Eds.), Simulating Society: The Computer Simulation of Social Phenomena, chap. 1, pp. 1-18. UCL Press, London.
23. Genesereth, M. R., & Ketchpel, S. P. (1994). Software agents. Communications of the ACM, 37(7), 48-53.
24. Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), 13-17 July, 1987, Seattle, WA, pp. 677-682 Manlo Park, CA. AAAI Press / MIT Press.
25. Ghallab, M., Nau, D., & Traverso, P. (2004). Automated Planning: Theory and Practice. Morgan Kaufmann.
26. Guerin, F., & Pitt, J. (2001). Denotational semantics for agent communication language. In Proceedings of the fifth international conference on Autonomous Agents (Agents 2001), 28th May - 1st June, Montreal Canada, pp. 497-504. ACM Press.
27. Halpern, J. Y. (1990). Knowledge and common knowledge in a distributed environment. Journal of the ACM, 57(3).
28. Halpern, J. Y., & Zuck, L. D. (1992). A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a, family of protocols. Journal of the ACM, 39(3), 449-478.
29. Hübner, J. F., Sichman, J. S., & Boissier, O. (2004). Using the Moise+ for a cooperative framework of MAS reorganisation.. InBazzan, A. L. C., & Labidi, S. (Eds.), Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, Vol. 3171 of LNCS, pp. 506-515. Springer-Verlag.
30. Jennings, N. R. (1995). Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 75(2), 195-240.
31. Kinny, D. (1993). The distributed multi-agent reasoning system architecture and language specification. Tech. rep., Australian Artificial Intelligence Institute, Melbourne, Australia.
32. Krafta, R., de Oliveira, D., & Bordini, R. H. (2003). The city as object of human agency. In Fourth International Space Syntax Symposium (SSS4), London, 17-19 June, pp. 33.1-33.18.
33. Kumar, S., & Cohen, P. R. (2000). Towards a fault-tolerant multi-agent system architecture. In Proceedings of the Fourth International Conference on Autonomous Agents (Agents 2000), 3-7 June, Barcelona, Spain, pp. 459-466. ACM Press.
34. Labrou, Y., & Finin, T. (1994). 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'94), 29th November - 2nd December, Gaithersburg, MD. ACM Press.
35. Labrou, Y., Finin, T., & Peng, Y. (1999). The current landscape of agent communication languages. Intelligent Systems, 14(2), 45-52.
36. Levesque, H. J., Cohen, P. R., & Nunes, J. H. T. (1990). On acting together. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-1990), 29th July - 3rd August, Boston, MA, pp. 94-99. AAAI Press.
37. Levinson, S. C. (1981). The essential inadequacies of speech act models of dialogue. In Parret, H., Sbisa, M., & Verschuren, J. (Eds.), Possibilities and limitations of pragmatics: Proceedings of the Conference on Pragmatics at Urbino, July, 1979, pp. 473-492. Benjamins, Amsterdam.
38. Mayfield, J., Labrou, Y., & Finin, T. (1996). Evaluation of KQML as an agent communication language. In Wooldridge, M., Müller, J. P., & Tambe, M. (Eds.), Intelligent Agents II-Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, Montréal, Canada, Augustl995, No. 1037 in LNAI, pp. 347-360 Berlin. Springer-Verlag.
39. Moreira, A. F., & Bordini, R. H. (2002). An operational semantics for a BDI agent-oriented programming language. In Meyer, J.-J. C., & Wooldridge, M. J. (Eds.), Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, Toulouse, France, pp. 45-59.
40. Moreira, Á. F., Vieira, R., & Bordini, R. H. (2004). 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.), Declarative Agent Languages and Technologies, Proceedings of the First International Workshop (DALT-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia (Revised Selected and Invited Papers), No. 2990 in LNAI, pp. 135-154 Berlin. Springer-Verlag.
41. Moreira, Á. F., Vieira, R., Bordini, R. H., & Hübner, J. F. (2006). Agent-oriented programming with underlying ontological reasoning. In Baldoni, M., Endriss, U., Omicini, A., & Torroni, P. (Eds.), Proceedings of the Third International Workshop on Declarative Agent Languages and Technologies (DALT-05), held with AAMAS-05, 25th of July, Utrecht, Netherlands, No. 3904 in LNCS, pp. 155-170. Springer-Verlag.
42. Okuyama, F. Y., Bordini, R. H., & da Rocha Costa, A. C. (2005). ELMS: an environment description language for multi-agent simulations. In Weyns, D., van Dyke Parunak, H., Michel, F., Holvoet, T., & Ferber, J. (Eds.), Environments for Multiagent Systems, State-of-the-art and Research Challenges. Proceedings of the First International Workshop on Environments for Multiagent Systems (E4MAS), held with AAMAS-04, 19th of July, No. 3374 in LNAI, pp. 91-108 Berlin. Springer-Verlag.
43. Plotkin, G. (1981). A structural approach to operational semantics.. Technical Report, Department of Computer Science, Aarhus University.
44. Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In van de Velde, W., & Perram, J. (Eds.), Proceedings of the 7th Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, No. 1038 in LNAI, pp. 42-55 London. Springer-Ver lag.
45. Rao, A. S., & Georgeff, M. P. (1998). Decision procedures for BDI logics. Journal of Logic and Computation, 8(3), 293-343.
46. Searle, J. R. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge.
47. Singh, M. P. (1994). Multiagent Systems-A Theoretic Framework for Intentions, KnowHow, and Communications. No. 799 in LNAI. Springer-Verlag, Berlin.
48. Singh, M. P. (1998). Agent communication languages: Rethinking the principles. IEEE Computer, 31(12), 40-47.
49. Smith, R. G. (1980). The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Transactions on Computers, c-29(12), 1104-1113.
50. Tambe, M. (1997). Towards flexible teamwork. Journal of Artificial Intelligence Research, 7, 83-124.
51. Torres, J. A., Nedel, L. P., & Bordini, R. H. (2004). Autonomous agents with multiple foci of attention in virtual environments. In Proceedings of 17th International Conference on Computer Animation and Social Agents (CASA 2004), Geneva, Switzerland, 7-9 July, pp. 189-196.
52. van Eijk, R. M., de Boer, F. S., Van Der Hoek, W., & Meyer, J.-J. C. (2003). A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems, 6(2), 185-219.
53. Vieira, R., Moreira, Á. F., Bordini, R. H., & Hübner, J. (2006). An agent-oriented programming language for computing in context. In Debenham, J. (Ed.), Proceedings of Second IFIP Symposium on Professional Practice in Artificial Intelligence, held with the 19th IFIP World Computer Congress, TC-12 Professional Practice Stream, 21-24 August, Santiago, Chile, No. 218 in IFTP, pp. 61-70 Berlin. Springer-Verlag.
54. Wooldridge, M. (1998). Verifiable semantics for agent communication languages. In Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS'98), 4-7 July, Paris, pp. 349-365. IEEE Computer Society Press.
55. Wooldridge, M. (2000a). Computationally grounded theories of agency. In Durfee, E. (Ed.), Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS2000),10-12 July, Boston, pp. 13-20 Los Alamitos, CA. IEEE Computer Society. Paper for an Invited Talk.
56. Wooldridge, M. (2000b). Reasoning about Rational Agents. The MIT Press, Cambridge, MA.
57. Wooldridge, M. (2000c). Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1), 9-31.
58. Wooldridge, M. (2002). An Introduction to MultiAgent Systems. John Wiley & Sons.