Seminar: Action Modelling and Multi-agent Navigation (AMeN)

This seminar will have two tracks: Action Model Learning (AML) and Multi-agent Navigation. The first track studies different approaches to learn action models (conditions, preconditions, and parameters) given a set of observations. The second track investigates multi robot collaboration and coordination for navigation and routing.

Lecture: The Logic of Knowledge Bases

Contents

This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

Proseminar: Artificial Intelligence SS 2021

The proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig “Artificial Intelligence - A Modern Approach”.