Hypothèses bayésiennes
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.
Outils comme opérateurs
Un outil devient un opérateur de planification lorsqu’il déclareREQUIRES, EFFECT et éventuellement COST.
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 lorsqueplanner.exhausted devient vrai :
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.