Resumen:Presentamos la INDUCCIÓN, un punto de referencia para la síntesis de conceptos de estructuras finitas en lógica de primer orden. Dados pequeños mundos relacionales finitos con predicados objetivo etiquetados extensivamente, los modelos deben generar una única fórmula lógica de primer orden que explique el objetivo de manera uniforme en todos los mundos, con la corrección verificada mediante una verificación exacta del modelo. El punto de referencia incluye tres regímenes, FullObs, CI (contrastivo) y EC (compleción existencial), y penaliza el exceso de fórmula. Encontramos gradientes de dificultad pronunciados, familias estructurales duras y persistentes, y observamos que las fórmulas de baja inflación se generalizan mucho mejor en mundos prolongados. Los modelos recientes de élite muestran comportamientos cualitativamente diferentes entre tareas y métricas de desempeño, lo que sugiere sus diferentes estrategias de generalización de conceptos.
Publicado originalmente en export.arxiv.org el 23 de febrero de 2026.
Ver fuente original
