Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI

Este artículo propone una restricción de asertibilidad inspirada en Brouwer para la IA responsable en dominios de alto riesgo, que exige certificados de entitlement públicamente inspectables y contestables para emitir afirmaciones o negaciones, reservando el estado "Indeterminado" cuando no existen testigos de forzamiento, con el fin de preservar la agencia epistémica democrática frente a la autoridad automatizada.

Michael Jülich2026-03-05🤖 cs.AI

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility

El artículo presenta "Fluid Logic" y las Redes Neuronales Lógicas Modales Continuas (CMLNNs), un paradigma que utiliza Ecuaciones Diferenciales Estocásticas Neuronales para elevar el razonamiento lógico modal desde estructuras discretas a variedades continuas, permitiendo entrenar redes neuronales que generan soluciones estructuralmente consistentes con propiedades lógicas específicas sin requerir el conocimiento de las ecuaciones gobernantes.

Antonin Sulc2026-03-05🤖 cs.LG