KI SpotlightNewsAmazon Bedrock: Agent Skills machen Automated-Reasoning-Richtlinien codebasiert
Neue Funktion erlaubt das Verfassen und Verwalten von Richtlinien in SMT-LIB direkt im Code – mit nahtloser Integration in bestehende Prüf-Workflows.
Mit KI erstelltInhalt
◆ Fakten auf einen Blick
- Die Funktion heißt 'Agent Skills for Automated Reasoning policies' und ist Teil von Amazon Bedrock.
- Teams, die Amazon Bedrock Automated Reasoning Checks nutzen, wollen den Policy-Lebenszyklus oft in Code ausführen.
- Die Ausführung in Code hält die Arbeit wiederholbar, überprüfbar und durch den bereits genutzten Coding-Agenten gesteuert.
- Das Verfassen einer guten Automated-Reasoning-Policy hat eine Lernkurve, und der Lebenszyklus unterliegt Einschränkungen, die zu Stolperfallen werden können.
- Regeln werden in einer Teilmenge von SMT-LIB geschrieben, einem Standard-Eingabeformat für automatisierte Theorembeweiser.
- Variablenbeschreibungen müssen abgestimmt werden, bis der Dienst die echte Benutzersprache korrekt übersetzt.
Neue Agent Skills für Automated Reasoning in Amazon Bedrock
Amazon hat für Amazon Bedrock die neuen Agent Skills für Automated Reasoning angekündigt. Sie ermöglichen es Teams, Automated-Reasoning-Richtlinien direkt in Code zu verfassen und zu verwalten. Konkret stellen die Agent Skills APIs und SDKs bereit, mit denen Entwickler Richtlinien in einer Teilmenge von SMT-LIB – einem standardisierten Eingabeformat für Theorembeweiser – in ihren Code-Repositories definieren, versionieren und über CI/CD-Pipelines ausrollen können. Dadurch wird der gesamte Policy-Lebenszyklus programmatisch steuerbar: Richtlinien werden wie normaler Code in Versionskontrollsystemen abgelegt, Änderungen sind nachvollziehbar und können automatisiert getestet und deployed werden. Die Arbeit wird so wiederholbar und prüfbar, weil sie von den bereits genutzten Coding-Agenten gesteuert wird.
Richtlinien in SMT-LIB verfassen und Lebenszyklus automatisieren
Die Regeln werden in einer Teilmenge von SMT-LIB geschrieben, einem standardisierten Eingabeformat für automatisierte Theorembeweiser. Das Verfassen einer guten Automated-Reasoning-Richtlinie bringt eine Lernkurve mit sich, und der Lebenszyklus unterliegt Randbedingungen, die zu Stolperfallen führen können. Entwickler müssen die Variablenbeschreibungen sorgfältig abstimmen, bis der Dienst die natürliche Benutzersprache korrekt interpretiert. Die codebasierte Verwaltung macht den gesamten Policy-Lebenszyklus wiederholbar und prüfbar: Richtlinien werden als Code in Repositories versioniert, Änderungen sind über Commit-Historien nachvollziehbar, und der gesamte Prozess – von der Erstellung über das Testen bis zum Deployment – kann durch den bereits eingesetzten Coding-Agenten automatisiert werden.
Integration in bestehende Automated-Reasoning-Workflows
Teams, die bereits Amazon Bedrock Automated Reasoning Checks nutzen, können die neuen Agent Skills nahtlos einbinden. Dazu exportieren sie ihre vorhandenen Richtliniendefinitionen als SMT-LIB-Dateien und importieren sie in ihre Code-Repositories. Über die Bedrock-APIs lassen sich die Skills dann in bestehende Prüf-Workflows integrieren, sodass die Richtlinien bei jedem Check automatisch angewendet werden. Beispielcode und Templates erleichtern die Anpassung. In einem verwandten Fall hat ein Berufungsgericht kürzlich eine von Amazon verhängte Sperre gegen den KI-Dienst Perplexity-Bot aufgehoben – ein Urteil, das die Bedeutung klarer, nachvollziehbarer Richtliniendurchsetzung im KI-Umfeld unterstreicht.
