AWS kondigt met trots de algemene beschikbaarheid aan van Automated Reasoning checks, onderdeel van Amazon Bedrock Guardrails. Deze technologie helpt gebruikers om de correctheid van door AI gegenereerde content te verifiëren door gebruik te maken van wiskundige logica en formele verificatiemethoden. Daarmee worden AI‑hallucinaties – feitenfouten – effectief teruggedrongen.
Niet probabilistisch, maar zeker
In tegenstelling tot traditionele AI‑technieken die met waarschijnlijkheden werken, biedt deze aanpak een bijna waterdichte controle: tot 99 % verificatie‑nauwkeurigheid, met duidelijke definities en parameters waartegen AI‑antwoorden worden getoetst. Idealiter voor situaties waar betrouwbaarheid cruciaal is.
Grotere documenten? Geen probleem
Bedrijven kunnen nu complete documenten tot 80 000 tokens (ongeveer 100 pagina’s) laten controleren binnen één enkele build. Regressietests zijn eenvoudig op te slaan en opnieuw uit te voeren, terwijl scenario’s automatisch gegenereerd worden en het beleid helder onderbouwd met suggesties kan worden verbeterd.
Van beleid naar logica
Een typische workflow: een organisatie uploadt een beleidsdocument (bijvoorbeeld een hypotheekacceptatiebeleid) naar de Amazon Bedrock-console. Het systeem vertaalt regels, variabelen en relaties naar formele logica. De gebruiker kan testen uitvoeren: wanneer een AI-antwoord niet voldoet, ziet men welke regel is geschonden. Suggesties helpen bij bijsturing.
Uitrollen in de praktijk
Een guardrail wordt ingesteld binnen Bedrock, gekoppeld aan maximaal twee Automated Reasoning‑policy’s. De AI‑output wordt gevalideerd met een duidelijk, logisch onderbouwde score (Valid/Invalid/Mixed). Invalid‑uitkomsten bevatten uitleg en suggesties, zodat AI‑antwoorden automatisch kunnen worden herschreven of bijgeschaafd.
Sectorcase – nutsbeheerders en PwC
Een concrete toepassing: nutsbedrijven gebruiken deze technologie in samenwerking met PwC om blikseminstellingen te stroomlijnen. Denk aan automatisch genereren van protocollen, real‑time validatie van noodplannen en gestructureerde workflows. Dankzij wiskundige precisie communiceren systemen sneller, betrouwbaarder en veilig met hun gebruikers en klanten. PwC noemt het een ‘doorbraak in verantwoordelijke AI’, vooral in sectoren waar vertrouwen geen optie is, maar noodzaak.
Beschikbaarheid en toegang
De functionaliteit is beschikbaar in verschillende AWS-regio’s, waaronder Europa (Frankfurt, Ierland, Parijs) en de VS (Oost en West). Integratie kan via de console of Python‑SDK/API. Voor extra automatisering of infrastructuur‑integratie komt CloudFormation binnenkort beschikbaar.
AWS brengt met Automated Reasoning checks een belangrijke innovatie in generatieve AI: in plaats van gokken, gebruikt AI nu logica die feiten, regels en wetmatigheden ondersteunt. Van documenten van 100 pagina’s tot real‑time validatie, en casussen in kritieke infrastructuren tonen aan dat deze aanpak niet alleen toekomstgericht, maar ook praktisch toepasbaar en betrouwbaar is.
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available | Amazon Web ServicesBuild responsible AI applications with the first and only solution that delivers up to 99% verification accuracy using sound mathematical logic and formal verification techniques to minimize AI hallucinations and data ambiguity. |









