Abstract
We describe the design of an intermediate language (AIL) for BDI-style programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.
Work supported by EPSRC grants EP/D054788 (Durham) and EP/D052548 (Liverpool).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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, Heidelberg (2005)
Bordini, R.H., Hübner, J.F.: Jason: A Java-based interperter for an extended version of AgentSpeak (2006), http://jason.sourceforge.net
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology, John Wiley & Sons, Chichester (2007)
Braubach, L., Pokahr, A., Farwer, B.: On Formalising Jadex. Personal Communication (January 2007)
Clancey, W., Sierhuis, M., Kaskiris, C., van Hoof, R.: Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System. In: Proc. 16th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp. 7–11. AAAI Press, Menlo Park (2003)
Dastani, M.: 2APL: A Practical Agent Programming Language. In: AAMAS conference PLDT-MAS Tutorial (2007)
Dastani, M., Dignum, V., Dignum, F.: Role-Assignment in Open Agent Societies. In: Proc. 2nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), ACM Press, New York (2003)
Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini et al, [1], ch. 2, pp. 39–67.
Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Goal Types in Agent Programming. In: Proc. 17th European Conference on Artificial Intelligence (ECAI) (2006)
L. A. Dennis. Agent Infrastructure Layer (AIL): Design and Operational Semantics v1.0. Technical Report ULCS-07-001, Department of Computer Science, University of Liverpool (2007 ), http://www.csc.liv.ac.uk/research/techreports/
Dennis, L.A., Fisher, M., Hepple, A.: Language constructs for multi-agent programming. In: Proc. 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA) (2007)
Gutknecht, O., Ferber, J., Michel, F.: From Agents to Organizations: An Organizational View of Multi-agent Systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004)
FIPA. FIPA Communicative Act Library Specification. Technical Report FIPA00037, Foundation for Intelligent Physical Agents(2002)
Fisher, M.: MetateM: The story so far. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3–22. Springer, Heidelberg (2006)
Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational Logics and Agents — A Roadmap of Current Technologies and Future Trends. In: Computational Intelligence (in press)
Hepple, A., Dennis, L., Fisher, M.: A common basis for agent organisation in BDI languages. In: Languages, Methologies and Development tools for Multi-Agent Systems (LADS 2007) (2007)
Hindricks, K.V., Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A Formal Embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS, vol. 1502, pp. 155–166. Springer, Heidelberg (1998)
Hindricks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4), 357–401 (1999)
Hübner, J.F., Bordini, R.H., Wooldridge, M.: Programming Declarative Goals using Plan Patterns. In: Proc. 4th International Workshop on Declarative Agent Languages and Technologies (DALT), Hakodate, Japan, pp. 65–81 (May 2006)
Muscettola, N., Nayak, P.P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence 103(1-2), 5–48 (1998)
Pokahr, A., Braubach, L., Lamersdorf, W.: A Flexible BDI Architecture Supporting Extensibility. In: Proc. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), pp. 379–385 (2005)
Rao, A.: 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)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. 1st International Conference on Multi-Agent Systems (ICMAS), San Francisco, pp. 312–319 (1995)
Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), http://ic.arc.nasa.gov/ic/publications
Vázquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Technical Report UU-CS-2004-015, Institute of Information and Computing Sciences, Utrecht University (2004)
Visser, W., Havelund, K., Brat, G., Park, S.: Model checking programs. In: Proceedings of the Fifteenth International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 11-15, pp. 3–12. IEEE Computer Society, Los Alamitos (2000)
Wooldridge, M., Fisher, M., Huget, M., Parsons, S.: Model Checking Multiagent Systems with MABLE. In: Proc. 1st International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS) (July 2002)
Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Kluwer, Dordrecht (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M. (2008). A Common Semantic Basis for BDI Languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds) Programming Multi-Agent Systems. ProMAS 2007. Lecture Notes in Computer Science(), vol 4908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79043-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-79043-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79042-6
Online ISBN: 978-3-540-79043-3
eBook Packages: Computer ScienceComputer Science (R0)