Der ASQF freut sich auch in diesem Jahr die Tradition der Vergabe eines Förderpreises an der Friedrich-Alexander-Universität Erlangen-Nürnberg weiterführen zu können.
Das Mitgliedsunternehmen HEICON – Global Engineering GmbH unterstützt den mit 500,- Euro dotierten Preis im Februar 2018.
So überreichten Martin Heininger, Geschäftsführer der HEICON, sowie Norbert Kastner, Vize-Präsident des ASQF, im Rahmen der Absolventenfeier am 2. Februar 2018 den Preis feierlich an den gebürtigen Nürnberger Paul Wild.
Dessen Masterarbeit mit dem Titel “Correspondence Theory for Modal Description Logics”wurde am Lehrstuhl für Informatik 8 der Friedrich-Alexander-Universität von Prof. Dr. Lutz Schröder betreut. Die Arbeit überzeugte dabei insbesondere durch den wesentlichen Beitrag auf dem Gebiet der Beschreibungslogiken, welche sowohl im Bereich der Wissensrepräsentation als auch zunehmend für softwaretechnische Anwendungen wie zum Beispiel das Konsistenzmanagement von zunehmender Bedeutung sind. Gerade in diesem Zusammenhang spielt die logische Modellierung von veränderlichem Wissen eine große Rolle.
Herr Wild habe in seiner Masterarbeit für eine auf diesen Zweck ausgerichtete Beschreibungslogik ein Charakterisierungstheorem bewiesen, welches die Ausdrucksstärke der Logik anhand eines semantischen Maßstabs exakt identifiziert. Zudem sei der hochgrad technische Beweis dieses Ergebnisses mit großem mathematischen Vermögen und einem hohen Maß an Eleganz durchgeführt worden, begründet das Department Informatik die Nominierung.
Die herausragende Bedeutung der wissenschaftlichen Ergebnisse im Bereich der Beschreibungslogik wird darüber hinaus auch durch den Umstand verdeutlicht, das die Masterarbeit von Herrn Wild mit der weltweit führenden KI-Konferenz, der International Joint Conference on Artificial Intelligence (IJCAI), einen angemessenen Veröffentlichungsort gefunden hat.