The course consists of 7 lectures, 4 homework assignments peer-reviewed in class, and an individual project.
FDD3250 Knowledge in Games with Imperfect Information 6.0 credits
The course introduces the concepts of multi-player games with imperfect information, knowledge, objectives, and strategies. In particular, it focuses on the role of higher-order knowledge for algorithmic strategy synthesis, and on epistemic logic as a logic framework to reason about knowledge in multi-player games.
Information per course offering
Information for Spring 2025 Start 14 Jan 2025 programme students
- Course location
KTH Campus
- Duration
- 14 Jan 2025 - 16 Mar 2025
- Periods
- P3 (6.0 hp)
- Pace of study
50%
- Application code
61198
- Form of study
Normal Daytime
- Language of instruction
English
- Course memo
- Course memo is not published
- Number of places
Places are not limited
- Target group
- No information inserted
- Planned modular schedule
- [object Object]
- Schedule
- Schedule is not published
- Part of programme
- No information inserted
Contact
Course syllabus as PDF
Please note: all information from the Course syllabus is available on this page in an accessible format.
Course syllabus FDD3250 (Spring 2025–)Headings with content from the Course syllabus FDD3250 (Spring 2025–) are denoted with an asterisk ( )
Content and learning outcomes
Course disposition
Course contents
- Games with imperfect information
- Objectives, strategies and strategy synthesis
- A knowledge-based subset construction
- Knowledge representation and update
- Knowledge-based strategies
- Games and epistemic logic
Intended learning outcomes
After completing the course, the student will be able to:
- model realistic situations as games with imperfect information (GIIs);
- explain the limitations of the model;
- apply the knowledge-based subset construction (KBSC) to expand GIIs;
- search for memoryless strategies in expanded MAGs;
- convert memoryless strategies in expanded GIIs to finite-memory strategies in the original GII;
- express properties of knowledge in epistemic logic
Literature and preparations
Specific prerequisites
None
Recommended prerequisites
Courses or course credits equivalent to foundational knowledge in discrete mathematics, predicate logic, and automata theory.
Literature
You can find information about course literature either in the course memo for the course offering or in the course room in Canvas.
Examination and completion
If the course is discontinued, students may request to be examined during the following two academic years.
Grading scale
P, F
Examination
- EXA1 - Examination, 6.0 credits, grading scale: P, F
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
The students are graded on the basis of the homeworks and the project report.
Other requirements for final grade
None
Examiner
Ethical approach
- All members of a group are responsible for the group's work.
- In any assessment, every student shall honestly disclose any help received and sources used.
- In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.
Further information
Course room in Canvas
Registered students find further information about the implementation of the course in the course room in Canvas. A link to the course room can be found under the tab Studies in the Personal menu at the start of the course.
Offered by
Main field of study
This course does not belong to any Main field of study.
Education cycle
Third cycle