AWS, Bedrock自动推理策略自动优化功能上线

亚马逊网络服务（AWS）宣布，已在Bedrock护栏（Guardrails）的Automated Reasoning策略中引入自动优化功能。此前，用户需要反复诊断策略失败原因、手动修改并重新测试，而此次更新将这一过程的大部分实现了自动化。

区分处理两种失败类型

Automated Reasoning检查采用两阶段流水线运作：先将自然语言输入转换为形式逻辑，再应用策略规则得出结果。结果值分为VALID、INVALID、SATISFIABLE、IMPOSSIBLE、TRANSLATION_AMBIGUOUS五种。

新增的优化引擎将失败原因分为两类。第一类是"规则错误"，即自然语言转换本身正确，但规则过于宽松或过于严格，导致结果与预期不符。第二类是"翻译歧义"，即转换模型在将自然语言映射为策略变量时给出了不同解释，从而导致结果出现分歧。针对这两种情况，系统分别提供了Iterative Refinement和Ambiguous Variable Refinement两种优化模式。

用户审批流程保持不变

AWS表示，优化引擎虽然会诊断失败测试并提出形式逻辑修正方案，但所有变更都必须经用户批准后才会实际生效。此次发布的文章还介绍了通过API启动、查询及确认结果的工作流，以及在控制台中可反复执行的优化流程。

AWS援引此前的正式发布（GA）公告称："在自然语言到逻辑转换清晰的情况下，可提供最高达99%的验证准确率。"据悉，客户此前普遍反映，反复调优策略是策略开发过程中摩擦最大的环节。