Eureqa

Vorgeschichte

Seit den 1970er Jahren engagierten sich Unternehmen in Data Science, d. h. Extraktion von Information aus großen Datenmengen, indem sie Teams von Wissenschaftlern beschäftigten, die mit Programmen und Programmiersprachen wie R, Python, SAS (Statistical Analysis System) und SQL sowie mit ihrer eigenen Kenntnis von mathematischen und statistischen Zusammenhängen prädiktives und statistische Modellierung durchführten.^[1][2]

Konzept

Im Jahr 2007 ging Michael Schmidt, zu diesem Zeitpunkt Doktorand an der Cornell University, Abteilung Computational Biology, von der Annahme aus, dass es möglich sein sollte, mathematische Zusammenhänge in Sets von experimentellen oder statistischen Daten durch evolutionäre Algorithmen maschinell aufzuklären. Eine Untersuchung dieser Herangehensweise sei sinnvoll, besonders unter den Aspekten, dass sowohl die Komplexität der untersuchten Probleme als auch die Menge an Daten in der Forschung immer weiter zunehmen.^[3]

Unter seinem Betreuer Hod Lipson, dem Direktor des Creative Machines Lab der Columbia University, entwickelte Schmidt eine mit künstlicher Intelligenz arbeitende Modelling-Engine als „virtual data scientist“ (virtueller Datenwissenschaftler^[4]), der aus vorgegebenen Daten automatisch und zeitsparend prädiktive und analytische Modelle erstellt und diese den (menschlichen) Experten zur Verfügung stellt.^[5] Dabei funktioniert das Programm nicht als „Black Box“, sondern die einzelnen Modelling-Schritte können in situ nachvollzogen und Daten können jederzeit hinzugefügt oder entfernt werden.^[6]

Die Benennung „Eureqa“ erfolgte nach dem angeblich von Archimedes getätigten Ausruf „Eureka!“ (εὕρηκα) (Ich habe [es] gefunden), wobei das „k“ durch ein „q“ ersetzt wurde, um die Assoziation mit dem Wort equation (Gleichung) hervorzurufen.^[7]

Evolutionäre Suchmethode

Das Programm wendet zufällig ausgewählte Gleichungen auf die eingegebenen Daten an.^[8] Die meisten Gleichungen liefern dabei keine weiterführenden Ergebnisse, aber einige Gleichungen liefern bessere Ergebnisse in der Kurvenanpassung als andere. Diese Gleichungen bilden dann die Grundlage zu einem erneuten, als „evolutionäre Suche“ (unter mehrere Milliarden von Gleichungen und Gleichungselementen) bezeichneten Prozess,^[9] bis schließlich eine Gleichung, das Resultat, die anfangs eingegebenen Daten optimal in Zusammenhang bringt.

Zusätzlich lernt das Programm und verwendet erfolgreiche Gleichungselemente aus vorherigen Suchen zur Lösung von neuen Problemen. Auch bewertet das Programm gefundene Lösungen nach ihrer Einfachheit, d. h. eine weniger komplexe Formel erhält den Vorzug vor einer komplexeren Formel, wenn beide Formel dieselbe Datenanpassung liefern.

Marketing

• Anfang November 2009 wurde das Programm als Freeware zum Download freigegeben.^[10]
• Seit Juni 2011 wird Eureqa von Nutonian Inc. als kommerzielles Paket mit Zusatzprogrammen und zusätzlichen Leistungen angeboten.^[11]
• Seit 2014 ist „Eureqa“ als Markenname geschützt.^[12]

Physik

• Die ersten Beispiele zur Lösung physikalischer Gleichungen publizierten Schmidt und Lipson selber im Jahr 2009. Sie verwendeten Motion-Capture-Daten von einfachen harmonischen Oszillatoren bis hin zu sich chaotisch bewegenden Doppelpendeln. Ohne „Vorwissen“ leitete Eureqa Gleichungen der Hamiltonschen Mechanik und von Lagrange-Systemen ab und „entdeckte“ damit auch das Prinzip der Erhaltung der Energie. Die Lösung erfolgte schneller, wenn die Gleichungen, die für einfachere Systeme gefunden worden waren, bevorzugt zur Lösung der komplexeren Bewegungsdaten herangezogen werden konnten.^[14]

Biologie

• In der Oktober-Ausgabe von Physical Biology (2011) beschrieb Lipson daraufhin ein Experiment mit Daten zur rhythmischen Fluktuation von Glukose („glykolytische Oszillation“) und Glukose umsetzenden Enzymen, wenn Hefezellen anaerob werden. Dessen Eureqa-Analyse lieferte sieben bekannte Gleichungen mit definierten Konstanten. Diese Konstanten interessierten wiederum John Wikswo (Vanderbilt University, Nashville) und Jerry Jenkins (HudsonAlpha Institute for Biotechnology, Huntsville), die die Daten geliefert aber Schwierigkeiten gehabt hatten, diese Konstanten zu bestimmen.^[13] Wikswo bezeichnete diesen Forschungsansatz als „automated biology explorer“ („automatischen Biologieerforscher“^[4]).^[15]

• Der Biologe Gurol Suel (University of Texas) untersucht das Wachstum von Bacillus subtilis. Er hatte bereits ein mathematisches Modell mit 16 Variablen entwickelt, das die experimentellen Daten zu Konzentrationen von verschiedenen Proteinen und subzellulären Faktoren im Zusammenhang mit der Endosporenbildung von B. subtilis beschreiben konnte. In einer Zusammenarbeit mit Lipson – und nach einem anfänglichen Fehlschlag mit dem Programm – lieferte erneutes Modelling mit Eureqa ein überraschendes Resultat: Eine neue Gleichung mit nur 7 Variablen konnte die vorliegenden Daten Suels in Zusammenhang bringen und lieferte sogar mit danach erzeugten, neuen Daten konsistente Ergebnisse.^[7] Doch diesem interessanten Ergebnis steht gegenüber, dass bisher weder Lipson noch Suel die Theorie hinter der neuen Gleichung schlüssig erklären können.^[16]

Weitere wissenschaftliche Fachgebiete

• Astronomie^[17]
• Chemie^[18]
• Mechanik/Biomechanik^[19] und Materialkunde^[20]
• Informatik^[21] und naturanaloge Optimierungsverfahren^[22]
• Medizin,^[23] Neurologie^[24][25] und Psychologie^[26]
• Umweltwissenschaften^[27]
• Musik^[28]
• Allgemeine Themen^[29]