Ordproblemer? Intet problem.

MIT-forskere og kolleger ved University of Washington har udviklet et computersystem, der automatisk kan løse den type ordproblemer, der er almindelige i indledende algebraklasser.

Ifølge Nate Kushman, en kandidatstuderende og hovedforfatter på det nye papir, er arbejdet inden for semantisk parsing eller oversættelse af naturligt sprog til et formelt sprog. I de her algebra-opgaver skal man bygge de her ting op fra mange forskellige sætninger, siger han. Det faktum, at du kigger på tværs af flere sætninger for at generere denne semantiske repræsentation, er virkelig noget nyt.

Forskernes system udnytter to eksisterende beregningsværktøjer. Det ene er computeralgebrasystemet Macsyma , udviklet på MIT i 1960'erne, som kan destillere algebraiske ligninger til et par almindelige skabeloner. Den anden er en sætningsparser, som repræsenterer forholdet mellem ord i en sætning som et trælignende diagram.

For at træne deres system til at kortlægge elementer i parsing-diagrammet på Macsymas ligningsskabeloner brugte forskerne hundredvis af eksempler fra et online-diskussionssted. Systemet analyserede hundredtusindvis af funktioner i disse eksempler, såsom de syntaktiske forhold mellem ord eller ordenes placering i forskellige sætninger. Kushman inkluderede også et par fornuftstjek, såsom om løsningen fra en bestemt ligningsskabelon var et positivt heltal.

Arbejdet kan føre til pædagogiske værktøjer, der identificerer fejl i elevernes ræsonnement og til systemer, der kan løse mere komplicerede problemer inden for geometri, fysik og økonomi.

skjule