Aktuelles

Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Herrn Kai Sauerwald

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

Dienstag, den 5.7.2022, um 15:00 Uhr

in den Raum

B 121 (großer Senatssaal) im 1. OG in Gebäude 8 (AVZ), 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:

Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability

Zusammenfassung:

Intelligent agents are confronted with the challenge of adapting their beliefs, which includes the integration of new beliefs and the removal of previous beliefs. This thesis investigates approaches to belief change and provides insights on the role of ordering worlds the agent considers to be possible by total preorders. We characterize those logics for which belief revisions are representable by total preorders.

For various belief change operators, we elaborate their axiomatic characterization by postulates for total preorders in the context of sets of epistemic states. These results are foundational for applying belief change techniques in complex AI systems.

Die Promotion wird befürwortet von Herrn Prof. Dr. Christoph Beierle.