Universität Jena
24.01.2017, 17:18 Uhr
Neuer KI-Algorithmus
Dr. Christian Komusiewicz, wissenschaftlicher Mitarbeiter am Lehrstuhl für Theoretische Informatik der Universität Jena und Masterstudent Maximilian Katzmann können nun auf diesem Gebiet einen Erfolg vermelden: Gemeinsam haben sie zum Thema Heuristiken geforscht und einen Algorithmus entwickelt, der schwere, abstrakte Probleme effizient und genau löst. Ihre Ergebnisse stellt Maximilian Katzmann im Februar auf einer der renommiertesten internationalen Tagungen zum Thema Künstliche Intelligenz in den USA vor.
Viele abstrakte Probleme in der Forschung auf dem Gebiet der Künstlichen Intelligenz modellieren Informatiker mithilfe eines Netzwerkes aus einzelnen Knoten, die teilweise miteinander verbunden sind – ähnlich wie in sozialen Netzwerken. Maximilian Katzmann gibt ein anschauliches Beispiel für solch ein abstraktes Problem: „Ich möchte in gegebener Zeit, etwa an einem Arbeitstag, nacheinander so viele Termine wie möglich wahrnehmen, die jeweils ein bestimmtes, vorgegebenes Zeitfenster haben. Wie schaffe ich das?“. Jeder Knoten im Netzwerk steht dann für einen Termin; eine Verbindung zwischen den Knoten steht für die – unerwünschte – zeitliche Überlappung der Termine. Ziel ist es also, so viele separate Knoten wie möglich zu erhalten.
Um eine gute Lösung für solche Probleme zu finden, wird oft die bekannte „Lokale-Suche-Heuristik“ genutzt. Dabei berechnet der Algorithmus zunächst eine einfache Lösung. Dann vertauscht er schrittweise bis zu drei Knoten im Netzwerk zwischen der Lösung und den restlichen Knoten, solange dies zu einer besseren Lösung führt.
„Die bisher bekannte Heuristik würde also einen Termin absagen, um dafür zwei andere Termine zuzusagen“, erklärt Christian Komusiewicz und ergänzt: „Wenn solch ein Tausch nicht mehr möglich ist, stecken die alten Algorithmen fest. Unser neues Programm verbessert die Lösung, indem es in einem Schritt bis zu zehn Termine aus dem Kalender löscht und dafür elf neue einträgt.“ Der neue Algorithmus der Jenaer Informatiker ist somit eine Weiterentwicklung der „Lokale-Suche-Heuristik“ in Netzwerken. „Das Programm errechnet sehr häufig nicht nur eine Annäherung, sondern sogar die optimale Lösung für ein Problem“, fasst Christian Komusiewicz zusammen. „Dass dieses anspruchsvolle Programm im Rahmen eines Projektmoduls im Studiengang Informatik aus der Kooperation mit einem meiner Studenten entstanden ist, freut mich besonders“, sagt der junge Informatik-Experte, der sehr viel von forschungsorientierter Lehre hält. „Damit hat Maximilian schon während seines Studiums zur Spitzenforschung beigetragen“, ist sich Dr. Komusiewicz sicher.
Maximilian Katzmann will die Forschungsergebnisse auf der 31. AAAI Conference on Artificial Intelligence präsentieren, die vom 4. bis 9. Februar in San Francisco stattfindet.
Um eine gute Lösung für solche Probleme zu finden, wird oft die bekannte „Lokale-Suche-Heuristik“ genutzt. Dabei berechnet der Algorithmus zunächst eine einfache Lösung. Dann vertauscht er schrittweise bis zu drei Knoten im Netzwerk zwischen der Lösung und den restlichen Knoten, solange dies zu einer besseren Lösung führt.
„Die bisher bekannte Heuristik würde also einen Termin absagen, um dafür zwei andere Termine zuzusagen“, erklärt Christian Komusiewicz und ergänzt: „Wenn solch ein Tausch nicht mehr möglich ist, stecken die alten Algorithmen fest. Unser neues Programm verbessert die Lösung, indem es in einem Schritt bis zu zehn Termine aus dem Kalender löscht und dafür elf neue einträgt.“ Der neue Algorithmus der Jenaer Informatiker ist somit eine Weiterentwicklung der „Lokale-Suche-Heuristik“ in Netzwerken. „Das Programm errechnet sehr häufig nicht nur eine Annäherung, sondern sogar die optimale Lösung für ein Problem“, fasst Christian Komusiewicz zusammen. „Dass dieses anspruchsvolle Programm im Rahmen eines Projektmoduls im Studiengang Informatik aus der Kooperation mit einem meiner Studenten entstanden ist, freut mich besonders“, sagt der junge Informatik-Experte, der sehr viel von forschungsorientierter Lehre hält. „Damit hat Maximilian schon während seines Studiums zur Spitzenforschung beigetragen“, ist sich Dr. Komusiewicz sicher.
Maximilian Katzmann will die Forschungsergebnisse auf der 31. AAAI Conference on Artificial Intelligence präsentieren, die vom 4. bis 9. Februar in San Francisco stattfindet.
