Transcript
URL: http://www.uni-jena.de/Forschungsmeldungen/FM170124_KIalgo.pdf
Neuer Algorithmus in der Künstlichen Intelligenz Informatiker präsentieren einen Beitrag zur Spitzenforschung
Foto: Jan-Peter Kasper/FSU
Dr. Christian Komusiewicz (l.) und Maximilian Katzmann haben einen Algorithmus entwickelt, der schwere, abstrakte Probleme effizient und genau löst. Im Kräftemessen zwischen Mensch und Computer haben die Algorithmen im vergangenen Jahr eine weitere Partie für sich entschieden: Beim Strategiespiel Go musste sich Lee Sedol, der jahrelang als der beste Spieler weltweit galt, einem von Google entwickelten Programm geschlagen geben. Der Sieg der Software gilt als Meilenstein in der Entwicklung der künstlichen Intelligenz. Eine Software ist Spielgegner - im Hintergrund lösen dabei, genau wie in der automatischen Bilderkennung oder bei selbstfahrenden Autos, Algorithmen abstrakte Probleme. Viele dieser Probleme sind so kompliziert, dass man optimale Lösungen nie oder nur mit enormem Zeitaufwand berechnen kann. Deshalb spielen hier Heuristiken eine große Rolle - Techniken, wie man mit begrenztem Zeitaufwand und ohne vollständiges Wissen zur Lösung eines Problems gelangt. Der Neuer Algorithmus in der Künstlichen Intelligenz
1
Nachteil: Heuristiken liefern immer nur eine Annäherung an die optimale Lösung.
Algorithmus findet meist optimale Lösung in kurzer Zeit 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 Maxi−milian 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.
Studentischer Beitrag zur Spitzenforschung "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 wird die Forschungsergebnisse auf der 31. AAAI Conference on Artificial Intelligence präsentieren, die vom 4. bis 9. Februar in San Francisco stattfindet. Kontakt: Dr. Christian Komusiewicz Institut für Informatik der Friedrich-Schiller-Universität Jena Ernst-Abbe-Platz 2 07743 Jena Tel.: 03641 / 946316 E-Mail:
[email protected] Informatiker präsentieren einen Beitrag zur Spitzenforschung
2
