Saarbrücken Sie bringen Computer zum Schlussfolgern
Saarbrücken · Für ihre Grundlagenforschung erhalten Saarbrücker Informatiker den Thoralf-Skolem-Preis.
(red) Ob Computer wirklich intelligent sind, darüber lässt sich streiten. Dass sie für ihre Rechenoperationen auf logische Grundlagen zurückgreifen, die auch dem menschlichen Denken eine wesentliche Orientierung bieten, ist jedoch eine Tatsache. Computerwissenschaftler setzen bei der Entwicklung von Programmen für Rechenmaschinen auf die Regeln der Deduktion, der Kunst der richtigen Schlussfolgerung. Ein besonderes Augenmerk haben Forscher auf die mathematische Logik. Damit sollen Maschinen Menschen beim Denken unterstützen und beispielsweise mathematisch formulierbare Sätze beweisen können.
An der Universität des Saarlandes wird seit Jahren erforscht, wie man diese auf logischen Systemen aufbauenden Rechenfunktionen effizienter einrichten kann. Für einen Aufsatz, den die Forscher Andreas Nonnengart (Deutsches Forschungszentrum für Künstliche Intelligenz DFKI), Christoph Weidenbach (Informatik-Professor an der Universität des Saarlandes) und Georg Rock (Informatik-Professor an der Hochschule Trier) vor 20 Jahren am Saarbrücker Max-Planck-Institut für Informatik geschrieben haben, wurden sie jetzt mit dem Thoralf-Skolem-Preis ausgezeichnet, teilte die Saar-Universität mit.
In ihrem Aufsatz beschreiben die Wissenschaftler, wie man logische Ausdrücke so umformt, dass ein Computer diese schneller auf ihren Wahrheitsgehalt überprüfen kann. Die Jury begründete die Auszeichnung damit, dass der Aufsatz die Wichtigkeit dieser speziellen Umformung erkannt habe und darauf aufbauend grundlegende Techniken entwickelt habe, die heute eine wichtige Rolle in allen modernen Beweisprogrammen spielen.
Der Thoralf-Skolem-Preis wird seit 2014 vergeben. Der Forschungspreis geht an Wissenschaftler, die zum einen ihre Forschungsergebnisse auf einer Informatik-Konferenz in Schweden präsentiert haben und zum anderen damit in den vergangenen Jahrzehnten das Forschungsgebiet prägten. Namensgeber des Preises ist der norwegische Mathematiker Albert Thoralf Skolem. Neben philosophischen Schriften schuf Skolem die mathematischen Grundlagen, die heute zum Fundament der Computerwissenschaften gehören.
