Abstract
This article presents a BDI-based agent-oriented programming language, called 2APL (A Practical Agent Programming Language). This programming language facilitates the implementation of multi-agent systems consisting of individual agents that may share and access external environments. It realizes an effective integration of declarative and imperative style programming by introducing and integrating declarative beliefs and goals with events and plans. It also provides practical programming constructs to allow the generation, repair, and (different modes of) execution of plans based on beliefs, goals, and events. The formal syntax and semantics of the programming language are given and its relation with existing BDI-based agent-oriented programming languages is discussed.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Alechina, N., Dastani, M., Logan, B., & Meyer, J.-J. (2007). A logic of agent programs. In Proceedings of the twenty-second conference on Artificial Intelligence (AAAI-07). AAAI press.
Astefanoaei, L., Mol, C., Sindlar, M., & Tinnemeier, N. (2008). Going for Gold with 2APL. InProceedings of the fifth international workshop on programming multi-agent systems. Springer.
Bellifemine, F., Bergenti, F., Caire, G., & Poggi, A. (2005). JADE—a java agent development framework. In Multi-agent programming: languages, platforms and applications. Kluwer.
Bergenti, F., Gleizes, M.-P., & Zambonelli, F. (Eds.). (2004). Methodologies and software engineering for agent systems, Vol. 11 of Multiagent systems, artificial societies, and simulated organizations. Kluwer Academic Publisher.
Bordini, R. H., Wooldridge, M., & Hübner, J. F. (2007). Programming multi-agent systems in agentspeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons.
Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Sadri, P. M. F., Stathis, K., Terreni, G., & Toni, F. (2004). The KGP model of agency for global computing: Computational model and prototype implementation. In Global computing, Vol. 3267 of Lecture notes in computer science(pp. 340–367). Springer.
Cohen, P. R., & Levesque, H. J. (1990). Intention is choice with commitment. Artificial Intelligence, 42.
Dastani, M., van Riemsdijk, M. B., & Meyer, J.-J. C. (2006). Goal types in agent programming. In Proceedings of the 17th European conference on artificial intelligence(ECAI’06).
Dastani, M., van Riemsdijk, M. B., & Meyer, J.-J. C. (2007). A grounded specification language for agent programs. In Proceedings of the sixth international joint conference on autonomous agents and multiagent systems (AAMAS’07). ACM Press.
Fisher M. (1994). A survey of concurrent METATEM—the language and its applications. In: Gabbay D.M., Ohlbach H.J. (eds). Temporal Logic—Proceedings of the first intemational conference (LNAI Vol. 827). Springer-Verlag, Heidelberg Germany, pp. 480–505
Fisher, M. (2005). METATEM: The story so far. In Proceedings of the third international workshop on programming multiagent systems (ProMAS-03), Vol. 3862 of lecture notes in artificial intelligence(pp. 3–22). Springer Verlag.
Giacomo G. D., Lesperance Y., Levesque H. J. (2000). Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1–2): 109–169
Hindriks K.V., de Boer F.S., van der Hoek W., Meyer J.-J.C. (1999). Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4): 357–401
Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J.-J. C. (1998). A formal embedding of AgentSpeak(L) in 3APL. In: Advanced topics in artificial intelligence (LNAI 1502)(pp.155–166).
Hindriks, K. V., de Boer, F. S., van der Hoek, W., & Meyer, J.-J. C. (2001). Agent programming with declarative goals. In Proceedings of the 7th international workshop on intelligent agents VII. agent theories architectures and languages(pp. 228–243). Springer-Verlag.
Kakas, A., Mancarella, P., Sadri, F., Stathis, K., & Toni, F. (2004). The KGP model of agency. In The 16th European conference on artificial intelligence(p. 3337).
Leite, J. A., Alferes, J. J., & Pereira, L. M. (2001). Minerva—A dynamic logic programming agent architecture. In J.-J. Meyer & M. Tambe (Eds.), Pre-proceedings of the eighth international workshop on agent theories, architectures, and languages (ATAL-2001)(pp. 133–145).
Meyer J.-J. C., van der Hoek W., van Linder B. (1999). A logical approach to the dynamics of commitments. Arificial Intelligence, 113: 1–40
Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). Jadex: A BDI reasoning engine. In Multi-agent programming: Languages, platforms and applications. Kluwer.
Rao A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In:van Hoe R.(eds). Proceedings of the seventh European workshop on modelling autonomous agents in a multi-agent world (MAAMAW’96). Eindhoven, The Netherlands,
Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes & E. Sandewall (Eds.),Proceedings of the second international conference on principles of knowledge representation and reasoning (KR’91) (pp. 473–484). Morgan Kaufmann.
Ricci, A., Piunti, M., Acay, L. D., Bordini, R., Hnbner, J., & Dastani, M. (2008). Integrating heterogeneous agent-programming platforms within artifact-based environments. In Proceedings of the seventh international joint conference on autonomous agents and multiagent systems (AAMAS’08). ACM Press.
Sadri, F. (2005). Using the KGP model of agency to design applications. In CLIMA VI(Vol. 3900, pp. 165–185). Springer.
Sardina S., Giacomo G. D., Lespérance Y., Levesque H. J. (2004). On the semantics of deliberation in indigolog ù m theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2–4): 259–299
Thangarajah, J., Padgham, L., & Winikoff, M. (2003). Detecting & avoiding interference between goals in intelligent agents. In Proceedings of the 18th international joint conference on artificial intelligence.
Tinnemeier, N., Dastani, M., & Meyer, J.-J. C. (2007). Goal selection strategies for rational agents. In Proceedings of the LADS workshop (languages, methodologies and development tools for multi-agent systems).
Vergunst, N., Steunebrink, B., Dastani, M., Dignum, F., & Meyer, J. (2007). Towards programming multimodal dialogues. In Proceedings of the workshop on communication between human and artificial agents (CHAA’07).IEEE Computer Society Press.
Weyns, D., & Holvoet, T. (2004). A formal model for situated multi-agent systems. In B. Dunin-Kêplics & R. Verbrugge (Eds.), Fundamenta Informaticae, 63(2–3) 125–158. http://fi.mimuw.edu.pl/abs63.html.
Winikoff, M. (2005). JACKTM intelligent agents: An industrial strength platform. In Multi-agent programming: Languages, platforms and applications. Kluwer.
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Dastani, M. 2APL: a practical agent programming language. Auton Agent Multi-Agent Syst 16, 214–248 (2008). https://doi.org/10.1007/s10458-008-9036-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-008-9036-y