Contents

The foundations of Artificial Intelligence, and the scope of the discipline has benefited from significant insights for the last 50 years: from symbolic representation and reasoning to theoretical assertiveness for learning programs. In this seminar, we cover a few ideas on the foundations of the aforementioned approaches, such as the situation calculus and the Frame Problem in logical formalisms for action and effects, non-monotonic reasoning, and graphical representations for decision-making and learning.

Recently, Artificial Intelligence has also benefited from the use of important results in the field of game theory. To this extent, we also include topics in non-cooperative game theory and the impact of game theory on Artificial Intelligence.

An announcement of the course can also be found in the course information system CAMPUS.

There is an L²P-Lernraum for this course. You need to register for this room by entering the registration on the CAMPUS site above while you are logged in with your CAMPUS-Office account.