Abstract
The context of the talk is an interest and a need to reason about issues related to cooperation in multi-agent systems, where, given the notion of a coalition (that is, a group of agents), questions arise regarding the coalitional power (what can the coalition achieve?), coalition formation (which coalitions will form?) and the result of cooperation (how will the coalition act?). Coalition Logics provide a tool to analyse some of those questions. They took off with two important developments, namely with Pauly’s formulation of Coalition Logic CL [2], and the work on Alternating-time Temporal Logic (ATL) by Alur, Henzinger and Kupferman [1].
Abstract of a talk given at DALT2011, Taipei, Taiwan.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: IEEE Symposium on Foundations of Computer Science, pp. 100–109 (1997)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
van der Hoek, W., Troquard, N., Wooldridge, M.: Knowledge and control. In: Tumer, K., Yolum, P., Sonenberg, L., Stone, P. (eds.) Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 719–726 (2011)
van der Hoek, W., Walther, D., Wooldridge, M.: Reasoning about the transfer of control. JAIR 37, 437–477 (2010)
van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 64, 81–119 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Hoek, W. (2012). Control and Delegation. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds) Declarative Agent Languages and Technologies IX. DALT 2011. Lecture Notes in Computer Science(), vol 7169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29113-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29113-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29112-8
Online ISBN: 978-3-642-29113-5
eBook Packages: Computer ScienceComputer Science (R0)