Advertisement

AgentSpeak(ER): Enhanced Encapsulation in Agent Plans

  • Alessandro RicciEmail author
  • Rafael H. Bordini
  • Jomi F. Hübner
  • Rem Collier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11375)

Abstract

In this chapter, we introduce AgentSpeak(ER), an extension of the AgentSpeak(L) language tailored to support encapsulation. The AgentSpeak(ER) extension allows for significantly improving the style of BDI agent programming along relevant aspects, including program modularity and readability, failure handling, and reactive as well as goal-based reasoning. The chapter introduces the novel language based on AgentSpeak, illustrates the features of the language through examples, and discuss results of a case study based on the implementation of the proposed language.

References

  1. 1.
    Ahlbrecht, T., Fiekas, N., Dix, J.: Multi-agent programming contest 2016. Int. J. Agent-Oriented Softw. Eng. 6(1), 58–85 (2018).  https://doi.org/10.1504/IJAOSE.2018.089597CrossRefGoogle Scholar
  2. 2.
    Bordini, R.H., Hübner, J.F.: BDI agent programming in AgentSpeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006).  https://doi.org/10.1007/11750734_9CrossRefzbMATHGoogle Scholar
  3. 3.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Boston (2005).  https://doi.org/10.1007/b137449CrossRefzbMATHGoogle Scholar
  4. 4.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Boston (2009).  https://doi.org/10.1007/978-0-387-89299-3CrossRefzbMATHGoogle Scholar
  5. 5.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agents Multi-Agent Syst. 12(2), 239–256 (2006).  https://doi.org/10.1007/s10458-006-5955-7CrossRefGoogle Scholar
  6. 6.
    Bordini, R.H., Hübner, J.F., Wooldrige, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. Wiley, Chichester (2007). http://jason.sf.net/jBookCrossRefGoogle Scholar
  7. 7.
    Bratman, M.E., Israel, D.J., Pollack, M.E.: Plans and resource-bounded practical reasoning. Comput. Intell. 4, 349–355 (1988).  https://doi.org/10.1111/j.1467-8640.1988.tb00284.xCrossRefGoogle Scholar
  8. 8.
    Braubach, L., Pokahr, A., Lamersdorf, W.: Extending the capability concept for flexible BDI agent modularization. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 139–155. Springer, Heidelberg (2006).  https://doi.org/10.1007/11678823_9CrossRefGoogle Scholar
  9. 9.
    Busetta, P., Howden, N., Rönnquist, R., Hodgson, A.: Structuring BDI agents in functional clusters. In: Jennings, N.R., Lespérance, Y. (eds.) ATAL 1999. LNCS (LNAI), vol. 1757, pp. 277–289. Springer, Heidelberg (2000).  https://doi.org/10.1007/10719619_21CrossRefzbMATHGoogle Scholar
  10. 10.
    Cardoso, R.C., Krausburg, T., Baségio, T.L., Engelmann, D.C., Hübner, J.F., Bordini, R.H.: SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Ann. Math. Artif. Intell. 84(1–2), 75–93 (2018)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Challet, D., Marsili, M., Zhang, Y.C., et al.: Minority games: interacting agents in financial markets. OUP Catalogue (2013)Google Scholar
  12. 12.
    Chmura, T., Pitz, T.: Minority game: experiments and simulations of traffic scenarios. Technical report, Bonn Econ Discussion Papers (2004)Google Scholar
  13. 13.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artif. Intell. 42, 213–261 (1990)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Collier, R.W., Russell, S., Lillis, D.: Reflecting on agent programming with AgentSpeak(L). In: Chen, Q., Torroni, P., Villata, S., Hsu, J., Omicini, A. (eds.) PRIMA 2015. LNCS (LNAI), vol. 9387, pp. 351–366. Springer, Cham (2015).  https://doi.org/10.1007/978-3-319-25524-8_22CrossRefGoogle Scholar
  15. 15.
    Croatti, A., Montagna, S., Ricci, A.: A personal medical digital assistant agent for supporting human operators in emergency scenarios. In: Montagna, S., Abreu, P.H., Giroux, S., Schumacher, M.I. (eds.) A2HC/AHEALTH -2017. LNCS (LNAI), vol. 10685, pp. 59–75. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-70887-4_4CrossRefGoogle Scholar
  16. 16.
    Dastani, M., Steunebrink, B.: Modularity in BDI-based multi-agent programming languages. In: 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, vol. 2, pp. 581–584, September 2009Google Scholar
  17. 17.
    Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A common semantic basis for BDI languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 124–139. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-79043-3_8CrossRefGoogle Scholar
  18. 18.
    Duff, S., Harland, J., Thangarajah, J.: On proactivity and maintenance goals. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2006, pp. 1033–1040. ACM, New York (2006). http://doi.acm.org/10.1145/1160633.1160817
  19. 19.
    Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence - Volume 2, AAAI 1987, pp. 677–682. AAAI Press (1987), http://dl.acm.org/citation.cfm?id=1863766.1863818
  20. 20.
    Hindriks, K.: Modules as policy-based intentions: modular agent programming in GOAL. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 156–171. Springer, Heidelberg (2008).  https://doi.org/10.1007/978-3-540-79043-3_10CrossRefGoogle Scholar
  21. 21.
    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. 123–140. Springer, Heidelberg (2006).  https://doi.org/10.1007/11961536_9CrossRefGoogle Scholar
  22. 22.
    Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert. Intell. Syst. Their Appl. 7(6), 34–44 (1992).  https://doi.org/10.1109/64.180407CrossRefGoogle Scholar
  23. 23.
    Madden, N., Logan, B.: Modularity and compositionality in Jason. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS (LNAI), vol. 5919, pp. 237–253. Springer, Heidelberg (2010).  https://doi.org/10.1007/978-3-642-14843-9_15CrossRefGoogle Scholar
  24. 24.
    Moro, E.: The minority game: an introductory guide. arXiv preprint cond-mat/0402651 (2004)Google Scholar
  25. 25.
    Novák, P., Dix, J.: Modular BDI architecture. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2006, pp. 1009–1015. ACM, New York (2006). http://doi.acm.org/10.1145/1160633.1160814
  26. 26.
    Nunes, I.: Improving the design and modularity of BDI agents with capability relationships. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS (LNAI), vol. 8758, pp. 58–80. Springer, Cham (2014).  https://doi.org/10.1007/978-3-319-14484-9_4CrossRefGoogle Scholar
  27. 27.
    Ortiz-Hernández, G., Hübner, J.F., Bordini, R.H., Guerra-Hernández, A., Hoyos-Rivera, G.J., Cruz-Ramírez, N.: A namespace approach for modularity in BDI programming languages. In: Baldoni, M., Müller, J.P., Nunes, I., Zalila-Wenkstern, R. (eds.) EMAS 2016. LNCS (LNAI), vol. 10093, pp. 117–135. Springer, Cham (2016).  https://doi.org/10.1007/978-3-319-50983-9_7CrossRefGoogle Scholar
  28. 28.
    Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996).  https://doi.org/10.1007/BFb0031845CrossRefGoogle Scholar
  29. 29.
    Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment programming in CArtAgO. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Tools and Applications, Chap. 8, pp. 259–288. Springer, Boston (2009).  https://doi.org/10.1007/978-0-387-89299-3_8CrossRefzbMATHGoogle Scholar
  30. 30.
    van Riemsdijk, M.B., Dastani, M., Meyer, J.J.C., de Boer, F.S.: Goal-oriented modularity in agent programming. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2006, pp. 1271–1278. ACM, New York (2006)Google Scholar
  31. 31.
    Sardina, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agents Multi-Agent Syst. 23(1), 18–70 (2011)CrossRefGoogle Scholar
  32. 32.
    Vikhorev, K., Alechina, N., Logan, B.: Agent programming with priorities and deadlines. In: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1, AAMAS 2011, pp. 397–404. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2011). http://dl.acm.org/citation.cfm?id=2030470.2030529
  33. 33.
    Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M. (eds.) Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR 2002), Toulouse, France, 22–25 April 2002, pp. 470–481. Morgan Kaufmann (2002)Google Scholar
  34. 34.
    Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (2002)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Alessandro Ricci
    • 1
    Email author
  • Rafael H. Bordini
    • 2
  • Jomi F. Hübner
    • 3
  • Rem Collier
    • 4
  1. 1.DISI, University of BolognaCesenaItaly
  2. 2.POLI-PUCRSPorto AlegreBrazil
  3. 3.Federal University of Santa CatarinaFlorianópolisBrazil
  4. 4.University College of DublinDublinIreland

Personalised recommendations