Abstract
In this paper we address the task of organising multi-agent systems in order to collectively solve problems. We base our approach on a logical model of rational agency comprising a few simple, but powerful, concepts. While many other researchers have tackled this problem using formal logic, the important aspect of the work described here is that the logical descriptions of the agents are directly executable using the Concurrent MetateM framework, allowing the execution of agents described in a combination of temporal, belief and ability logics. Here, we are particularly concerned with exploring some of the possible logical constraints that may be imposed upon these agents, and how these constraints affect the ability of the agents to come together to collectively solve problems.
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
Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)
Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems 8(3), 401–423 (1998)
Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
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.: Concurrent MetateM — A Language for Modeling Reactive Systems. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694. Springer, Heidelberg (1993)
Fisher, M.: Implementing BDI-like Systems by Direct Execution. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI). 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), Bologna, Italy (July 2002)
Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proceedings of the 12th International Symposium of Intensional Programming Languages. World Scientific, Singapore (1999)
Ghidini, C., Giunchiglia, F.: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. Artificial Intelligence 127(2), 221–259 (2001)
Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the Eighteenth Symposium on the Foundations of Computer Science, Providence, USA (November 1977)
Tambe, M.: Agent Architectures for Flexible, Practical Teamwork. In: National Conference on Artificial Intelligence, AAAI 1997 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M., Ghidini, C., Hirsch, B. (2003). Organising Logic-Based Agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive