Aktuelles
Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Jonas Philipp Haldimann
[29.04.2024]Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik zur mündlichen Prüfung im Rahmen des o. g. Promotionsverfahrens für
Montag, den 29.04.2024, um 14:15 Uhr
in den Raum B 121 „großer Senatssaal“ im 1. Obergeschoss des AVZ (Gebäude 8), Universitätsstr. 21 in Hagen
ein. Bitte beachten Sie, dass Sie voraussichtlich nicht vor der o. g. Uhrzeit eingelassen werden, da unmittelbar vor der Prüfung noch eine Sitzung der Promotionskommission stattfindet. Direkt im Anschluss an den öffentlichen Vortrag und die öffentliche Diskussion über den Vortrag findet ein Kolloquium statt, an welchem alle Prüfungsberechtigten gemäß § 2 der Promotionsordnung sowie alle Mitglieder von Promotionsausschuss und -kommission teilnehmen dürfen.
Thema des Vortrags wird sein:
Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds
Exploring a Landscape of Inductive Inference Operators
Zusammenfassung:
Für einen intelligenten Agenten ist es wichtig, Schlussfolgerungen aus unsicherem Wissen zu ziehen.
Die vorgestellte Dissertation befasst sich mit Aspekten des Schlussfolgerns aus konditionalen Wissensbasen, d.h., aus Mengen von unsicheren Regeln der Form “wenn A dann normalerweise B”.
Dabei untersuchen wir zunächst Eigenschaften des Inferenzoperators System W.
Dann vergleichen wir Inferenz aus schwach konsistenten und stark konsistenten Wissensbasen und zeigen, wie diese mit plausiblen und unplausiblen Welten zusammenhängt.
Darauf aufbauend erweitern wir die ursprünglich für stark konsistente Wissensbasen definierten Inferenzoperatoren System W und c-Inferenz so, dass sie auch schwach konsistente Wissensbasen abdecken.
Schließlich untersuchen wir die Beziehungen zwischen verschiedenen Inferenzoperatoren.
Die Promotion wird befürwortet von Herrn Prof. Dr. Christoph Beierle.
