Ord problem? Inga problem.

MIT-forskare och kollegor vid University of Washington har utvecklat ett datorsystem som automatiskt kan lösa den typ av ordproblem som är vanliga i inledande algebraklasser.

Enligt Nate Kushman, en doktorand och huvudförfattare på den nya uppsatsen, är arbetet inom området semantisk analys, eller att översätta naturligt språk till ett formellt språk. I de här algebraproblemen måste man bygga upp de här sakerna från många olika meningar, säger han. Det faktum att du tittar på flera meningar för att generera denna semantiska representation är verkligen något nytt.

Forskarnas system utnyttjar två befintliga beräkningsverktyg. Det ena är datoralgebrasystemet Macsyma , utvecklad vid MIT på 1960-talet, som kan destillera algebraiska ekvationer till några vanliga mallar. Den andra är en meningsparser, som representerar relationerna mellan ord i en mening som ett trädliknande diagram.

För att träna sitt system att kartlägga element i analysdiagrammet till Macsymas ekvationsmallar använde forskarna hundratals exempel från en diskussionswebbplats online. Systemet analyserade hundratusentals funktioner i dessa exempel, såsom de syntaktiska förhållandena mellan ord eller ordens placering i olika meningar. Kushman inkluderade också några förnuftskontroller, till exempel om lösningen som gavs av en viss ekvationsmall var ett positivt heltal.

Arbetet kan leda till pedagogiska verktyg som identifierar fel i elevernas resonemang och till system som kan lösa mer komplicerade problem inom geometri, fysik och ekonomi.

Dölj