Amazon Bedrock automatisiert die Richtlinienverfeinerung mit zwei neuen Modi

AWS hat die automatische Richtlinienverfeinerung für die Automated Reasoning Checks von Amazon Bedrock Guardrails angekündigt, die formale Verifikation nutzen, um die Korrektheit von Antworten zu beweisen. Die Verfeinerungs-Engine diagnostiziert fehlgeschlagene Tests und schlägt Korrekturen in formaler Logik vor, wobei Benutzer jede Änderung genehmigen müssen. Es werden zwei neue Modi eingeführt: Iterative Verfeinerung für Regelprobleme, bei denen die Logik falsch ist, die Übersetzung jedoch korrekt, und Verfeinerung mehrdeutiger Variablen für Sprachprobleme, bei denen TRANSLATION_AMBIGUOUS-Ergebnisse aufgrund mehrdeutiger Variablenbeschreibungen oder überlappender Definitionen auftreten. Beide Modi folgen einem asynchronen API-Workflow (Start, Abfrage, Abruf) und einem Konsolen-Workflow. Die iterative Verfeinerung verwendet die aktuelle Richtlinie, ein Quelldokument und optionales Feedback; sie schlägt Regel- oder Variablenänderungen vor und iteriert intern bis zur Konvergenz. Die Verfeinerung mehrdeutiger Variablen schlägt klarere Variablenbeschreibungen vor und führt möglicherweise überlappende Variablen zusammen. Die Funktion ist in Amazon Bedrock verfügbar, und Benutzer können die vorgeschlagenen Änderungen auf einem Überprüfungsbildschirm annehmen oder verwerfen.