Von 1993 bis 2002 haben Dana Scully und Fox Mulder die Wahrheit da draußen gesucht: „The Truth is out there“, hieß es. Seit 2010 sucht Martina Seidl, Professorin für Künstliche Intelligenz an der Johannes Kepler Universität Linz, ebenfalls nach der Wahrheit. Oder vielmehr nach dem, was wahr und was falsch ist. „Meine Forschung beschäftigt sich mit der schnellen Auswertung von logischen Formeln. Mit diesen Formeln kann man Regeln ausdrücken, die eine Künstliche Intelligenz befolgen muss, um ein bestimmtes Ziel zu erreichen“, erklärt Martina Seidl, womit sie sich den ganzen Tag und in ihrer wissenschaftlichen Arbeit so beschäftigt. Nicht selten kommt sie sich dabei wie die beiden Akte-X-Agenten vor.

Denn das Denken um Ecken und das Lösen hochkomplexer Aufgaben sind die Herausforderungen, die sie seit Jahren begleiten. „Eine Frage, die mich sehr beschäftigt, ist die Korrektheit von Solvern, also den Programmen, welche logische Formeln auswerten. Wenn ein Solver dazu verwendet wird, um zu verifizieren, ob ein anderes Programm korrekt ist, muss man sich darauf verlassen können, dass dieser selbst korrekt ist. Allerdings ist ein Solver meist so komplex, dass dieser selbst nicht verifiziert werden kann, und daher muss man sich andere Verfahren überlegen, um sicher zu sein, dass das gefundene Resultat stimmt. Konkret setze ich hierzu Techniken aus der Beweistheorie ein.“ Wahr, richtig, bewiesen. Es sind große Worte, die die Forschung und das Arbeiten von Martina Seidl prägen. Aber so wie der Mensch die Arbeit prägt, so prägt die Arbeit auch den Menschen. Rätsel und Herausforderungen gibt es im Leben der jungen Professorin genug. Vor allem, seit ihre neun Monate alte Tochter immer wieder die Wahrheit und die Richtigkeit der elterlichen Vorstellungen auf harte Proben stellt. Sowohl im Privaten als auch im Beruflichen hält sich Martina Seidl aber nicht so sehr an X-Akten, sondern lieber an einen anderen Detektiv – an jenen Mann, der in anderen Bereichen eine neue Form der wissenschaftlichen Wahrheitsfindung erdacht hat. Eines der bekanntesten Zitate, das Sir Arthur Conan Doyle seiner Figur Sherlock Holmes in den Mund gelegt hat, lautet nämlich: „Wenn du das Unmögliche ausgeschlossen hast, dann ist das, was übrig bleibt, die Wahrheit, wie unwahrscheinlich sie auch ist.“ 

Die Wissenschaft, darüber kann es keine zwei Meinungen geben, ist eine aufregende Sache. In jeder Ausgabe widmen wir ihr deshalb die letzten Zeilen. Dieses Mal schreibt Martina Seidl, Professorin für Künstliche Intelligenz, über das Denken um Ecken und das Lösen von komplexen Aufgaben.