Resumen: Introducimos un marco categórico llamado ODISEA para construir modelos de cimientos locales verificables que preserven la verdad como composiciones de fundiciones: componentes arquitectónicos básicos que especifican una cobertura de contextos locales, familias de representaciones locales, mapas de restricción, reglas de pegado, políticas de obstrucción, obligaciones de actualización y vistas de cara humana. Una fundición es un conjunto organizado de conocimientos que lleva en su interior un componente de argumentación. Las fundiciones de hormigón se construyen a partir de fundiciones genéricas como evidencia/argumento, decisión operativa, institucional/financiera, significado de mercado, desafío científico, programa de investigación, asistente de construcción y fundición de arnés de evaluación. Universal Foundry Learning (UFL) formaliza la construcción de fundiciones como una composición de extensiones Kan izquierda y derecha, con la extensión Kan izquierda rodando artefactos locales en fundiciones candidatas y la extensión Kan derecha imponiendo las condiciones de restricción, pegado, obstrucción y argumentación requeridas para la promoción. Foundry SQL (FSQL) es una pequeña superficie de consulta escrita para dividir artefactos de fundición mantenidos que utiliza la certificación TICKET (Topos Integration usando Causal Kan Extension Transformers) para admitir modelos externos o prediseñados en un estado ODYSSEY duradero. ODYSSEY está completamente implementado y probado en un amplio espectro de fundiciones de concreto, lo que demuestra que la misma maquinaria categórica respalda la construcción de dominios, la reproducción de artefactos, el diagnóstico de gavillas, el escrutinio fundamentado de Toulmin/LLM local, los libros de contabilidad de obstrucciones residuales y la extracción optimizada de reclamaciones causales compatible con TICKET en fuentes heterogéneas. Este artículo se presentará como un tutorial de 2,5 horas en ICML 2026. La página de inicio del tutorial está en esta URL https.
Publicado originalmente en export.arxiv.org el 28 de junio de 2026.
Ver fuente original
