Abstract
Current multi-agent systems (MASs) don’t include the detection of their termination. Without such detection, the MAS will be either incomplete or incoherent. It is incomplete if it is a MAS lacking the detection of its termination. It is incoherent if it is other kind of systems than a MAS even if it terminates correctly. The problem of termination detection is borrowed from distributed systems where several solutions are proposed and/or improved. However, few works deal with this problem in the MAS context. In such context, the proposed solutions don’t meet MASs requirements. This paper proposes MAS-td approach to the problem of termination detection in the MAS context. MAS-td improves the probe algorithm and meets the MASs requirements.
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
Apt, K.R.: Correctness proofs of distributed termination algorithms. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(3), 388–405 (1986)
Apt, K.R., Francez, N.: Modeling the distributed termination convention of csp. ACM Transactions on Programming Languages and Systems (TOPLAS) 6(3), 370–379 (1984)
Chandrasekaran, S., Venkatesan, S.: A message-optimal algorithm for distributed termination detection. Journal of Parallel and Distributed Computing 8(3), 245–252 (1990)
Dijkstra, E.W., Feijen, W., Van Gasteren, A.J.M.: Derivation of a termination detection algorithm for distributed computations. Information Processing Letters 16(5), 217–219 (1983)
Dijkstra, E.W., Scholten, C.S.: Termination detection for diffusing computations. Information Processing Letters 11(1), 1–4 (1980)
Francez, N.: Distributed termination. ACM Transactions on Programming Languages and Systems (TOPLAS) 2(1), 42–55 (1980)
Francez, N., Rodeh, M.: Achieving distributed termination without freezing. IEEE Transactions on Software Engineering 8(3), 287–292 (1982)
Mattern, F.: Algorithms for distributed termination detection. Distributed Computing 2(3), 161–175 (1987)
Mattern, F.: Global quiescence detection based on credit distribution and recovery. Information Processing Letters 30(4), 195–200 (1989)
Motshegwa, T., Schroeder, M.: Interaction monitoring and termination detection for agent societies: Preliminary results. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS (LNAI), vol. 3071, pp. 136–154. Springer, Heidelberg (2004)
Tel, G., Mattern, F.: The derivation of distributed termination detection algorithms from garbage collection schemes. ACM Transactions on Programming Languages and Systems (TOPLAS) 15(1), 1–35 (1993)
Tel, G.: Distributed control algorithms for AI. In: Multiagent Systems, pp. 539–580. MIT Press (1999)
Topor, R.W.: Termination detection for distributed computations. Information Processing Letters 18(1), 33–36 (1984)
Wellman, P.P., Walsh, W.E.: Distributed quiescence detection in multiagent negotiation. In: Proceedings of the Fourth International Conference on MultiAgent Systems, pp. 317–324. IEEE (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Lahlouhi, A. (2014). MAS-td: An Approach to Termination Detection of Multi-agent Systems. In: Gelbukh, A., Espinoza, F.C., Galicia-Haro, S.N. (eds) Human-Inspired Computing and Its Applications. MICAI 2014. Lecture Notes in Computer Science(), vol 8856. Springer, Cham. https://doi.org/10.1007/978-3-319-13647-9_42
Download citation
DOI: https://doi.org/10.1007/978-3-319-13647-9_42
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13646-2
Online ISBN: 978-3-319-13647-9
eBook Packages: Computer ScienceComputer Science (R0)