Wenn Sherlock Holmes einen Tatort analysiert und nur aufgrund der Fakten den wahren Täter ermittelt, meistert er die Kunst der Deduktion, der richtigen Schlussfolgerung. Seit den Anfängen der Informatik bringen Computerwissenschaftler dies auch Rechenmaschinen bei, damit diese Menschen beim Denken unterstützen und sogar mathematisch formulierbare Sätze beweisen können. Daher durchdringen Forscher die mathematische Logik und entwerfen formale Systeme, die nach deduktiven Prinzipien aufgebaut und ausgewertet werden. Für ihre schon fast 20 Jahre alte Forschung dazu erhalten nun drei Informatiker aus Saarbrücken den international renommierten Thoralf-Skolem-Preis.
„Die Conference on Automated Deduction, kurz CADE, ist die einflussreichste internationale Konferenz auf dem Gebiet des maschinellen Beweisens“, erklärt Andreas Nonnengart, der am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) arbeitet. Auf der diesjährigen Konferenz im schwedischen Göteborg hat man ihn nun zusammen mit seinen Kollegen Christoph Weidenbach, Informatik-Professor an der Universität des Saarlandes und unabhängiger Forschungsgruppenleiter am Max-Planck-Institut für Informatik, und Professor Georg Rock von der Hochschule Trier mit dem Thoralf-Skolem-Preis ausgezeichnet.
Der Grund: Der Aufsatz „On Generating Small Clause Normal Forms“, den Nonnengart dort im Jahr 1998, damals noch als Max-Planck-Forscher, zusammen mit Christoph Weidenbach, ebenfalls Max-Planck-Institut für Informatik, und dem damaligen DFKI-Forscher Georg Rock auf der Konferenz vorstellte. In diesem beschreiben die Wissenschaftler, wie man logische Ausdrücke so umformt, dass ein Computer diese schneller auf ihren Wahrheitsgehalt überprüfen kann. Die Jury begründet 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 ihre Forschungsergebnisse auf der Konferenz präsentierten und damit in den vergangenen 10, 20, 30, 40 Jahren das Forschungsgebiet geprägt haben. Als Namensgeber dient der norwegische Mathematiker Albert Thoralf Skolem, der bereits aufgrund seiner Doktorarbeit 1926 so viel Beachtung fand, dass sogar der norwegische König davon erfuhr. Neben philosophischen Schriften schuf Skolem die mathematischen Grundlagen, die heute mit das Fundament der Computerwissenschaften bilden.
Hintergrund: Saarland Informatics Campus
Den Kern des Saarland Informatics Campus bildet die Fachrichtung Informatik an der Universität des Saarlandes. In unmittelbarer Nähe forschen auf dem Campus sieben weitere, weltweit renommierte Forschungsinstitute. Neben den beiden Max-Planck-Instituten für Informatik und Softwaresysteme sind dies das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI), das Zentrum für Bioinformatik, das Intel Visual Computing Institute, das Center for IT-Security, Privacy and Accountability (CISPA) und der Exzellenzcluster „Multimodal Computing and Interaction“, kurz MMCI.
Fragen beantwortet:
Dr. Andreas Nonnengart
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
Saarland Informatics Campus
Telefon: +49 681 857 75 5366
E-Mail: Andreas.Nonnengart@dfki.de
Redaktion:
Gordon Bolduan
Kompetenzzentrum Informatik Saarland
Saarland Informatics Campus
Telefon: +49 681 302 70 741
E-Mail: bolduan@mmci.uni-saarland.de
http://cadeinc.org
http://www.uni-saarland.de/pressefotos
Christoph Weidenbach, Informatik-Professor an der Universität des Saarlandes
MPI
None
Andreas Nonnengart, DFKI
DFKI
None
Criteria of this press release:
Journalists, Scientists and scholars
Information technology
transregional, national
Contests / awards
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).