Agent-Based Simulation Using BDI Programming in Jason

Simulation and Applications

Volumn , Issue , 2009, Pages 451-476

  Bordini, Rafael H ^a   Hübner, Jomi F ^b  

^a DURHAM UNIVERSITY   (United Kingdom)

^b ECOLE DES MINES DE SAINT ETIENNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84858058174     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1201/9781420070248-27     Document Type: Chapter

References (42)

1. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. The socs computational logic approach to the specification and verification of agent societies. In C. Priami and P. Quaglia, editors, Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, volume 3267 of LNCS, pages 314-339. Springer, Berlin, 2005.
2. J. L. Austin. How to Do Things with Words. Harvard University Press, Cambridge, 2 edition, 1975.
3. S. Bandini, S. Manzoni, and C. Simone. Dealing with space in multi-agent systems: a model for situated mas. In Proceedings of The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, pages 1183-1190. ACM, 2002.
4. F. Bellifemine, F. Bergenti, G. Caire, and A. Poggi. JADE | a java agent development framework. In Bordini et al. [2005b], chapter 5, pages 125-147.
5. R. H. Bordini, A. C. da Rocha Costa, J. F. Hübner, Á. F. Moreira, F. Y. Okuyama, and R. Vieira. MAS-SOC: a social simulation platform based on agent-oriented programming. Journal of Artificial Societies and Social Simulation, 8(3), Jun 2005a. JASSS Forum, .
6. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, editors. Multi-Agent Programming: Languages, Platforms and Applications. Number 15 in Multiagent Systems, Artificial Societies, and Simulated Organizations. Springer, New-York, 2005b.
7. R. H. Bordini, L. Braubach, M. Dastani, A. E. F. Seghrouchni, J. J. Gomez-Sanz, J. Leite, G. O’Hare, A. Pokahr, and A. Ricci. A survey of programming languages and platforms for multi-agent systems. Informatica, 30(1):33-44, 2006. Available online at http://ai.ijs.si/informatica/vols/vol30.html\#No1.
8. R. H. Bordini, M. Dastani, and M. Winikoff. Current issues in multi-agent systems development (invited paper). In G. M. P. O’Hare, A. Ricci, M. J. O’Grady, and O. Dikenelli, editors, Proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW 2006), 6-8 September, Dublin, Ireland - Revised Selected and Invited Papers, number 4457 in LNAI, pages 38-61. Springer, Berlin, 2007a.
9. R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. John Wiley & Sons, Chichester, UK, 2007b. URL http://jason.sf.net/jBook.
10. C. Castelfranchi, R. Conte, and M. Paolucci. Normative reputation and the cost of compliance. Journal of Artificial Societies and Social Simulation, 1(3), 1998. URL http://jasss.soc.surrey.ac.uk/1/3/3.html. http://jasss.soc.surrey.ac.uk/1/3/3.html.
11. K. L. Clark and F. G. McCabe. Go! for multi-threaded deliberative agents. In J. A. Leite, A. Omicini, L. Sterling, and P. Torroni, editors, Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, volume 2990 of LNAI, pages 54-75. Springer, Berlin, 2004.
12. M. Dastani and J. Gomez-Sanz. Programming multi-agent systems. Knowledge Engineering Review, 20(2):151-164, 2006.
13. M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer. Programming multi-agent systems in 3APL. In Bordini et al. [2005b], chapter 2, pages 39-67.
14. G. de Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog: A concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109-169, 2000.
15. J. Dix and Y. Zhang. IMPACT: A multi-agent framework with declarative semantics. In Bordini et al. [2005b], chapter 3, pages 69-94.
16. A. El Fallah Seghrouchni and A. Suna. CLAIM and SyMPA: A programming environment for intelligent and mobile agents. In Bordini et al. [2005b], chapter 4, pages 95-122.
17. M. Fisher. Temporal development methods for agent-based systems. Autonomous Agents and Multi-Agent Systems, 10(1):41-66, 2004.
18. M. Fisher, R. H. Bordini, B. Hirsch, and P. Torroni. Computational logics and agents: a road map of current technologies and future trends. Computational Intelligence, 23(1):61-91, Feb. 2007.
19. M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In AAAI, pages 677-682, 1987.
20. A. Helleboogh, G. Vizzari, A. Uhrmacher, and F. Michel. Modeling dynamic environments in multi-agent simulation. Autonomous Agents and Multi-Agent Systems, 14(1):87-116, 2007.
21. J. F. Hübner, J. S. Sichman, and O. Boissier. Using the MOISE+ for a cooperative framework of MAS reorganisation. In A. L. C. Bazzan and S. Labidi, editors, Proceedings of the 17th Brazilian Symposium on Artificial Intelligence (SBIA’04), volume 3171 of LNAI, pages 506-515, Berlin, 2004. Springer. URL http://www.inf.furb.br/~jomi/pubs/2004/Hubner-sbia2004.pdf.
22. J. F. Hübner, R. H. Bordini, and M. Wooldridge. Programming declarative goals using plan patterns. In M. Baldoni and U. Endriss, editors, Proceedings of the Fourth International Workshop on Declarative Agent Languages and Technologies (DALT 2006), held with AAMAS 2006, 8th May, Hakodate, Japan, volume 4327 of LNCS, pages 123-140. Springer, 2006. ISBN 3-540-68959-1.
23. J. F. Hübner, J. S. Sichman, and O. Boissier. Developing organised multi-agent systems using the MOISE+ model: Programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering, 1(3/4):370-395, 2007.
24. R. Kitio, O. Boissier, J. F. Hübner, and A. Ricci. Organisational artifacts and agents for open multi-agent organisations: “giving the power back to the agents”. In J. Sichman, P. Noriega, J. Padget, and S. Ossowski, editors, COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, volume 4870 of LNCS, pages 171-186. Springer, New York, 2008. Revised Selected Papers.
25. S. Kumar, P. R. Cohen, and M. J. Huber. Direct execution of team specifications in STAPLE. In C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 15-19 July, Bologna, Italy, pages 567-568. ACM Press, New York, NY, 2002.
26. J. A. Leite, J. J. Alferes, and L. M. Pereira. MINERVA|a dynamic logic programming agent architecture. In J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA, volume 2333 of Lecture Notes in Artificial Intelligence, pages 141-157. Springer, Berlin, 2002.
27. V. Mascardi, M. Martelli, and L. Sterling. Logic-based specification languages for intelligent software agents. Theory and Practice of Logic Programming, 4(4):429-494, 2004.
28. D. Morley and K. L. Myers. The spark agent framework. In 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pages 714-721. IEEE Computer Society, 2004.
29. P. Noriega, J. Vásquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara, and E. Matson, editors. AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006, volume 4386 of LNAI, 2007. Springer, Berlin. Revised Selected Papers.
30. F. Y. Okuyama, R. H. Bordini, and A. C. da Rocha Costa. ELMS: an environment description language for multi-agent simulations. In D. Weyns, H. van Dyke Parunak, F. Michel, T. Holvoet, and J. Ferber, editors, 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, number 3374 in Lecture Notes in Artificial Intelligence, pages 91-108. Springer-Verlag, Berlin, 2005.
31. F. Y. Okuyama, R. H. Bordini, and A. C. da Rocha Costa. Spatially distributed normative objects. In G. Boella, O. Boissier, E. Matson, and J. Vázquez-Salceda, editors, Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN), held with ECAI 2006, 28th August, Riva del Garda, Italy, 2006.
32. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: A BDI reasoning engine. In Bordini et al. [2005b], chapter 6, pages 149-174.
33. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde and J. Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW’96), 22-25 January, Eindhoven, The Netherlands, number 1038 in LNAI, pages 42-55. Springer, Berlin, 1996.
34. A. Ricci, M. Viroli, and A. Omicini. “Give agents their artifacts”: The A&A approach for engineering working environments in MAS. In E. Durfee, M. Yokoo, M. Huhns, and O. Shehory, editors, 6th International Joint Conference “Autonomous Agents & Multi-Agent Systems” (AAMAS 2007), pages 601-603, Honolulu, Hawai’i, USA, 14-18 May 2007. IFAAMAS. ISBN 978-81-904262-7-5.
35. A. Ricci, M. Piunti, L. D. Acay, R. H. Bordini, J. F. Hübner, and M. Dastani. Integrating heterogeneous agent-programming platforms within artifact-based environments. In L. Padgham, D. Parkes, J. Müller, and S. Parsons, editors, Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008), 12-16 May, Estoril, Portugal. International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org), 2008.
36. P. Shaw and R. Bordini. Towards alternative approaches to reasoning about goals. In Proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies. Springer, New York, 2007.
37. M. Tambe. Agent architectures for exible, practical teamwork. In AAAI/IAAI, pages 22-28. AAAI Press, Menlo Park, CA, 1997.
38. J. Thangarajah, L. Padgham, and M. Winikoff. Detecting and avoiding interference between goals in intelligent agents. In proceedings of 18th International Joint Conference on Artificial Intelligence (IJCAI), pages 721-726. Morgan Kaufmann, San Francisco, CA, August 2003.
39. F. Toni. Multi-agent systems in computational logic: Challenges and outcomes of the socs project. In F. Toni and P. Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, volume 3900 of Lecture Notes in Computer Science, pages 420-426. Springer, Berlin, 2006.
40. D. Weyns and T. Holvoet. A formal model for situated multi-agent systems. Fundam. Inform., 63(2-3):125-158, 2004.
41. M. Winikoff. JACKTM intelligent agents: An industrial strength platform. In Bordini et al. [2005b], chapter 7, pages 175-193.
42. M. Wooldridge. An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester, UK, 2002.