Education
ICR teaches several courses in the areas of knowledge representation and multi-agent systems within the Bachelor and the Master of Computer Science. The emphasis is on the master program which is part of the intelligent systems specialization. The Bachelor courses give an introduction to the area of logic and artificial intelligence, the master courses provide an in-depth specialization which forms the base of a master thesis, or a doctoral study. The ICR also contributes to several international summer schools and completes its educational outreach by organizing talks at different levels about current research.
Courses
- MICS1: Intelligent Systems (III)
Introduction to formal propositional and first order logic with applications in logic-based agent and knowledge systems.
- MICS3: Selected Topics in AI
The goal of this course is to prepare students for individual research work (e.g. a master or PhD thesis) in the area of Intelligent and Adaptive Systems. This is achieved through a mixture of lectures and student presentations/projects exploring a research topic actively pursued by our lab.
Last semester, starting from texts describing real-world controversies in science, we discussed advanced logic-based techniques to model and reason with conflicting evidence and arguments. The intended representation and evaluation of complex arguments is relevant for building tools supporting science, law, and public discourse in the context of a future semantic web.
- MICS3: Intelligent Agents II
The course Intelligent Agents II extends the course of Knowledge Representation. This semesters course offers lectures on the following topics:
- normative multiagent systems
- formal studies of normative reasoning for agents (deontic logic)
- argumentation
Motivation: This course is for the students interested in artificial intelligence, in particular formal reasoning. Normative reasoning studies how social norms, obligations and permissions can be formalized. This enables scientists to study various aspects of inter-agent coordination within a system (computer network, institution, organization, group . . . ).
- MICS3: Game Theory.
The objective of this course is to introduce students to the mathematical theory of interaction, with a focus on the computational side of the models. The students will learn a number of models and methodologies for strategic interaction of autonomous entities, be it humans, robots, computer programs, etc. They will also learn how such models can be used to compute predictions and support verification of natural properties of computational systems.
Game theory proposes and studies mathematical models of behaviour of individuals and their groups in strategic situations, in which one's success in making choices depends on the choices of others. It is used in social science, economics, biology, engineering, political science, international relations, computer science, and philosophy.
Teaching Material
Theses
We welcome students who want to write their thesis (bachelor, master, or PhD) at ICR. While the subject should fit our research priorities, we are willing to take into account the ideas and preferences of the students. Candidates may contact Leon van der Torre or any lecturer for further information. Specific thesis subjects will be announced on this page. At the CSC, we currently supervise
- 6 PhD projects
Quality assurance
Each course is evaluated using a student questionnaire to support further improvement. The accessibility of the lecturers and the continuous dialogue with the students allow in addition for more immediate feedback. Critical discussions of teaching contents and styles among ICR members are a part of our group culture.