← heapsort-ai

AI Theory

10 items

RESEARCHarXiv CS.AI·il y a 15j

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions

Cet article développe une approche unifiée de la Logique Floue Médiatrice, allant de ses fondements de type 1 à ses extensions de type 2, type 3 et quantiques. Il caractérise l'opérateur médiateur, modélise les valeurs de vérité et introduit un système propositionnel, établissant sa complétude et sa paraconsistance.

29
RESEARCHarXiv CS.AI·il y a 26j

On the Size Complexity and Decidability of First-Order Progression

Cet article examine la complexité de taille et la décidabilité de la progression du premier ordre, une méthode de mise à jour des bases de connaissances en IA. Il démontre que, pour des classes d'actions spécifiques au sein du cadre du Calcul des Situations, la progression du premier ordre croît polynomialement et maintient la décidabilité lors de l'utilisation de certains fragments de base de connaissances.

27
RESEARCHDEV.to AI·16/04/2026

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

Ce contenu présente une carte conceptuelle très abstraite ou un cadre théorique, potentiellement pour un système d'IA, détaillant des concepts tels que le temps symbolique et physique, et une triade énergétique. Il décrit une topologie réversible pour une 'Plateforme Résonante Terminale Resserée de la Physicalité', avec une mention explicite de Perplexity.ai.

27
RESEARCHarXiv CS.AI·il y a 24j

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

Cet article présente un cadre fini basé sur la théorie des faisceaux pour détecter le changement de théorie scientifique chez les agents d'IA. Il se concentre sur l'identification du moment où un cadre représentationnel existant nécessite une extension en raison d'une obstruction locale-globale, plutôt qu'une simple déformation.

27
RESEARCHarXiv CS.LG·07/05/2026

Endogenous Regime Switching Driven by Scalar-Irreducible Learning Dynamics

Ce travail introduit une classification des dynamiques d'apprentissage (scalaires-réductibles vs. scalaires-irréductibles) et démontre que les dynamiques scalaires irréductibles permettent un changement de régime endogène, essentiel pour l'intelligence autonome. Il propose un nouveau paradigme dynamique pour l'exploration de régimes sans planification externe.

27
DOCDEV.to AI·20/04/2026

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

Ce contenu introduit le temps continu dans l'Inférence Active, soulignant que la croyance postérieure d'un agent sur l'état du monde évolue avec sa dynamique. Il relie l'Inférence Active à la théorie du contrôle et décrit le codage prédictif comme une descente de gradient littérale en coordonnées généralisées, incluant la position et la vitesse.

27
ARTICLEDEV.to AI·24/04/2026

On Continuity Without Memory

Cet article explore probablement le concept de maintien de la continuité fonctionnelle dans les systèmes, potentiellement l'IA, sans dépendre explicitement des structures de mémoire. Il pourrait discuter des implications philosophiques ou des conceptions architecturales y parvenant.

18