이미지: METAL LAB 생성
摘要
- 亚马逊Bedrock新增了Automated Reasoning策略的自动优化功能
- 该功能提供两种优化模式，分别处理规则错误和语言歧义问题
- 所有建议的修改都需经用户批准后才能应用
- 발표 매체
- AWS ML Blog
- 기능
- Amazon Bedrock Automated Reasoning 정책 자동 개선
- 개선 모드
- Iterative Refinement(규칙 오류), Ambiguous Variable Refinement(언어 모호성)
- 검증 결과 유형
- VALID, INVALID, SATISFIABLE, IMPOSSIBLE, TRANSLATION_AMBIGUOUS
- 검증 정확도
- 명확한 자연어-논리 변환 시 최대 99%(GA 발표 기준)
亚马逊网络服务（AWS）宣布，已在Bedrock护栏（Guardrails）的Automated Reasoning策略中引入自动优化功能。此前，用户需要反复诊断策略失败原因、手动修改并重新测试，而此次更新将这一过程的大部分实现了自动化。
区分处理两种失败类型
Automated Reasoning检查采用两阶段流水线运作：先将自然语言输入转换为形式逻辑，再应用策略规则得出结果。结果值分为VALID、INVALID、SATISFIABLE、IMPOSSIBLE、TRANSLATION_AMBIGUOUS五种。
新增的优化引擎将失败原因分为两类。第一类是"规则错误"，即自然语言转换本身正确，但规则过于宽松或过于严格，导致结果与预期不符。第二类是"翻译歧义"，即转换模型在将自然语言映射为策略变量时给出了不同解释，从而导致结果出现分歧。针对这两种情况，系统分别提供了Iterative Refinement和Ambiguous Variable Refinement两种优化模式。
用户审批流程保持不变
AWS表示，优化引擎虽然会诊断失败测试并提出形式逻辑修正方案，但所有变更都必须经用户批准后才会实际生效。此次发布的文章还介绍了通过API启动、查询及确认结果的工作流，以及在控制台中可反复执行的优化流程。
AWS援引此前的正式发布（GA）公告称："在自然语言到逻辑转换清晰的情况下，可提供最高达99%的验证准确率。"据悉，客户此前普遍反映，反复调优策略是策略开发过程中摩擦最大的环节。
