Resumen: El razonamiento automatizado es fundamental en ámbitos como el derecho y la gobernanza, donde verificar las afirmaciones frente a los hechos en los documentos requiere precisión e interpretabilidad. Trabajos recientes adoptan canales de razonamiento estructurados que traducen el lenguaje natural en lógica de primer orden y delegan la inferencia a solucionadores automatizados. Con el surgimiento de grandes modelos de lenguaje, enfoques como GCD y CODE4LOGIC aprovechan sus capacidades de razonamiento y generación de código para mejorar el análisis lógico. Sin embargo, estos métodos sufren de un control de sintaxis frágil debido a una aplicación débil de las restricciones gramaticales globales y una baja fidelidad semántica causada por una comprensión semántica insuficiente a nivel de cláusula. Proponemos NL2LOGIC, un marco de traducción lógica de primer orden que introduce un árbol de sintaxis abstracta como representación intermedia. NL2LOGIC combina un analizador semántico recursivo basado en un modelo de lenguaje grande con un generador guiado por un árbol de sintaxis abstracta que produce de manera determinista código lógico listo para resolver. Los experimentos en los puntos de referencia FOLIO, LogicNLI y ProofWriter muestran que NL2LOGIC logra una precisión sintáctica del 99 por ciento y mejora la corrección semántica hasta en un 30 por ciento con respecto a las bases de referencia de última generación. Además, la integración de NL2LOGIC en Logic-LM produce una ejecutabilidad casi perfecta y mejora la precisión del razonamiento posterior en un 31 por ciento en comparación con el módulo de traducción sin restricciones original de Logic-LM.
Publicado originalmente en export.arxiv.org el 16 de febrero de 2026.
Ver fuente original
