Aktuelles

Hiermit laden wir Sie im Namen des Dekans der Fakultät für Mathematik und Informatik herzlich ein zum nächsten Fakultätskolloquium mit Verleihung des Fakultätspreises 2026 an Frau Dr. Isabelle Kuhlmann.

Es findet statt am Montag, den 23. November 2026, um 16:00 Uhr in der Ellipse, Raum 3, im Erdgeschoss des Informatikzentrums (Gebäude 3), Universitätsstraße 11, 58097 Hagen und per Zoom. Ab 15:30 Uhr ist Gelegenheit gegeben, sich bei Kaffee, Tee und Keksen zu treffen.

Frau Dr. Kuhlmann trägt vor zum Thema

„Wie widersprüchlich ist unser Wissen? Algorithmen zur Messung von Inkonsistenz“.

Widersprüchliche Informationen begegnen uns überall — im Alltag ebenso wie in komplexen Wissenssystemen der Künstlichen Intelligenz. Werden beispielsweise Informationen aus verschiedenen Quellen kombiniert, können Konflikte (auch Inkonsistenzen genannt) entstehen, die eine weitere Verarbeitung des Wissens erschweren. Jedoch ist nicht jede widersprüchliche Wissensbasis gleichermaßen problematisch: Während manche nur wenige, leicht aufzulösende Konflikte enthält, können andere von zahlreichen Widersprüchen durchzogen sein.

Die Inkonsistenzmessung beschäftigt sich mit der Frage, wie sich das Ausmaß solcher Widersprüche mathematisch erfassen lässt. Für unterschiedliche Vorstellungen davon, was eine Wissensbasis besonders widersprüchlich macht, existieren verschiedene Inkonsistenzmaße. Die Berechnung solcher Maße ist jedoch oftmals aufwendig; im Vortrag werden die Grundidee der Inkonsistenzmessung und verschiedene Möglichkeiten zur Quantifizierung von Widersprüchen vorgestellt. Im Mittelpunkt steht anschließend die Frage, wie sich solche Maße effizient berechnen lassen. Dazu werden zwei etablierte Problemlösungs-Ansätze — SAT-Solving und Answer Set Programming (ASP) — betrachtet und anhand experimenteller Ergebnisse miteinander verglichen.

Es besteht auch die Möglichkeit, per Zoom teilzunehmen: https://e.feu.de/kuhlmann

Meeting-ID: 681 4696 8768
Kenncode: kuhlmann