Antrittsvorlesung von Prof. Dr. Matthias Thimm: Formale Argumentation

Die Wissensrepräsentation ist ein Teilgebiet der Künstlichen Intelligenz, das sich mit der formalen Repräsentation von Wissen und der Automatisierung von Schlussfolgerungsprozessen beschäftigt. Modelle der formalen Argumentation sind hier Ansätze, die einen Fokus auf die Repräsentation von Argumenten, Gegenargumenten und deren Zusammenspiel setzen.

In dieser Vorlesung wird zunächst ein kurzer Überblick über den Forschungszweig der formalen Argumentation gegeben. Anschließend werden einige aktuelle theoretische und algorithmische Herausforderungen diskutiert.

Eine hybride Teilnahme per Zoom ist ebenfalls möglich:

Zoom-Link