El Instituto Allen de Inteligencia Artificial AI2 anunció hoy que ha creado un sistema de inteligencia artificial IA que puede resolver preguntas de geometría SAT así como el estudiante estadounidense promedio de 11º grado, un avance en la investigación de IA.
Este sistema, llamado GeoS, utiliza una combinación de visión por computadora para interpretar diagramas, procesamiento de lenguaje natural para leer y comprender texto, y un solucionador geométrico para lograr un 49 por ciento de precisión en las preguntas de geometría de las pruebas SAT oficiales. Si estos resultados se extrapolaranPara toda la prueba SAT de Matemáticas, la computadora logró aproximadamente una puntuación SAT de 500 de 800, la calificación promedio de la prueba para 2015.
Un documento que describe la investigación, titulado "Solución de problemas de geometría: combinación de interpretación de texto y diagrama", fue un esfuerzo conjunto entre el departamento de Ingeniería e Informática de la Universidad de Washington y AI2.
Estos resultados, presentados en la Conferencia sobre Métodos Empíricos en el Procesamiento del Lenguaje Natural EMNLP en Lisboa, Portugal, fueron logrados por GeoS resolviendo preguntas SAT inalteradas que nunca antes había visto y que requerían una comprensión de :
Una demostración de la resolución de problemas del sistema está disponible aquí: geometry.allenai.org
"A diferencia de la prueba de Turing, las pruebas estandarizadas como el SAT nos brindan hoy una manera de medir la capacidad de razonar de una máquina y comparar sus habilidades con la de un humano", dijo Oren Etzioni, CEO de AI2. "Gran parte delo que entendemos por texto y gráficos no se establece explícitamente, y requiere mucho más conocimiento del que apreciamos. Crear un sistema para poder tomar estas pruebas con éxito es un desafío, y estamos orgullosos de lograr estos resultados sin precedentes ".
Dijo Ali Farhadi, gerente senior de investigación de Vision en AI2 y profesor asistente de ciencias de la computación e ingeniería en UW, "Estamos entusiasmados con el desempeño de GeoS en tareas del mundo real. Nuestro mayor desafío fue convertir la pregunta en un lenguaje comprensible por computadora". Se necesita ir más allá de los enfoques estándar de coincidencia de patrones para problemas como resolver preguntas de geometría que requieren una comprensión profunda del texto, diagrama y razonamiento ".
Cómo funciona GeoS
GeoS es el primer sistema de extremo a extremo que resuelve problemas de geometría del plano SAT. Lo hace interpretando primero una pregunta de geometría utilizando el diagrama y el texto en concierto para generar las mejores expresiones lógicas posibles del problema, que envíaa un solucionador geométrico para resolver. Luego compara esa respuesta con las respuestas de opción múltiple para esa pregunta.
Este proceso es complicado por el hecho de que las preguntas SAT contienen muchos supuestos no declarados.
Por ejemplo, para esta pregunta SAT de muestra :
En el diagrama a continuación, el círculo O tiene un radio de 5 y CE = 2. El diámetro AC es perpendicular al acorde BD en E. ¿Cuál es la longitud de BD?
Hay varios supuestos no declarados, como el hecho de que las líneas BD y AC se cruzan en E, que "el círculo O tiene un radio de 5" es lo mismo que "el radio del círculo O es igual a 5" y que el dibujo puede o noser a escala
La precisión de GeoS fue mucho mayor en las preguntas que tenía la confianza suficiente para responder, lo cual es una dimensión importante del aprendizaje. Hoy, GeoS puede resolver preguntas de geometría plana; AI2 se está moviendo para resolver el conjunto completo de preguntas SAT de Matemáticas en los próximos tresaños.
Como parte del compromiso de AI2 de compartir su investigación para el bien común, todos los conjuntos de datos y software están disponibles para que otros investigadores los usen.
AI2 también está construyendo sistemas que pueden abordar las pruebas científicas, que requieren una base de conocimiento que incluye elementos del conocimiento no declarado y de sentido común que los humanos generan a lo largo de sus vidas.
Fuente de la historia :
Materiales proporcionado por Universidad de Washington . Original escrito por Jennifer Langston. Nota: El contenido puede ser editado por estilo y longitud.
Cita esta página :