Current issues in multi-agent systems development

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

Volumn 4457 LNAI, Issue , 2007, Pages 38-61

  Bordini, Rafael H ^a   Dastani, Mehdi ^b   Winikoff, Michael ^c  

^a DURHAM UNIVERSITY   (United Kingdom)

^b UTRECHT UNIVERSITY   (Netherlands)

^c RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROGRAM DEBUGGING; SYSTEMS ANALYSIS; VERIFICATION;

AGENT-ORIENTED PROGRAMMING LANGUAGES; DESIGN ARTEFACTS; INTEGRATING DESIGN;

MULTI AGENT SYSTEMS;

EID: 38349001333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75524-1_3     Document Type: Conference Paper

References (67)

1. Alechina, N., Bordini, R.H., Hübner, J.F., Jago, M., Logan, B.: Automating belief revision for agentspeak. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 1-16. Springer, Heidelberg (2006)
2. Arcos, J.L., Esteva, M., Noriega, P., Rodríguez, J.A., Sierra, C.: Engineering open environments with electronic institutions. Journal on Engineering Applications of Artificial Intelligence 18(2), 191-204 (2005)
3. Avrunin, G.S., Rothermel, G. (eds.): In: ISSTA 2004. Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, Boston, Massachusetts, USA, July 11-14, 2004. ACM Press, New York (2004)
4. Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, London, UK (2000)
5. Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade - a java agent development framework. In: Bordini, R.H., Dastani, M., Dix, J., El Fallan Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, ch. 5. Springer, Heidelberg (2005)
6. Bergenti, F., Gleizes, M.-P., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems. Kluwer Academic Publishers, New York (2004)
7. Bordini, R., Braubach, L., Dastani, M., Seghrouchni, A., Gomez-Sanz, J., Leite, J., O'Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30(1), 33-44 (2006)
8. Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-agent Programming: Languages, Platforms, and Applications. Springer, Heidelberg (2005)
9. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) Adaptive Agents and Multi-Agent Systems II. LNCS (LNAI), vol. 3394, pp. 896-903. Springer, Heidelberg (2005)
10. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239-256 (2006)
11. Bordini, R.H., Hübner, J.F., et al.: Jason: A Java-based interpreter for an extended version of AgentSpeak, manual, release 0.9 edition (July 2006), http://Jason.sourceforge.net/
12. Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallan Seghrouchni, A. (eds.) MultiAgent Programming: Languages, Platforms and Applications, ch. 1, pp. 3-37. Springer, Heidelberg (2005)
13. Botía, J.A., Hernansaez, J.M., Skarmeta, F.G.: Towards an approach for debugging MAS through the analysis of ACL messages. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 301-312. Springer, Heidelberg (2004)
14. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203-236 (2004)
15. Cheong, C., Winikoff, M.: Hermes: Designing goal-oriented agent interactions. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950. Springer, Heidelberg (2006)
16. Cheyer, A., Martin, D.: The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4(1), 143-148 (2001)
17. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
18. Cohen, P.R., Levesque, H.J.: Teamwork. Nous 25(4), 487-512 (1991)
19. Dastani, M., Gomez-Sanz, J.: Programming multi-agent systems. The Knowledge Engineering Review 20(2), 151-164 (2006)
20. Dastani, M., Hobo, D., Meyer, J.-J.C.: Practical extensions in agent programming languages. In: Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS'07). ACM Press, New York (2007)
21. Dastani, M., van Riemsdijk, M., Meyer, J.-J.: Goal types in agent programming. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAT 06) (2006)
22. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.-J.C: A programming language for cognitive agents: goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111-130. Springer, Heidelberg (2004)
23. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C: On the relation between agent specification and agent programming languages. In: Proceedings of the sixth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS'07). ACM Press, New York (2007)
24. DeLoach, S.A.: Analysis and design using MaSE and agentTool. In: Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001) (2001)
25. d'Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. Technical Note 72, Australian Artificial Intelligence Institute (1997)
26. Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a roadmap of current technologies and future trends. Computational Intelligence Journal 2007 (to appear)
27. Flater, D.: Debugging agent interactions: a case study. In: Proceedings of the 16th ACM Symposium on Applied Computing (SAC2001), pp. 107-114. ACM Press, New York (2001)
28. Flores, R.A., Kremer, R.C.: A pragmatic approach to build conversation protocols using social commitments. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1242-1243. ACM Press, New York (2004)
29. Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation 74, 1383-1398 (1986)
30. Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Foundations of organizational structures in multi-agent systems. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS'05). ACM Press, New York (2005)
31. Grossi, D., Dignum, F., Dignum, V., Dastani, M., Royakkers, L.: Structural aspects of the evaluation of agent organizations. In: Pre-proceedings of COIN@ECAI'06 (2006)
32. Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Publishing, USA (2005)
33. Hindriks, K.V., Boer, F.S.D., der Hoek, W.V., Meyer, J.-J.C: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357-401 (1999)
34. Hodgson, A., Rönnquist, R., Busetta, P.: Specification of coordinated agent behaviour (the simple team approach). Technical Report 5, Agent Oriented Software, Pty. Ltd. (1999), Available from http://www.agent- software.com
35. Hübner, J.F., Bordini, R.H., Wooldridge, M.: Programming declarative goals using plan patterns. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 65-81. Springer, Heidelberg (2006)
36. Hübner, J.F., Sichman, J.S., Boissier, O.: Using the Moise+ for a cooperative framework of MAS reorganisation. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 506-515. Springer, Heidelberg (2004)
37. Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7(6) (1992)
38. Kollman, R., Selonen, P., Stroulia, E., Systa, T., Zundorf, A.: A study on the current state of the art in tool-supported UML-based static reverse engineering. In: Ninth Working Conference on Reverse Engineering (WCRE'02) (2002)
39. Kumar, S., Huber, M.J., Cohen, P.R.: Representing and executing protocols as joint actions. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems, Bologna, Italy, July 15-19, 2002, pp. 543-550. ACM Press, New York (2002)
40. Lam, D.N., Barber, K.S.: Debugging agent behavior in an implemented agent system. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3346, pp. 104-125. Springer, Heidelberg (2005)
41. Morley, D., Myers, K.L.: The spark agent framework. In: Jennings, N., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 714-721. IEEE Computer Society, Los Alamitos (2004)
42. Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: Spatially distributed normative objects. In: Boella, G., Boissier, O., Matson, E., Vázquez-Salceda, J. (eds.) Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN), held with ECAI2006, Riva del Garda, Italy (August 28, 2006)
43. Omicini, A., Ricci, A., Viroli, M.: Coordination artifacts as first-class abstractions for MAS engineering: State of the research. In: Garcia, A., Choren, R., Lucena, C., Giorgini, P., Holvoet, T., Romanovsky, A. (eds.) Software Engineering for Multi-Agent Systems IV. LNCS, vol. 3914, pp. 71-90. Springer, Heidelberg (2006)
44. Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, West Sussex, England (2004)
45. Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the Prometheus methodology. Engineering Applications of Artificial Intelligence 18(2), 173-190 (2005)
46. Papasimeon, M., Heinze, C.: Extending the UML for designing JACK agents. In: Proceedings of the Australian Software Engineering Conference (ASWEC 01) (2001)
47. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, ch. 6, pp. 149-174. Springer, Heidelberg (2005)
48. Poslad, S., Buckle, P., Hadingham, R.: The fipa-os agent platform: Open source for open standards. In: Proceedings of the 5th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, pp. 355-368 (2000)
49. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'02) (2002)
50. Poutakidis, D., Padgham, L., Winikoff, M.: An exploration of bugs and debugging in multiagent systems. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol. 2871, pp. 628-632. Springer, Heidelberg (2003)
51. 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, vol. 1038, pp. 42-55. Springer, Heidelberg (1996)
52. Reeves, J.: What is software design? C++ Journal (1992)
53. Tambe, M.: Agent architectures for flexible, practical teamwork. In: National Conference on Artificial Intelligence (AAAI-97) (1997)
54. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE'01), Toronto, pp. 249-263. IEEE Computer Society Press, Los Alamitos (2001)
55. van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Subgoal semantics in agent programming. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 548-559. Springer, Heidelberg (2005)
56. van Riemsdijk, M.B., de Boer, F., Dastani, M., Meyer, J.-J.C: Prototyping 3APL in the maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol. 4371. Springer, Heidelberg (2007)
57. Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE'00), Grenoble, France, 11-15 September, pp. 3-12. IEEE Computer Society Press, Los Alamitos (2000)
58. Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In: Avrunin and Rothermel [3], pp. 97-107.
59. Weyns, D., Parunak, H.V.D., Michel, F.: Environments for Multi-Agent Systems II. In: E4MAS 2005. LNCS (LNAI), vol. 3830. Springer, Heidelberg (2006)
60. Winikoff, M.: Implementing commitment-based interactions. In: Autonomous Agents and Multi-Agent Systems (AAMAS) (2007)
61. Winikoff, M., Padgham, L., Harland, J.: Simplifying the development of intelligent agents. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) AI2001: Advances in Artificial Intelligence. LNCS (LNAI), vol. 2256, pp. 555-568. Springer, Heidelberg (2001)
62. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France (2002)
63. Winkelhagen, L., Dastani, M., Broersen, J.: Beliefs in agent implementation. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904. Springer, Heidelberg (2006)
64. Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3) (2000)
65. Yolum, P., Singh, M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In: Proceedings of the 1st Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pp. 527-534 (2002)
66. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence (AMAI), Special Issue on Computational Logic in Multi-Agent Systems (2004)
67. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing multiagent systems: the Gaia methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317-370 (2003)