Problemy ze słowem? Bez problemu.

Naukowcy z MIT i koledzy z Uniwersytetu Waszyngtońskiego opracowali system komputerowy, który może automatycznie rozwiązywać typy zadań tekstowych, które są powszechne na wstępnych zajęciach z algebry.

Według Nate'a Kushmana, doktoranta i głównego autora nowego artykułu, praca dotyczy parsowania semantycznego, czyli tłumaczenia języka naturalnego na język formalny. W tych problemach algebry musisz zbudować te rzeczy z wielu różnych zdań, mówi. Fakt, że przeglądasz wiele zdań, aby wygenerować tę reprezentację semantyczną, jest naprawdę czymś nowym.

System badaczy wykorzystuje dwa istniejące narzędzia obliczeniowe. Jednym z nich jest system algebry komputerowej Macsyma , opracowany w MIT w latach 60. XX wieku, który umożliwia przekształcenie równań algebraicznych w kilka popularnych szablonów. Drugi to parser zdań, który przedstawia relacje między słowami w zdaniu w postaci drzewiastego diagramu.

Aby nauczyć swój system mapowania elementów z diagramu parsowania na szablony równań Macsyma, naukowcy wykorzystali setki przykładów z internetowej witryny dyskusyjnej. System przeanalizował setki tysięcy cech tych przykładów, takich jak relacje syntaktyczne między słowami czy położenie słów w różnych zdaniach. Kushman uwzględnił również kilka testów poprawności, takich jak czy rozwiązanie otrzymane przez konkretny szablon równania było dodatnią liczbą całkowitą.

Prace mogą doprowadzić do stworzenia narzędzi edukacyjnych, które identyfikują błędy w rozumowaniu uczniów oraz systemów, które mogą rozwiązywać bardziej skomplikowane problemy z geometrii, fizyki i finansów.

ukryć