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.
L'article présente une pile de gouvernance d'IA à 7 couches développée sur six mois pour contrôler 53 agents d'IA autonomes en production, atteignant zéro incident. Ce système permet aux agents de prendre des décisions réelles en toute sécurité dans diverses fonctions de gestion familiale.
Credo présente un nouveau cadre pour le contrôle déclaratif des pipelines LLM, représentant l'état sémantique sous forme de croyances et régulant le comportement par des politiques. Cette conception vise à améliorer l'adaptabilité, l'auditabilité et la composabilité des systèmes d'IA agentifs, en s'éloignant des boucles de contrôle impératives fragiles.
Cet article présente une approche d'apprentissage par renforcement économe en communication, où une seule politique apprend à la fois les entrées de commande et les décisions de synchronisation, protégée par un bouclier de sécurité Lyapunov ponctuel. Une couche d'assurance d'exécution annule la politique pour fournir des garanties de sécurité plus strictes et obtenir des intervalles inter-échantillons moyens nettement plus élevés sur divers systèmes.
Ce contenu suggère que les agents d'IA nécessitent un "système d'exploitation" plutôt qu'un simple harnais pour garantir un travail fiable et contrôlé, en mettant l'accent sur la séparation de l'exécution et de la vérification, et la traçabilité. Il introduit XRefKit comme exemple, visant un travail d'IA contrôlé plutôt qu'une autonomie totale.