Last update: August 9, 2024, 11.20 CEST
Mail to V.Goranko
Date 05/08/2024
Introduction to the course.
Agents and multi-agent systems. Multi-agent transition systems and concurrent game models.
Coalition Logic.
Individual and coalitional strategic powers. Coalitional effectivity functions.
Date 06/08/2024
Logics for long-term strategic abilities and reasoning in multi-agent systems with complete information.
The alternating-time temporal logic ATL and some extensions and variations of it.
V. Goranko and G. van Drimmelen: Decidability and Complete Axiomatization of the Alternating-time Temporal Logic, Theoretical Computer Science, Vol. 353, 1-3, (2006), pp. 93-117.
V. Goranko and D. Shkatov. Tableau-based decision procedures for logics of strategic ability in multi-agent systems. ACM Transactions of Computational Logic, vol. 11, No.1, 2010
S. Cerrito, A. David and V. Goranko. Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temoral Logic ATL+, ACM Transactions of Computational Logic, Vol. 17 Issue 1, October 2015, Article No. 4.
Date 07/08/2024
Logics for strategic reasoning in multi-agent systems with incomplete and imperfect information.
Pierre-Yves Schobbens, Alternating-time logic with imperfect recall, Electronic Notes in Theoretical Computer Science, Volume 85, Issue 2, Pages 82-93, 2004.
W. Jamroga and W. van der Hoek, Agents that Know how to Play, Fundamenta Informaticae, vol. 63, no. 2-3, pp. 185-219, 2004.
T. Ågotnes and W. Jamroga, Constructive Knowledge: What Agents Can Achieve under Imperfect Information, Journal of Applied Non-Classical Logics, 17(4), pp. 423-475.
N. Bulling and W. Jamroga, Comparing variants of strategic ability: how uncertainty and memory influence general properties of games, Autonomous Agents and Multi-Agent Systems, 2014, Volume 28, pages 474-518.
V. Goranko and E. Pacuit: Temporal Aspects of the Dynamics of Knowledge, in: Baltag, Alexandru, Smets, Sonja (Eds.), Johan van Benthem on Logic and Information Dynamics, Outstanding Contributions to Logic, Vol. 5, Springer, 2014, pp. 235-266.
Dilian Gurov, Valentin Goranko, Edvin Lundberg: Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature, Artificial Intelligence, Volume 309, August 2022, 103728
Slides on Lecture 3: posted in the Google drive folder
Date 08/08/2024
Socially friendly strategic operators and logics.
Logics for conditional strategic reasoning.
Date 09/08/2024
Temporal logic for coalitional goal assignments.
Applications to formalising strategic reasoning in social context.
Conclusion of the course.
S. Enqvist and V. Goranko. The temporal logic of coalitional goal assignments in concurrent multi-player games , ACM Transactions of Computational Logic, Vol. 23, No. 4, Article 21, 2022.
Slides on Lecture 5: to be posted in the Google drive folder
TBA
Mail to V.Goranko