Abstract
In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend programming languages based on the BDI style of logical agent model with two such constructs, namely constraints and content/context sets. These two aspects provide sufficient expressive power to allow us to represent, simply and with semantic clarity, a wide range of organisational structures for multi-agent systems. We not only introduce this approach, but provide its formal semantics, through modification of an operational semantics based on the core of AgentSpeak, 3APL and MetateM. In addition, we provide illustrative examples by simulating both constraints and content/context sets within the Jason interpreter for AgentSpeak. In summary, we advocate the use of these simple constructs in many logic-based BDI languages, by appealing to their applicability, simplicity and clear semantics.
Work partially supported by EPSRC under grant EP/D052548.
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. Springer, Heidelberg (2005)
Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of Agent-Oriented Programming. In: Bordini, et al. (ed.) [1], vol. 1, pp. 3–37.
Cohen, P.R., Levesque, H.J.: Teamwork. Technical Report 504, SRI International, California, USA (1991)
Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming Multi-Agent Systems in 3APL. In: Bordini, et al. (eds.) [1]
Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantic Basis for BDI Languages. In: Proc. Seventh International Workshop on Programming Multiagent Systems (ProMAS). LNCS (LNAI). Springer, Heidelberg (to appear, 2007)
Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proc. 1st International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1045–1052. ACM, New York (2002)
Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Ferber, J., Gutknecht, O.: A Meta-model for the Analysis and Design of Organizations in Multi-agent Systems. In: Proc. 3rd International Conference on Multi-Agent Systems (ICMAS), pp. 128–135. IEEE, Los Alamitos (1998)
Fisher, M.: MetateM: The Story so Far. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni EI Fallah, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 3–22. Springer, Heidelberg (2006)
Fox, M.S.: An Organizational View of Distributed Systems. IEEE Transactions on Systems, Man, and Cybernetics 11 (1981)
Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Foundations of Organizational Structures in Multiagent Systems. In: Proc. 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 690–697. ACM, New York (2005)
Hepple, A., Dennis, L., Fisher, M.: A Common Basis for Agent Organisations in BDI Languages. In: Proc. First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS). LNCS. Springer, Heidelberg (to appear, 2008)
Hindriks, 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)
Jennings, N.R., Wooldridge, M.: Applications of Agent Technology. In: Agent Technology: Foundations, Applications, and Markets. Springer, Heidelberg (1998)
Kitano, H., Tadokoro, S.: RoboCup Rescue: A Grand Challenge for Multiagent and Intelligent Systems. AI Magazine 22(1), 39–52 (2001)
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)
Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.): Coordination, Organization, Institutions and Norms in agent systems II (COIN). LNCS, vol. 4386. Springer, Heidelberg (2007)
Prietula, M., Carley, K., Gasser, L. (eds.): Simulating Organizations: Computational Models of Institutions and Groups. MIT Press, Cambridge (1998)
Rao, A.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW). LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proc. First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319 (June 1995)
Rao, A.S., Georgeff, M.P.: Decision Procedures for BDI Logics. Journal of Logic and Computation 8(3), 293–343 (1998)
Sierhuis, M.: Multiagent Modeling and Simulation in Human-Robot Mission Operations (2006), http://ic.arc.nasa.gov/ic/publications
Sierhuis, M., Bradshaw, J.M., Acquisti, A., Hoof, R.V., Jeffers, R., Uszok, A.: Human-Agent Teamwork and Adjustable Autonomy in Practice. In: Proceedings of the 7th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), Nara, Japan (2003)
Tidhar, G.: Team-Oriented Programming: Preliminary Report. Technical Report 1993-41, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)
Vázquez-Salceda, J., Dignum, V., Dignum, F.: Organizing Multiagent Systems. Journal of Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)
Wooldridge, M., Jennings, N.R.: Intelligent Agents: Theory and Practice. The Knowledge Engineering Review 10(2), 115–152 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dennis, L., Fisher, M., Hepple, A. (2008). Language Constructs for Multi-agent Programming. In: Sadri, F., Satoh, K. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2007. Lecture Notes in Computer Science(), vol 5056. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88833-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-88833-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88832-1
Online ISBN: 978-3-540-88833-8
eBook Packages: Computer ScienceComputer Science (R0)