Problemi di parole? Nessun problema.

I ricercatori del MIT e i colleghi dell'Università di Washington hanno sviluppato un sistema informatico in grado di risolvere automaticamente il tipo di problemi con le parole comuni nelle lezioni introduttive di algebra.

Secondo Nate Kushman, uno studente laureato e autore principale del nuovo documento, il lavoro è nel campo dell'analisi semantica o della traduzione del linguaggio naturale in un linguaggio formale. In questi problemi di algebra, devi costruire queste cose da molte frasi diverse, dice. Il fatto che tu stia guardando più frasi per generare questa rappresentazione semantica è davvero qualcosa di nuovo.

Il sistema dei ricercatori sfrutta due strumenti di calcolo esistenti. Uno è il sistema di computer algebra Macsyma , sviluppato al MIT negli anni '60, che può distillare equazioni algebriche in pochi modelli comuni. L'altro è un parser di frasi, che rappresenta le relazioni tra le parole in una frase come un diagramma ad albero.

Per addestrare il loro sistema a mappare gli elementi nel diagramma di analisi sui modelli di equazioni di Macsyma, i ricercatori hanno utilizzato centinaia di esempi da un sito di discussione online. Il sistema ha analizzato centinaia di migliaia di caratteristiche di quegli esempi, come le relazioni sintattiche tra le parole o le posizioni delle parole in frasi diverse. Kushman ha incluso anche alcuni controlli di sanità mentale, ad esempio se la soluzione fornita da un particolare modello di equazione fosse un numero intero positivo.

Il lavoro potrebbe portare a strumenti didattici che identificano errori nel ragionamento degli studenti e a sistemi in grado di risolvere problemi più complicati di geometria, fisica e finanza.

nascondere