Aktuelles

Einladung zur mündlichen Prüfung im Rahmen des Promotionsverfahrens von Frau Isabelle Kuhlmann

Raumänderung: Die mündliche Prüfung im Rahmen des Promotionsverfahrens von Frau Isabelle Kuhlmann am Mittwoch, den 11. Juni 2025, um 14:00 Uhr findet nicht wie angekündigt in dem Raum D 0002+0003 im Gebäude 11 statt, sondern in der Ellipse, Raum 2 + 3, Gebäude 3, Erdgeschoss, Universitätsstraße 11 in Hagen.

Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik zur mündlichen Prüfung im Rahmen des oben genannten Promotionsverfahrens für

Mittwoch, den 11.06.2025, um 14:00 Uhr in der Ellipse, Raum 2 + 3, Gebäude 3, Erdgeschoss, Universitätsstraße 11 in Hagen bzw. zu einem Zoom-Meeting mit den folgenden Zugangsdaten:

https://fernuni-hagen.zoom-x.de/j/65255806239?pwd=RXL49fJvCS4ZpXbzjHPovJNdeB5bUN.1
Meeting-ID: 652 5580 6239
Kenncode: 19850703

ein. Bitte beachten Sie, dass Sie voraussichtlich nicht vor der oben genannten 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:

Algorithmic Approaches for Inconsistency Measurement

Zusammenfassung:

Dealing with inconsistent information is an essential task in artificial intelligence. Inconsistency measurement offers a quantitative framework as a means to analyze such inconsistencies. More precisely, an inconsistency measure computes a numerical value which captures the level of inconsistency. As inconsistency measurement is generally computationally hard, efficient algorithmic solutions are needed in order to facilitate the use of inconsistency measures in practice. This thesis offers a range of algorithmic solutions for a total of twelve inconsistency measures, making use of techniques including answer set programming, Boolean satisfiability (SAT) and maximum satisfiability solving, and SAT-based counterexample-guided abstraction refinement.

Die Promotion wird befürwortet von Herrn Prof. Dr. Matthias Thimm.