Kunstig intelligens
Forskere Utvikler Verktøy som Kan Omforme Ligninger til Illustrasjoner
Forskere ved Carnegie Mellon University har utviklet et verktøy som kan omforme abstraksjoner i matematikk til illustrasjoner og diagrammer gjennom programvare.
Prosessen fungerer ved at brukerne skriver inn vanlige matematiske uttrykk som deretter omformes til illustrasjoner av programvaren. En av de største utviklingene i dette prosjektet er at uttrykkene ikke trenger å være grunnleggende funksjoner, som i tilfelle med en grafisk regner. I stedet kan de være komplekse relasjoner fra forskjellige fagfelt innen matematikk.
Penrose
Verktøyet ble kalt Penrose av forskerne, inspirert av matematikeren og fysikeren Roger Penrose, som er kjent for å bruke komplekse matematiske og vitenskapelige ideer gjennom diagrammer og tegninger.
Penrose vil bli presentert av forskerne på SIGGRAPH 2020-konferansen om datagrafikk og interaktive teknikker. Konferansen vil finne sted virtuelt i år på grunn av COVID-19-pandemien.
Keenan Crane er en assistentprofessor i datavitenskap og robotikk.
“Noen matematikere har en evne til å tegne vakre diagrammer for hånd, men de forsvinner så snart tavlen er slettet,” sa Crane. “Vi vil gjøre denne uttrykkskraften tilgjengelig for alle.”
Diagrammer brukes ikke like mye i teknisk kommunikasjon, på grunn av den høye ferdighets- og tedøs arbeid som kreves for å produsere dem. For å komme rundt dette, tillater Penrose-verktøyet eksperter å kode stegene i systemet, og andre brukere kan deretter få tilgang til dette ved å bruke matematisk språk. All dette betyr at datamaskinen gjør det meste av arbeidet.
Katherine Ye er en Ph.D.-student i datavitenskap-avdelingen.
“Vi startet med å spørre: ‘Hvordan oversetter mennesker matematiske ideer til bilder i hodet?” sa Ye. “Hemmeligheten bak vårt system er å gi folk mulighet til å enkelt ‘forklare’ denne oversettelsesprosessen til datamaskinen, så datamaskinen kan gjøre allt det harde arbeidet med å lage bildet.”
Prosessen
Datamaskinen lærer først hvordan brukeren ønsker å visualisere matematiske objekter, som en pil eller en prikk, og den tegner deretter flere diagrammer. Brukeren velger og redigerer ett av disse diagrammene.
Ifølge Crane, bør matematikere ikke ha noen problemer med å lære det spesielle programmeringsspråket som teamet har utviklet.
“Matematikere kan bli veldig finkjølle om notasjon,” sa han. “Vi lar dem definere hva som helst notasjon de ønsker, så de kan uttrykke seg naturlig.”
Penrose sees på som et skritt mot noe enda større.
“Vår visjon er å kunne tøffe av en gammel matematikktekst fra biblioteket, slippe den inn i datamaskinen og få en vakkert illustrert bok — slik at flere mennesker forstår,” sa Crane.
Teamet som utviklet Penrose inkluderte også Nimo Ni og Jenna Wise, som er Ph.D.-studenter i CMU’s Institute for Software Research (ISR); Jonathan Aldrich, professor i ISR; Joshua Sunshine, ISR senior forsker; Max Krieger, kognitiv vitenskap undergraduate; og Dor Ma’ayan, tidligere masterstudent ved Technion-Israel Institute of Technology.
Forskningen ble støttet av National Science Foundation, Defense Advanced Research Projects Agency, Sloan Foundation, Microsoft Research og Packard Foundation.
