Control and Delegation
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 , and the work on Alternating-time Temporal Logic (ATL) by Alur, Henzinger and Kupferman .
- 1.Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: IEEE Symposium on Foundations of Computer Science, pp. 100–109 (1997)Google Scholar
- 3.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)Google Scholar
- 5.van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 64, 81–119 (2005)Google Scholar