AWS ha posat a disposició general les comprovacions automatitzades de raonament dins d’Amazon Bedrock, una funcionalitat que permet verificar i demostrar la veritat i correcció de les polítiques i regles dins de sistemes d’IA. Aquesta eina transforma regles escrites en llenguatge natural a lògica formal, facilitant que experts en la matèria (sense necessitat de coneixements tècnics avançats) puguin definir i revisar aquestes polítiques perquè siguin completes i precises. Cada política es pot versionar i desplegar fàcilment com a part dels guardrails (mecanismes de seguretat) de Bedrock, i es pot activar amb només uns quants clics dins la consola d’AWS.

Aquesta capacitat de raonament automatitzat permet als desenvolupadors i organitzacions garantir el comportament segur i transparent dels seus sistemes d’IA, minimitzant errors i riscos. Gràcies a la integració amb la plataforma Bedrock, aquest procés esdevé senzill, ràpid i accessible, millorant la confiança en les aplicacions basades en intel·ligència artificial.