Amazon Bedrock automatise l'affinement des politiques avec deux nouveaux modes

AWS a annoncé le raffinement automatique des politiques pour les contrôles de raisonnement automatisé d'Amazon Bedrock Guardrails, qui utilisent la vérification formelle pour prouver l'exactitude des réponses. Le moteur de raffinement diagnostique les tests échoués et propose des corrections en logique formelle, et les utilisateurs doivent approuver chaque modification. Deux nouveaux modes sont introduits : le raffinement itératif pour les problèmes de règles, où la logique est incorrecte mais la traduction est correcte, et le raffinement des variables ambiguës pour les problèmes de langage, où des résultats TRANSLATION_AMBIGUOUS se produisent en raison de descriptions de variables ambiguës ou de définitions qui se chevauchent. Les deux modes suivent un flux de travail API asynchrone (démarrer, interroger, récupérer) et un flux de travail console. Le raffinement itératif prend la politique actuelle, un document source et des commentaires facultatifs ; il propose des modifications de règles ou de variables et itère en interne jusqu'à convergence. Le raffinement des variables ambiguës propose des descriptions de variables plus claires et éventuellement la fusion de variables qui se chevauchent. La fonctionnalité est disponible dans Amazon Bedrock, et les utilisateurs peuvent accepter ou rejeter les modifications proposées sur un écran de révision.