Skip to main content
AGENT-L sépare deux problèmes souvent confondus : estimer ce qui est vrai et choisir une suite d’actions permise.

Hypothèses bayésiennes

Chaque indice déclare sa vraisemblance sous l’hypothèse et sous son contraire. Le runtime calcule le postérieur P(credential_attack) et trace la contribution de chaque indice.

Corrélation et plafonds

GROUP évite de compter plusieurs capteurs corrélés comme autant de témoins indépendants. MAX_EVIDENCE borne l’amplitude cumulée lorsque la dépendance exacte est inconnue.
Comme les vraisemblances sont déclarées, AGENT-L peut calculer la plage de probabilité atteignable et signaler un seuil de politique impossible à satisfaire.
Inspectez l’inférence sans exécuter une action réelle :

Outils comme opérateurs

Un outil devient un opérateur de planification lorsqu’il déclare REQUIRES, EFFECT et éventuellement COST.
Le planificateur cherche une route jusqu’au but, élimine les opérateurs interdits et additionne le coût d’approbation aux routes qui exigent un humain.
La commande explique les opérateurs retenus et ceux écartés par la politique ou une échéance.

Plans écrits et plans synthétisés

Ces mécanismes se combinent. Un plan écrit peut préparer un diagnostic ; le planificateur choisit ensuite la route d’action la moins coûteuse qui reste autorisée.

Quand aucune route n’existe

Renoncer peut être correct. Caler en silence ne l’est pas. Déclarez une escalade lorsque planner.exhausted devient vrai :
Un EFFECT est une déclaration du contrat, pas une observation indépendante. Pour les effets importants, exposez aussi un capteur capable de confirmer ou de démentir le résultat réel.

Vérifier les routes de repli

Le vérificateur cherche notamment les états interdits dans lesquels le but n’a plus de route ni d’escalade.