Algorithmic Game Theory (SS2024): Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Jonas Karge (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Hannes Straß (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
(38 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 11: Zeile 11:
|SWSPractical=0
|SWSPractical=0
|Exam type=Klausur, mündliche Prüfung
|Exam type=Klausur, mündliche Prüfung
|Description=Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and analysed.
|Description=Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and mathematically analysed.


In this course, we will approach the subject from a computer science perspective and -- in addition to covering the foundational aspects -- also address how game theory can be approached computationally, e.g. consider how computers can be programmed to play games, or analyse the computational complexity of various game-theoretic notions.
In this course, we will approach the subject from a computer science perspective and -- in addition to covering the foundational aspects -- also address how game theory can be approached computationally, e.g. consider how computers can be programmed to play games, or analyse the computational complexity of various game-theoretic notions.
Zeile 28: Zeile 28:


Exercises start in the week of the first lecture, i.e. on 16th/18th April.
Exercises start in the week of the first lecture, i.e. on 16th/18th April.
In the week of 6th to 10th May, there will be an exceptional [https://tu-dresden.zoom-x.de/j/69888281536?pwd=RmhndmFndGVOUTl2Y1h5VUIwNjBsQT09 virtual exercise session on Wednesday, 8th May, 13:00 via Zoom].
On Thursday, 13th June, due to rooms being used for OUTPUT, the exercise sessions take place as follows:
* DS4: [https://navigator.tu-dresden.de/etplan/bss/01/raum/334201.0200 BSS/149]
* DS5: [https://navigator.tu-dresden.de/etplan/web/01/raum/351201.0620 WEB/117]
On Tuesday, 25th June, there will be no exercise session. Students are asked to use the exercise sessions on Thursday (27th June) instead., which will be held in a hybrid fashion via [https://tu-dresden.zoom-x.de/j/66765949524?pwd=PU1rYP1IJPSJ9be4AWGLO3ZdPaqvjH.1 Zoom].


=== Topics ===
=== Topics ===
Zeile 41: Zeile 51:
=== Exam ===
=== Exam ===


For CMS students and students wishing to use this course for modules INF-B-510 or INF-B-520, there will be a written exam (90min).
For CMS students and students wishing to use this course for modules INF-B-510 or INF-B-520, there will be a written exam (90min). The written exam will take place on '''16th August, 2024, 13:00 in HSZ/E01/U'''. The exam will be closed book, i.e. without notes, and no other resources (in particular technical aids) are permitted.


For anyone else (INF-VERT-2/6, INF-BAS-2/6, INF-PM-FOR, IST) the exam will be oral. To obtain an exam slot, please contact Ms. Ramona Behling.
For anyone else (INF-VERT-2/6, INF-BAS-2/6, INF-PM-FOR, IST) the exam will be oral. To obtain an exam slot, please contact Ms. Ramona Behling.
A consultation session for discussing common questions regarding the lecture and/or exam(s) will be held on '''15th August, 2024, 12:00–13:00 in APB/E023''' (note the updated time).
|Literature=* Jörg Rothe (Ed.): Economics and Computation. An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division. Springer-Verlag Berlin Heidelberg (2016) (Part I: Playing Successfully)
|Literature=* Jörg Rothe (Ed.): Economics and Computation. An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division. Springer-Verlag Berlin Heidelberg (2016) (Part I: Playing Successfully)
** Lectures 1, 2, 6, 7, 11, and 12
** Lectures 1, 2, 6, 7, 11, and 12
Zeile 70: Zeile 82:
|Date=2024/04/15
|Date=2024/04/15
|DS=DS3
|DS=DS3
|Download=AGT2024-01.pdf
}}
}}
{{Vorlesung Zeiten
{{Vorlesung Zeiten
Zeile 77: Zeile 90:
|Date=2024/04/16
|Date=2024/04/16
|DS=terminlos
|DS=terminlos
|Download=AGT24 Ex01.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Normal-Form Games: Mixed Strategies
|Room=SCH/A316
|Date=2024/04/22
|DS=DS3
|Download=AGT2024-02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Normal-Form Games: Mixed Strategies
|Room=--
|Date=2024/04/22
|DS=terminlos
|Download=AGT24-Ex02.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Sequential Games with Perfect Information
|Room=SCH/A316
|Date=2024/04/29
|DS=DS3
|Download=AGT2024-03.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Sequential Games with Perfect Information
|Room=--
|Date=2024/04/29
|DS=terminlos
|Download=AGT SS24 Ex3.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Playing Games: Alpha-Beta Tree Search
|Room=SCH/A316
|Date=2024/05/06
|DS=DS3
|Download=AGT2024-04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Minimax and Alpha-Beta Tree Search
|Room=--
|Date=2024/05/06
|DS=terminlos
|Download=AGT SS24 Ex04.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Playing Games: Monte Carlo Tree Search
|Room=SCH/A316
|Date=2024/05/13
|DS=DS3
|Download=AGT2024-05.pdf, AGT2024-05-Overlays.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Monte Carlo Tree Search
|Room=--
|Date=2024/05/13
|DS=terminlos
|Download=AGT SS24 Ex05.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Entfällt
|Title=Bank holiday
|Room=--
|Date=2024/05/20
|DS=DS3
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Missing Information: Modelling
|Room=SCH/A316
|Date=2024/05/27
|DS=DS3
|Download=AGT2024-06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Missing Information: Modelling
|Room=--
|Date=2024/05/27
|DS=terminlos
|Download=AGT SS24 Ex06.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Missing Information: Solving
|Room=SCH/A316
|Date=2024/06/03
|DS=DS3
|Download=AGT2024-07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Missing Information: Solving
|Room=--
|Date=2024/06/03
|DS=terminlos
|Download=AGT 24 Ex07.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Counterfactual Regret Minimisation
|Room=SCH/A316
|Date=2024/06/10
|DS=DS3
|Download=AGT2024-08.pdf, AGT2024-08-Overlays.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Counterfactual Regret Minimisation
|Room=--
|Date=2024/06/10
|DS=terminlos
|Download=AGT SS24 Ex08.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Repeated Play
|Room=SCH/A316
|Date=2024/06/17
|DS=DS3
|Download=AGT2024-09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Repeated Play
|Room=--
|Date=2024/06/17
|DS=terminlos
|Download=AGT SS24 Ex09.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Game Description Language
|Room=SCH/A316
|Date=2024/06/24
|DS=DS3
|Download=AGT2024-10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Game Description Language
|Room=--
|Date=2024/06/24
|DS=terminlos
|Download=AGT SS24 Ex10.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Cooperative Games: Definition and the Core
|Room=SCH/A316
|Date=2024/07/01
|DS=DS3
|Download=AGT2024-11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Cooperative Games: Definition and the Core
|Room=--
|Date=2024/07/01
|DS=terminlos
|Download=AGT SS24 Ex11.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Vorlesung
|Title=Cooperative Games: Stable Sets and Shapley Value
|Room=SCH/A316
|Date=2024/07/08
|DS=DS3
|Download=AGT2024-12.pdf
}}
{{Vorlesung Zeiten
|Lehrveranstaltungstype=Übung
|Title=Cooperative Games: Stable Sets and Shapley Value
|Room=--
|Date=2024/07/08
|DS=terminlos
|Download=AGT SS24 Ex12.pdf
}}
}}

Aktuelle Version vom 15. August 2024, 07:35 Uhr

Algorithmic Game Theory

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2024

Dozent

Tutor

Umfang (SWS)

  • 2/2/0

Module

Leistungskontrolle

  • Klausur
  • Mündliche Prüfung


Game Theory is a multi-disciplinary and pervasive field that is concerned with how strategic decision making can be formally modelled and mathematically analysed.

In this course, we will approach the subject from a computer science perspective and -- in addition to covering the foundational aspects -- also address how game theory can be approached computationally, e.g. consider how computers can be programmed to play games, or analyse the computational complexity of various game-theoretic notions.

Dates and times

The lecture takes place as follows:

Exercise sessions are offered at the following times:

  • Tuesdays, DS6, APB/E006
  • Thursdays, DS4, APB/E005
  • Thursdays, DS5, APB/E006

Exercises start in the week of the first lecture, i.e. on 16th/18th April.

In the week of 6th to 10th May, there will be an exceptional virtual exercise session on Wednesday, 8th May, 13:00 via Zoom.

On Thursday, 13th June, due to rooms being used for OUTPUT, the exercise sessions take place as follows:

On Tuesday, 25th June, there will be no exercise session. Students are asked to use the exercise sessions on Thursday (27th June) instead., which will be held in a hybrid fashion via Zoom.


Topics

  • Noncooperative games in normal form
  • Noncooperative games in extensive form
  • Search in game trees
  • Games with missing information
  • Evolutionary game theory
  • The Game Description Language and General Game Playing
  • Cooperative Games

Exam

For CMS students and students wishing to use this course for modules INF-B-510 or INF-B-520, there will be a written exam (90min). The written exam will take place on 16th August, 2024, 13:00 in HSZ/E01/U. The exam will be closed book, i.e. without notes, and no other resources (in particular technical aids) are permitted.

For anyone else (INF-VERT-2/6, INF-BAS-2/6, INF-PM-FOR, IST) the exam will be oral. To obtain an exam slot, please contact Ms. Ramona Behling.

A consultation session for discussing common questions regarding the lecture and/or exam(s) will be held on 15th August, 2024, 12:00–13:00 in APB/E023 (note the updated time).
  • Jörg Rothe (Ed.): Economics and Computation. An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division. Springer-Verlag Berlin Heidelberg (2016) (Part I: Playing Successfully)
    • Lectures 1, 2, 6, 7, 11, and 12
  • Richard Alan Gillman, David Housman: Game Theory. A Modeling Approach. CRC Press (2019)
    • Lectures 1, 2, 3, and 9
  • Stuart J. Russell, Peter Norvig: Artificial Intelligence. A Modern Approach (Global Edition). Pearson (2021) (Chapter 6: Adversarial Search and Games)
    • Lectures 4 and 5
  • Todd W. Neller, Marc Lanctot: An Introduction to Counterfactual Regret Minimization. Self-published. (2013)
    • Lecture 8
  • Noam Nisan, Tim Roughgarden, Éva Tardos, Vijay Vazirani (eds.): Algorithmic Game Theory. Cambridge University Press (2007)
    • Lecture 9
  • Michael R. Genesereth, Michael Thielscher: General Game Playing (Synthesis Lectures on Artificial Intelligence and Machine Learning) Morgan & Claypool Publishers (2014)
    • Lectures 4, 5, and 10
  • Bernhard von Stengel: Game Theory Basics. Cambridge University Press (2021)

Veranstaltungskalender abonnieren (icalendar)

Vorlesung Noncooperative Games in Normal Form DS3, 15. April 2024 in SCH/A316 Datei
Übung Noncooperative Games in Normal Form Datei
Vorlesung Normal-Form Games: Mixed Strategies DS3, 22. April 2024 in SCH/A316 Datei
Übung Normal-Form Games: Mixed Strategies Datei
Vorlesung Sequential Games with Perfect Information DS3, 29. April 2024 in SCH/A316 Datei
Übung Sequential Games with Perfect Information Datei
Vorlesung Playing Games: Alpha-Beta Tree Search DS3, 6. Mai 2024 in SCH/A316 Datei
Übung Minimax and Alpha-Beta Tree Search Datei
Vorlesung Playing Games: Monte Carlo Tree Search DS3, 13. Mai 2024 in SCH/A316 Datei 1 Datei 2
Übung Monte Carlo Tree Search Datei
Entfällt Bank holiday DS3, 20. Mai 2024 in --
Vorlesung Missing Information: Modelling DS3, 27. Mai 2024 in SCH/A316 Datei
Übung Missing Information: Modelling Datei
Vorlesung Missing Information: Solving DS3, 3. Juni 2024 in SCH/A316 Datei
Übung Missing Information: Solving Datei
Vorlesung Counterfactual Regret Minimisation DS3, 10. Juni 2024 in SCH/A316 Datei 1 Datei 2
Übung Counterfactual Regret Minimisation Datei
Vorlesung Repeated Play DS3, 17. Juni 2024 in SCH/A316 Datei
Übung Repeated Play Datei
Vorlesung Game Description Language DS3, 24. Juni 2024 in SCH/A316 Datei
Übung Game Description Language Datei
Vorlesung Cooperative Games: Definition and the Core DS3, 1. Juli 2024 in SCH/A316 Datei
Übung Cooperative Games: Definition and the Core Datei
Vorlesung Cooperative Games: Stable Sets and Shapley Value DS3, 8. Juli 2024 in SCH/A316 Datei
Übung Cooperative Games: Stable Sets and Shapley Value Datei


Kalender

März 2025

MoDiMiDoFrSaSo
242526272812
3456789
10111213141516
17181920212223
24252627282930
31123456