Problèmes de mots ? Aucun problème.

Des chercheurs du MIT et des collègues de l'Université de Washington ont développé un système informatique capable de résoudre automatiquement le type de problèmes de mots courants dans les cours d'introduction à l'algèbre.

Selon Nate Kushman, étudiant diplômé et auteur principal du nouvel article, le travail se situe dans le domaine de l'analyse sémantique ou de la traduction du langage naturel en un langage formel. Dans ces problèmes d'algèbre, vous devez construire ces choses à partir de nombreuses phrases différentes, dit-il. Le fait que vous parcouriez plusieurs phrases pour générer cette représentation sémantique est vraiment quelque chose de nouveau.

Le système des chercheurs exploite deux outils informatiques existants. L'un est le système de calcul formel Macsyma , développé au MIT dans les années 1960, qui peut distiller des équations algébriques en quelques modèles communs. L'autre est un analyseur de phrases, qui représente les relations entre les mots d'une phrase sous la forme d'un diagramme arborescent.

Pour entraîner leur système à mapper les éléments du diagramme d'analyse sur les modèles d'équation de Macsyma, les chercheurs ont utilisé des centaines d'exemples d'un site de discussion en ligne. Le système a analysé des centaines de milliers de caractéristiques de ces exemples, telles que les relations syntaxiques entre les mots ou l'emplacement des mots dans différentes phrases. Kushman a également inclus quelques contrôles de santé mentale, tels que si la solution donnée par un modèle d'équation particulier était un entier positif.

Le travail pourrait conduire à des outils pédagogiques qui identifient les erreurs de raisonnement des élèves et à des systèmes capables de résoudre des problèmes plus complexes en géométrie, physique et finance.

cacher