Abstract
Interaction among agents is the distinguish property of MultiAgent Systems (MAS). In order to take advantage of such interaction w.r.t goals (both local for each agent and common for a group of agents) distributed planning, (i.e. the generation of coordination and cooperation of activities) is fundamental. Distributed MAS planning can be uniformly modeled in terms of resources: formal plan representation and effective interacting methods. Respectively, plan representation can be expressed by means of logical proofs and interacting methods by means of asynchronous communication. This paper presents preliminary considerations for the definition of a model for distributed MAS planning based on resources. For this mean, HACL (Higher Order Asynchronous Communications in Linear Logic) is used for analysis on the structural model RPN (Recursive Petri Nets) for MultiAgent distributed planning and for specification of MAS interaction protocols.
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.
Similar content being viewed by others
References
Girard, J.-Y.: Linear logic. Theoretical Computer Science 50, 1–102 (1987); The seminal paper of Linear Logic
Girard, J.-Y.: Linear logic: Its syntax and semantics. In: Girard, J.-Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic, pp. 1–42. Cambridge University Press, Cambridge (1995); Proceedings of the Workshop on Linear Logic, Ithaca, New York (June 1993)
Kobayashi, N., Shimizu, T., Yonezawa, A.: Distributed concurrent linear logic programming. Technical Report 94-12, Dpt. of Information Science, University of Tokyo (1998)
Kobayashi, N., Yonezawa, A.: ACL - a concurrent linear logic programming paradigm. In: Miller, D. (ed.) Proceedings of the 1993 International Logic Programming Symposium, Vancouver, Canada, pp. 279–294. MIT Press, Cambridge (1993)
Kobayashi, N., Yonezawa, A.: Higher-order concurrent linear logic programming. In: Ito, T., Yonezawa, A. (eds.) TPPP 1994. LNCS, vol. 907. Springer, Heidelberg (1995)
Seghrouchni, A.E.-F., Hadad, S.: A Recursive Model for Distributed Planning. ICMAS 1996 1, 7–38 (1996)
Tanabe, M.: Timed Petri Nets and Temporal Linear Logic. Technical Report 98-2, Research Institute for Mathematical Sciences, Kyoto University, Japan (1998)
Graham White, G.: The design of a situation-based lygon metainterpreter: I. simple changes and persistence. Technical Report 729, Department of Computer Science, Queen Mary and Westfield College, University of London (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Palacios Pérez, J.J. (2000). MultiAgent Planning: A Resource Based Approach. In: Cairó, O., Sucar, L.E., Cantu, F.J. (eds) MICAI 2000: Advances in Artificial Intelligence. MICAI 2000. Lecture Notes in Computer Science(), vol 1793. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720076_58
Download citation
DOI: https://doi.org/10.1007/10720076_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67354-5
Online ISBN: 978-3-540-45562-2
eBook Packages: Springer Book Archive