NL2LOGIC: Traducción guiada por AST de lenguaje natural a lógica de primer orden con modelos de lenguaje grandes
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.
Leer más →