Languages for programming BDI-style agents: An overview

WOA 2005 - 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems

Volumn , Issue , 2005, Pages 9-15

  Mascardi, Viviana ^a   Demergasso, Daniela ^a   Ancona, Davide ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AGENTSPEAK; BDI LOGIC; BDI MODEL; INTEGRATED ENVIRONMENT; MENTAL ATTITUDE;

CIRCUIT SIMULATION; SOFTWARE ENGINEERING;

APL (PROGRAMMING LANGUAGE);

EID: 51349156883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (67)

1. M. Wooldridge and N. R. Jennings, "Intelligent agents: Theory and practice," The Knowledge Engineering Review, vol. 10, no. 2, pp. 115-152, 1995.
2. D. C. Dennett, The Intentional Stance. The MIT Press, 1987.
3. P. R. Cohen and H. J. Levesque, "Intention is choice with commitment," Artificial Intelligence, vol. 42, 1990.
4. A. S. Rao and M. P. Georgeff, "Modeling rational agents within a BDI-architecture," in Proc. of KR'91, 1991, pp. 473-484.
5. - "Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics." in Proc. of IJCAI'91, 1991, pp. 498-504.
6. - "A model-theoretic approach to the verification of situated reasoning systems," in Proc. of IJCAI'93, 1993, pp. 318-324.
7. - "BDI agents: from theory to practice," in Proc. of ICMAS'95, 1995, pp. 312-319.
8. M. P. Georgeff and A. L. Lansky, "Reactive reasoning and planning," in Proc. of AAAI'87, 1987, pp. 677-682.
9. K. L. Myers, "User guide for the procedural reasoning system," Artificial Intelligence Center, SRI International, Menlo Park, CA, Tech. Rep., 1997.
10. M. P. Georgeff and F. F. Ingrand, "Decision-making in an embedded reasoning system," in Proc. of IJCAI'89, 1989, pp. 972-978.
11. M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge, "A formal specification of dMARS," in Proc. of ATAL'97, 1997, pp. 155-176. (Pubitemid 128044917)
12. M. Spivey, The Z Notation: A Reference Manual, 2nd edition. Prentice Hall International Series in Computer Science, 1992.
13. M. P. Georgeff and A. S. Rao, "A profile of the Australian AI institute," IEEE Expert, vol. 11, no. 6, pp. 89-92, 1996.
14. P. Busetta, R. Ronnquist, A. Hodgson, and A. Lucas, "JACK intelligent agents - components for intelligent agents in Java," AgentLink News Letter, vol. 2, 1999.
15. Agent Oriented Software Group, "What is JACK?" http://www.agent-software.com/shared/products/index.html.
16. K. L. Myers and D. E. Wilkins, "The Act Formalism, Version 2.2," SRI International AI Center Technical Report, SRI International, Menlo Park, CA, Tech. Rep., 1997.
17. J. Lee and E. H. Durfee, "Structured circuit semantics for reactive plan execution systems," in Proc. of AAAI'94, 1994, pp. 1232-1237.
18. R. S. Gray, D. Kotz, G. Cybenko, and D. Rus, "Agent Tcl," in Mobile Agents: Explanations and Examples. Manning Publishing, 1997.
19. H. Peine, "ARA - Agents for Remote Action," in Mobile Agents. Manning Publishing, 1997.
20. D. Lange and O. Mitsuru, Programming and Deploying Java Mobile Agents with Aglets, 1998.
21. JADE Home Page, http://jade.tilab.com/.
22. FIPA Home Page, http://www.fipa.org/.
23. Protégé Home Page, http://protege.stanford.edu/.
24. A. Pokahr, L. Braubach, and W. Lamersdorf, "A flexible BDI architecture supporting extensibility," in Proc. of IAT-2005, 2005, pp. 379-385. (Pubitemid 46116579)
25. A. S. Rao, "AgentSpeak(L): BDI agents speak out in a logical computable language," in Proc. of MAAMAW'96, 1996, pp. 42-55. (Pubitemid 126029707)
26. R. Machado and R. H. Bordini, "Running AgentSpeak(L) agents on SIM AGENT," in Proc. of ATAL'01, 2001, pp. 158-174.
27. R. H. Bordini, A. L. C. Bazzan, R. de O. Jannone, D. M. Basso, R. M. Vicari, and V. R. Lesser, "AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling," in Proc. of AAMAS'02, 2002, pp. 1294-1302. (Pubitemid 34975386)
28. A. Sloman and R. Poli, "SIM AGENT: A toolkit for exploring agent design," in Proc. of ATAL'95. Springer-Verlag, 1995, pp. 392-407.
29. R. H. Bordini, J. F. Hübner, et al., Jason: A Java-based AgentSpeak interpreter used with SACI for multi-agent distribution over the net, Manual, release 0.5 ed., 2004.
30. A. F. Moreira, R. Vieira, and R. H. Bordini, "Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication," in Proc. of DALT'03. Springer-Verlag, 2003, pp. 135-154.
31. J. F. Hübner and J. S. Sichman, SACI - Simple Agent Communication Infrastructure, 2003, sACI Home Page: http://www.lti.pcs.usp.br/saci/.
32. M. Winikoff, "The AgentTalk home page," http://goanna.cs.rmit. edu.au/~winikoff/agenttalk/.
33. M. d'Inverno and M. Luck, "Engineering AgentSpeak(L): A formal computational model," Logic and Computation Journal, vol. 8, no. 3, pp. 1-27, 1998.
34. R. H. Bordini and A. F. Moreira, "Proving BDI properties of agentoriented programming languages: The asymmetry thesis principles in AgentSpeak(L)," Annals of Math. and AI, vol. 42, no. 1-3, pp. 197-226, 2004. (Pubitemid 39063489)
35. K. V. Hindriks, F. S. D. Boer, W. V. der Hoek, and J.-J. C. Meyer, "Agent programming in 3APL," AAMAS Journal, vol. 2, no. 4, pp. 357-401, 1999.
36. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer, "Formal semantics for an abstract agent programming language," in Proc. of ATAL'97, 1997, pp. 215-229.
37. M. d'Inverno, K. V. Hindriks, and M. Luck, "A formal architecture for the 3APL agent programming language," in Proc. of ZB'00, 2000, pp. 168-187.
38. M. Dastani, F. S. de Boer, F. Dignum, and J.-J. C. Meyer, "Programming agent deliberation - an approach illustrated using the 3APL language," in Proc. of AAMAS'03, 2003.
39. B. van Riemsdijk, W. van der Hoek, and J.-J. C. Meyer, "Agent programming in Dribble: from beliefs to goals using plans," in Proc. of AAMAS'03, 2003, pp. 393-400.
40. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer, "Agent programming with declarative goals," in Proc. of ATAL'00, 2000, pp. 228-243. (Pubitemid 33314471)
41. M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. C. Meyer, "A programming language for cognitive agents: goal directed 3APL," in Proc. of ProMAS'03, ser. LNAI. Springer, 2004, vol. 3067, pp. 111-130. (Pubitemid 41083542)
42. M. B. van Riemsdijk, "Agent programming in Dribble: from beliefs to goals with plans," Master's thesis, Utrecht University, 2002.
43. D. Ancona and V. Mascardi, "Coo-BDI: Extending the BDI model with cooperativity," in Post-proc. of DALT'03, 2004, pp. 109-134.
44. D. Ancona, V. Mascardi, J. F. Hübner, and R. H. Bordini, "Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange," in Proc. of AAMAS'04, 2004, pp. 698-705.
45. D. Demergasso, "Coo-AgentSpeak: un linguaggio per agenti deliberativi e cooperativi," Master's thesis, DISI - Università di Genova, 2005, in Italian.
46. J. Lee, M. J. Huber, P. G. Kenny, and E. H. Durfee, "UM-PRS: An Implementation of the Procedural Reasoning System for Multirobot Applications," in Proc. of CIRFFSS'94, 1994, pp. 842-849.
47. PRS-CL Home Page, http://www.ai.sri.com/~prs/.
48. M. Wooldridge's List of PRS Implementations, http://www.csc.liv.ac.uk/ ~mjw/pubs/rara/resources.html.
49. JACK Home Page, http://www.agent-software.com/shared/products/index.html.
50. JAM Home Page, http://www.marcush.net/IRS/irsdownloads.html.
51. Jadex Home Page, http://vsis-www.informatik.uni-hamburg.de/projects/ jadex/.
52. 3APL Home Page, http://www.cs.uu.nl/3apl/.
53. A. F. Moreira, R. Vieira, R. H. Bordini, and J. Hübner, "Agentoriented programming with underlying ontological reasoning," in Proc. of DALT'05, 2005.
54. M. Wooldridge and N. R. Jennings, "Agent theories, architectures, and languages: A survey," in Proc of. ECAI ATAL Workshop, 1994, pp. 1-39.
55. T. Eiter and V. Mascardi, "Comparing Environments for Developing Software Agents," AI Communications, vol. 15, no. 4, pp. 169-197, 2002.
56. AgentBuilder Home Page, http://www.agentbuilder.com/.
57. M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini, "Multiagent systems development as a software engineering enterprise," in Proc. of PADL'99, 1999, pp. 46-60.
58. DESIRE Home Page, http://www.cs.vu.nl/vakgroepen/ai/projects/desire/ desire.html.
59. T. Eiter, V. S. Subrahmanian, and G. Pick, "Heterogeneous active agents, I: Semantics," Artificial Intelligence, vol. 108, no. 1-2, pp. 179-255, 1999.
60. H. S. Nwana, D. T. Ndumu, L. C. Lee, and J. C. Collis, "ZEUS: A tool-kit for building distributed multi-agent systems," Applied Artifical Intelligence Journal, vol. 13, no. 1, pp. 129-185, 1999.
61. M. Wooldridge, "This is MYWORLD: The logic of an agent-oriented testbed for DAI," in Proc. of ECAI ATAL Workshop, 1994, pp. 160-178.
62. D. Kinny, "ViP: a visual programming language for plan execution systems," in Proc. of AAMAS'02, 2002, pp. 721-728. (Pubitemid 34975256)
63. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah, "Declarative & procedural goals in intelligent agent systems," in Proc. of KR'02, 2002, pp. 470-481.
64. I. Dickinson and M. Wooldridge, "Towards practical reasoning agents for the semantic web," in Proc. of AAMAS'03, 2003, pp. 827-834.
65. D. Morley and K. Myers, "The SPARK agent framework," in Proc. of AAMAS'04, 2004, pp. 714-721.
66. F. Sadri and F. Toni, "Computational Logic and Multi-Agent Systems: a Roadmap," Department of Computing, Imperial College, London, Tech. Rep., 1999.
67. V. Mascardi, M. Martelli, and L. Sterling, "Logic-based specification languages for intelligent software agents," TPLP Journal, vol. 4, no. 4, pp. 429-494, 2004.