← heapsort-ai

AI Theory

10 items

RESEARCHarXiv CS.AI·hace 26d

On the Size Complexity and Decidability of First-Order Progression

Este artículo investiga la complejidad de tamaño y la decidibilidad de la progresión de primer orden, un método para actualizar bases de conocimiento en IA. Demuestra que, para clases de acciones específicas dentro del marco del Cálculo de Situaciones, la progresión de primer orden crece polinómicamente y mantiene la decidibilidad al usar ciertos fragmentos de bases de conocimiento.

27
RESEARCHDEV.to AI·16/4/2026

《₩c•ɔQ~Qc ɔQ~Qc ɔ₩》

Este contenido delinea un mapa conceptual o marco teórico altamente abstracto, posiblemente para un sistema de IA, detallando conceptos como el tiempo simbólico y físico, y una tríada energética. Describe una topología reversible para una 'Plataforma Resonante Terminal Apretada de la Fisicalidad', con mención explícita a Perplexity.ai.

27
RESEARCHarXiv CS.AI·hace 24d

Sheaf-Theoretic Transport and Obstruction for Detecting Scientific Theory Shift in AI Agents

Este artículo introduce un marco finito basado en la teoría de haces para detectar el cambio de teoría científica en agentes de IA. Se enfoca en identificar cuándo un marco representacional existente necesita extensión debido a una obstrucción local-global, en lugar de una simple deformación.

27
RESEARCHarXiv CS.LG·7/5/2026

Endogenous Regime Switching Driven by Scalar-Irreducible Learning Dynamics

Este trabajo introduce una clasificación de dinámicas de aprendizaje (escalar-reducibles vs. escalar-irreducibles) y demuestra que las dinámicas escalar-irreducibles permiten la conmutación de régimen endógena, crucial para la inteligencia autónoma. Sugiere un nuevo paradigma dinámico para la exploración de regímenes sin programación externa.

27
RESEARCHarXiv CS.CL·hace 18d

Probabilistic Attribution For Large Language Models

Este trabajo utiliza las probabilidades condicionales de los LLM para situarlos dentro de la teoría matemática de los procesos estocásticos. Se presenta una medida de atribución de tokens probabilística e independiente del modelo, que utiliza la regla de Bayes para capturar la representación interna de la distribución de secuencias de tokens.

27
DOCDEV.to AI·20/4/2026

Active Inference, The Learn Arc — Part 9: Chapter 8 — Continuous Time, or "Motion of the Mode is the Mode of the Motion"

Este contenido introduce el tiempo continuo en la Inferencia Activa, destacando que la creencia posterior de un agente sobre el estado del mundo se mueve con su dinámica. Conecta la Inferencia Activa con la teoría de control y describe la codificación predictiva como un descenso de gradiente literal en coordenadas generalizadas, incluyendo posición y velocidad.

27
ARTICLEDEV.to AI·24/4/2026

On Continuity Without Memory

Este artículo probablemente explora el concepto de mantener la continuidad funcional en sistemas, posiblemente IA, sin depender explícitamente de estructuras de memoria. Podría discutir implicaciones filosóficas o diseños arquitectónicos que logran este estado.

18