Aktuelles
Einladung zur Antrittsvorlesung von Herrn Prof. Dr. Matthias Thimm am Montag, den 19. Juni 2023, um 17:00 Uhr
[19.06.2023]Im Namen des Dekans der Fakultät für Mathematik und Informatik laden wir Sie herzlich zur Antrittsvorlesung von Herrn Prof. Dr. Matthias Thimm ein. Herr Professor Thimm ist 2021 an die FernUniversität berufen worden und leitet das Lehrgebiet Künstliche Intelligenz (https://www.fernuni-hagen.de/aig/).
Die Vorlesung mit dem Thema „Formale Argumentation“ findet statt am
Montag, den 19. Juni 2023, um 17:00 Uhr in Gebäude 2 (Seminargebäude), 1. OG, Raum 4+5,Universitätsstraße 33, 58097 Hagen.
Eine Teilnahme per Zoom ist ebenfalls möglich: e.feu.de/antrittsvorlesungthimm
Um Anmeldung bis zum 12. Juni per Email an steffi.bluemel wird gebeten.
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.
Im Anschluss wird ein kleiner Imbiss gereicht.
Antrittsvorlesung Thimm (PDF 174 KB)
