Abstract
In this paper, we consider the problem of effectively programming groups of agents. These groups should capture structuring mechanisms common in multi-agent systems, such as teams, cooperative groups, and organisations. Not only should individual agents be dynamic and evolving, but the groups in which the agents occur must be open, flexible and capable of similar evolution and restructuring. We enable the description and implementation of such groups by providing an extension to our previous work on programming languages for agent-based systems based on executable temporal and modal logics. With such formalism as a basis, we consider the grouping aspects within multi-agent systems. In particular, we describe how this logic-based approach to grouping has been implemented in Java and consider how this language can be used for developing multi-agent systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M. (eds.): The Imperative Future: Principles of Executable Temporal Logics. Research Studies Press, Chichester (1996)
Busetta, P.: A Transaction Based Multi-Agent System. Master’s thesis, Department of Computer Science, University of Melbourne (1999)
Bussmann, S., Schild, K.: Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology. In: Proc. Fourth Int. Conf. on Multi-Agent Systems, Boston, MA, USA, pp. 87–94 (2000)
Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996–1072. Elsevier, Amsterdam (1990)
Fisher, M.: Representing and Executing Agent-Based Systems. In: Intelligent Agents. Springer, Heidelberg (1995)
Fisher, M.: An Introduction to Executable Temporal Logics. Knowledge Engineering Review 11(1), 43–56 (1996)
Fisher, M.: A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation 7(4), 429–456 (1997)
Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997). Morgan-Kaufmann, San Francisco (1997)
Fisher, M., Ghidini, C.: Programming Resource-Bounded Deliberative Agents. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann, San Francisco (1999)
Fisher, M., Ghidini, C.: The ABC of Rational Agent modelling. In: Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS 2002), Bologna, Italy (July 2002)
Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proc. 12th International Symposium of Intensional Programming Languages (1999)
Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Glushko, R.J., Tenenbaum, J.M., Meltzer, B.: An XML Framework for Agent-Based E-commerce. Communications of the ACMÂ 42(3) (1999)
Hirsch, B., Fisher, M., Ghidini, C.: Organising Logic-Based Agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 15–27. Springer, Heidelberg (2003)
Hirsch, B., Fisher, M., Ghidini, C.: Programming Group Computations. In: First European Workshop on Multi-Agent Systems (EUMAS 2003) (December 2003)
Huhns, M.N.: Agents as Web Services. IEEE Internet Computing 6(4), 93–95 (2002)
Muscettola, N., Pandurang Nayak, 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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M., Ghidini, C., Hirsch, B. (2004). Programming Groups of Rational Agents. In: Dix, J., Leite, J. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30200-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-30200-1_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24010-5
Online ISBN: 978-3-540-30200-1
eBook Packages: Computer ScienceComputer Science (R0)