ICR offers a number of courses within the Bachelor and the Master of Computer Science. In the Bachelor, we give an introduction into logic and artificial intelligence. In the Master, we are concerned with sophisticated knowledge representation and inference methods in the context of intelligent multi-agent systems. Our teaching constitutes a cornerstone of the intelligent and adaptive systems profiles. The more advanced master courses are intended to bring the student in touch with our research topics and to prepare him/her for a master thesis in our group. In the context of doctoral studies, we plan to organize compact courses (micro-schools) for computer science and beyond. In addition, ICR contributes on a regular base to several international summer schools. Last but not least, we complete our educational outreach by organizing talks about our research and by participating at events aimed at a larger audience (e.g. researchers nights
- Discrete mathematics II
The following subjects will be discussed in this course: Logic and proofs, Graph theory, Automata.
- Intelligent Systems: Agents and Reasoning
Preparing the student for the emerging age of ubiquitous intelligent systems and robots, getting a solid background for studies in intelligent and/or adaptive systems, promoting the use of intelligent techniques in other areas of computer science, promoting the use of intelligent techniques in cross-disciplinary interaction. The lectures cover propositional logic (PROP), semantics and proof theory, first order logic (FOL), semantics and proof theory, knowledge representation and reasoning (KRR) based on first order logic, and the IDP3 system.
- Intelligent Agents I: Knowledge Representation (Summer semester 2015/2016)
The objective of this course is to introduce students to knowledge representation and reasoning methods for intelligent agent systems.
The course has 4 parts:
In the course, the nature and roles of different formal theories used for individual reasoning and autonomous agents is explained, such as various modal logics, belief change formalisms, or methods for uncertainty management. It defines and applies the basic concepts of one or two non-classical logics (e.g. modal logic and default logics), notably their semantics and proof calculi.
- Belief revision and argumentation
- Natural language semantics
- Nonmonotonic reasoning under uncertainty
- Modal logics for agent reasoning.
- Intelligent Agents II: Deontic Logic and Normative Reasoning (Winter semester 2015/2016)
This course is a continuation of the course on Knowledge Representation. It offers lectures on the following topics:
The course addresses students interested in artificial intelligence and formal reasoning. Normative reasoning studies how social norms, obligations and permissions can be formalized. This enables a better understanding of various aspects of inter-agent coordination within a possibly complex system (computer network, organization, group, ... ).
- Normative multiagent systems
- Formal studies of normative reasoning for agents (deontic logic)
- Autonomous Robot Software
This course is a collaboration between computer science (Leon van der Torre) and engineering (Holger Voos). The course consists of fifty percent lectures and fifty percent practicals. In the lectures, Holger Voos gives an introduction to robotics, and Leon van der Torre discusses knowledge representation and reasoning for robotics. For the practicals, the students learn how to use ROS for building software for the Nao robots. ROS software is the de facto standard robot framework, widely used for component based robotic software engineering. The CSC robotlab is a collaborative research between CsC and SnT departments of the University of Luxembourg. We use NAO robots for research and education. For details checkout the project and publication sections on our website.
- Selected Topics in AI (Winter semester 2015/2016)
The objective of this course is to prepare the student for individual research work (e.g. a master/PhD thesis) in Artificial Intelligence, Knowledge Representation, and Reasoning by reading research literature on a specific topic and realizing a small project. It offers a gentle introduction into current research issues linked to the modeling of intelligent agents, paying special attention to those addressed in the Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS). The topics can vary. In the past years, we have discussed in particular causal reasoning, belief dynamics, defeasible reasoning, real-world argumentation, story modeling, generalized reasoning under uncertainty, epistemic decisions, and reasoning about actions. This year's seminar theme will be "Modeling reasoning in scientific texts". We will discuss research literature concerned with this topic and investigate how the proposed theoretical tools can be applied to analyze reasoning in selected scientific texts. Basic knowledge in logic and knowledge representation is required. If necessary, additional background will be provided.
Part I : An Introduction to Formal Models of Argumentation
In this tutorial we give an introduction to formal models of argumentation that have been developed in the field of Artificial Intelligence. We start with Dung's theory of abstract argumentation, in which arguments are abstract entities (with no specified structure or content) that are related to each other by an attack relation, and the goal is to determine the acceptability of these arguments. We then move on to instantiated argumentation, where the structure and content of the arguments is specified. We will focus on the ASPIC system, in which arguments are constructed using both strict and defeasible rules sourced from an underlying knowledge base. We finally take a look at dialogical proof theories. They form a bridge between (abstract) argumentation and communication between agents (human or artificial).
Part II : Formal, informal and linguistic perspectives on the analysis of arguments
Argumentation theory is concerned with how people reason and how they should reason. It combines ideas from informal and formal logic, non-monotonic reasoning and linguistics. Many approaches in the field of computer science and AI mainly focus on the formal aspects of non-monotonic reasoning, turning argumentation into a mathematical exercise which is wholly different from the linguistic endeavour of everyday argument and debate. In this course we will explore the tensions between mathematical and linguistic argumentation by analysing real-world arguments and casting them in the light of well-known formal approaches to argumentation.
- Deontic Logic and Normative Reasoning
The aims of this course are:
- Part I: Logic Models for Responsibility
- Part II: Regulative and constitutive norms in deontic logic
- Part III: Normative Multi-agent Systems
- Part IV: Normative reasoning and language
- An introduction to deontic logic as described in the recent handbook of deontic logic and normative systems
- The students will find out if and how normative reasoning can be used in their research
- To position normative reasoning in the broader context of linguistic, legal and logical reasoning
- Individual and Collective Reasoning Seminar
Mostly internal talks by ICR staff and PhD students. Problem sessions where specific open questions are presented and discussed.
- ILIAS Seminars
Guest talks by visiting researchers.
Each course is evaluated using a student questionnaire to support further improvement. In addition, we encourage a continuous dialogue with the students to profit from immediate feedback - problems should be addressed as soon as they occur. A critical discussion of teaching contents and styles among ICR members are part of our group culture. We have also started to work on a general curriculum and standards for teaching logic and knowledge representation which may inform teaching in an international context.
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 Emil Weydert for further information. A non-exhaustive collection of thesis subjects can be found here