Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications

Imagina el mundo de la informática como una ciudad enorme y bulliciosa. En esta ciudad, hay dos distritos principales que usualmente no se comunican mucho entre sí. Por un lado, tienes el "Distrito de la Lógica", donde las calles están construidas sobre reglas perfectas e inquebrantables como ecuaciones matemáticas y gramática estricta. Aquí es donde se asientan los cimientos de la ciudad, asegurando que si construyes un puente, este no se derrumbe debido a un error tonto en el plano. Por el otro lado, tienes el "Distrito del Aprendizaje", un lugar caótico y emocionante donde las computadoras intentan comprender las cosas observando millones de ejemplos, algo así como cómo un niño aprende a reconocer un gato viendo miles de fotos de gatos.

Durante mucho tiempo, estos dos distritos operaron por separado. El Distrito de la Lógica estaba preocupado porque el Distrito del Aprendizaje era demasiado desordenado e impredecible, mientras que el Distrito del Aprendizaje pensaba que el Distrito de la Lógica era demasiado rígido y lento. Pero recientemente, los planificadores de la ciudad se dieron cuenta de que el futuro de esta ciudad depende de lograr que estos dos vecinos trabajen juntos. Quieren construir sistemas que sean tan inteligentes como el Distrito del Aprendizaje pero tan fiables como el Distrito de la Lógica. Esta es la gran pregunta que mantiene despiertos a los científicos de la computación por la noche: ¿Cómo mezclamos las "reglas perfectas" con las "conjeturas inteligentes" para crear tecnología que sea tanto poderosa como segura?

Este documento es esencialmente un informe de una reunión de planificación urbana reciente llamada LSFA 2026, que tuvo lugar en Lisboa, Portugal, durante dos días en julio de 2026. La reunión reunió a un grupo de expertos que están tratando de cerrar esa brecha entre las reglas estrictas de la lógica y la naturaleza flexible del aprendizaje automático moderno. Piensa en estos expertos como arquitectos e ingenieros que intentan diseñar un nuevo tipo de material de construcción que sea tan fuerte como el acero y tan adaptable como la arcilla.

El documento no presenta un único rascacielos terminado o una solución mágica que lo resuelva todo de la noche a la mañana. En su lugar, es una colección de planos, bocetos y experimentos compartidos por investigadores que están probando diferentes formas de conectar estos dos mundos. Algunas de las ideas discutidas involucran tomar las reglas antiguas y bien conocidas de cómo piensan las computadoras (como las reglas del "cálculo lambda", que es solo una forma elegante de describir cómo funcionan las funciones) y ver cómo pueden actualizarse para manejar los nuevos y desordenados datos del aprendizaje automático.

La conclusión principal de este encuentro es que el trabajo está todavía muy en progreso. Los investigadores están explorando activamente cómo integrar estos métodos, ejecutando simulaciones y probando teorías para ver qué funciona y qué no. Sugieren que, al combinar las técnicas "bien establecidas" con el aprendizaje automático "de vanguardia", podríamos construir mejores herramientas para el futuro. Sin embargo, el documento deja claro que esto es un viaje de descubrimiento, no un destino alcanzado. Están recopilando comentarios sobre cómo utilizar realmente estos métodos mixtos en el mundo real, reconociendo que, si bien la teoría parece prometedora, la aplicación práctica aún se está definiendo. Es una instantánea de una comunidad de mentes curiosas que intentan escribir el libro de reglas para un nuevo tipo de tecnología inteligente, una que respete las viejas leyes de la lógica mientras abraza el nuevo poder del aprendizaje.