Top

ESSLLI 2024 Course

Logics for strategic reasoning

about rational agents in social context


August 5 - 9, 2024

Last update: August 9, 2024, 11.20 CEST
Mail to V.Goranko

ESSLLI 2024

Lecturer: Valentin Goranko

Detailed course plan and schedule:

(Draft preliminary version. Updates will be made frequently.)

Lecture 1

Date 05/08/2024

Main Topics

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.

Recommended readings

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, Volume 12, Issue 1, 2002, pp. 149–166

M. Pauly and W. van der Hoek, Modal logic for games and information, in: Handbook of Modal Logic, Elsevier, 2007, pp 1077-1148

Supplementary readings

V. Goranko, W. Jamroga, and P. Turrini, Strategic Games and Truly Playable Effectivity Functions, Journal of Autonomous Agents and Multiagent Systems, vol. 26, 2 (2013), pp. 288-314.

Slides on Lecture 1:

Slides on Lecture 1: posted in the Google drive folder

Lecture 2

Date 06/08/2024

Main Topics

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.

Recommended readings

R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM 49:672-713, 2002.

N. Bulling, V. Goranko, W. Jamroga: Logics for reasoning about strategic abilities in multi-player games. In: Models of Strategic Reasoning: Logics, Games and Communities, Springer, LNCS/FoLLI series, vol. 8972, 2015, pp. 93--136.

Supplementary readings

Ågotnes, V. Goranko, W. Jamroga, and M. Wooldridge: Knowledge and Ability, chapter in: Handbook of Epistemic Logic, College Publications, 2015, pp. 543-589. Chapter 9

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.

Slides on Lecture 2

Slides on Lecture 2: posted in the Google drive folder

Lecture 3

Date 07/08/2024

Main Topics

Logics for strategic reasoning in multi-agent systems with incomplete and imperfect information.

Recommended readings

T. Ågotnes, V. Goranko, W. Jamroga, and M. Wooldridge: Knowledge and Ability, chapter in: Handbook of Epistemic Logic, College Publications, 2015, pp. 543–589.

W. van der Hoek and M.J.W. Wooldridge, Cooperation, Knowledge, and Time: Alternating- time Temporal Epistemic Logic and its Applications, Studia Logica,75:1, pp. 125 – 157, 2003.

Supplementary readings

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:

Slides on Lecture 3: posted in the Google drive folder

Lecture 4

Date 08/08/2024

Main Topics

Socially friendly strategic operators and logics.

Logics for conditional strategic reasoning.

Recommended readings

V. Goranko and F. Ju: A Logic for Conditional Local Strategic Reasoning, Journal of Logic, Language and Information, vol. 31, pp. 167-188, 2022.

S. Enqvist and V. Goranko: Socially Friendly and Group Protecting Coalition Logics. in: Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'2018), IFAAMAS publ., 2018.

Supplementary readings

V. Goranko: Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives, Logics, vol. 1, 2023, pp. 4-35.

Slides on Lecture 4:

Slides on Lecture 4: posted in the Google drive folder

Lecture 5

Date 09/08/2024

Main Topics

Temporal logic for coalitional goal assignments.

Applications to formalising strategic reasoning in social context.

Conclusion of the course.

Recommended readings

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.

Supplementary readings

F. Mogavero, A. Murano, M.Y. Vardi: Reasoning About Strategies: On the Model-Checking Problem, ACM Transactions on Computational LogicVolume 15Issue 4August 2014 Article No.: 34, pp 1–47.

F. Mogavero, A. Murano, G. Perelli, M.Y. Vardi: Reasoning About Strategies: on the satisfiability problem. Logical Methods in Computer Science, 13(1), 2017.

V. Goranko: Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives, Logics, vol. 1, 2023, pp. 4-35.

Slides on Lecture 5:

Slides on Lecture 5: to be posted in the Google drive folder

Additional readings

TBA

Queries

Mail to V.Goranko