Künstliche Intelligenz
Forscher entwickeln Werkzeug, das Gleichungen in Illustrationen umwandeln kann
Forscher an der Carnegie Mellon University haben ein Werkzeug entwickelt, das die Abstraktionen der Mathematik in Illustrationen und Diagramme durch Software umwandeln kann.
Der Prozess funktioniert, indem Benutzer gewöhnliche mathematische Ausdrücke eingeben, die dann von der Software in Illustrationen umgewandelt werden. Eine der wichtigsten Entwicklungen in diesem Projekt ist, dass die Ausdrücke nicht grundlegende Funktionen sein müssen, wie im Falle eines Graphikrechners. Stattdessen können sie komplexe Beziehungen aus verschiedenen Bereichen der Mathematik sein.
Penrose
Das Werkzeug wurde von den Forschern Penrose genannt, inspiriert von dem Mathematiker und Physiker Roger Penrose, der bekannt dafür ist, komplexe mathematische und wissenschaftliche Ideen durch Diagramme und Zeichnungen zu verwenden.
Penrose wird von den Forschern auf der SIGGRAPH 2020-Konferenz über Computergrafik und interaktive Techniken vorgestellt. Die Konferenz findet in diesem Jahr virtuell aufgrund der COVID-19-Pandemie statt.
Keenan Crane ist Assistant Professor für Informatik und Robotik.
“Einige Mathematiker haben ein Talent dafür, schöne Diagramme von Hand zu zeichnen, aber sie verschwinden, sobald die Tafel gelöscht wird”, sagte Crane. “Wir möchten diese Ausdruckskraft jedem zugänglich machen.”
Diagramme werden in der technischen Kommunikation nicht so häufig verwendet, da sie eine große Menge an hochqualifizierter und zeitaufwändiger Arbeit erfordern, um sie zu erstellen. Um dies zu umgehen, ermöglicht das Penrose-Werkzeug Experten, die Schritte im System zu kodifizieren, und andere Benutzer können darauf zugreifen, indem sie mathematische Sprache verwenden. All dies bedeutet, dass der Computer die meiste Arbeit erledigt.
Katherine Ye ist Doktorandin im Department für Informatik.
“Wir haben angefangen, uns zu fragen: ‘Wie übersetzen Menschen mathematische Ideen in Bilder in ihrem Kopf?'” sagte Ye. “Das Geheimnis unseres Systems ist es, Menschen zu ermöglichen, diese Übersetzungsprozesse leicht dem Computer zu ‘erklären’, damit der Computer die harte Arbeit der tatsächlichen Erstellung des Bildes erledigen kann.”
Der Prozess
Der Computer lernt zunächst, wie der Benutzer die mathematischen Objekte visualisiert haben möchte, wie z. B. einen Pfeil oder einen Punkt, und erstellt dann mehrere Diagramme. Der Benutzer wählt und bearbeitet eines dieser Diagramme.
Laut Crane sollten Mathematiker keine Probleme haben, die spezielle Programmiersprache zu erlernen, die das Team entwickelt hat.
“Mathematiker können sehr pingelig bei der Notation sein”, sagte er. “Wir lassen sie definieren, welche Notation sie wollen, damit sie sich natürlich ausdrücken können.”
Penrose wird als Schritt zu etwas Größerem gesehen.
“Unsere Vision ist es, ein altes Mathematikbuch aus der Bibliothek zu holen, es in den Computer zu legen und ein wunderschön illustriertes Buch zu erhalten – damit mehr Menschen es verstehen”, sagte Crane.
Das Team, das Penrose entwickelt hat, umfasste auch Nimo Ni und Jenna Wise, die Doktoranden im Institute for Software Research (ISR) der CMU sind; Jonathan Aldrich, Professor im ISR; Joshua Sunshine, ISR-Senior Research Fellow; Max Krieger, Student der Kognitiven Wissenschaft; und Dor Ma’ayan, ehemaliger Master-Student am Technion-Israel Institute of Technology.
Die Forschung wurde von der National Science Foundation, der Defense Advanced Research Projects Agency, der Sloan Foundation, Microsoft Research und der Packard Foundation unterstützt.
