亚马逊云科技Bedrock中用于自动推理策略的Agent技能

这篇AWS机器学习博客文章介绍了一套用于自动化Amazon Bedrock Automated Reasoning策略生命周期的Agent技能套件。这些技能基于Anthropic的开放Agent技能格式构建，通过专门知识扩展了诸如Claude Code、Kiro、Cursor和Codex等编码代理，以处理策略编写、审查、测试、调试、部署和验证。Automated Reasoning检查采用两步流程：首先，基础模型将问题和答案转换为形式逻辑，然后SMT求解器根据策略规则验证该逻辑，提供数学上可靠且可解释的判决。这六项技能包括构建者、审查者、测试者、调试者、部署者和验证者，每项技能都包含针对特定API交互的指令和脚本。文章通过一个使用育儿假策略的示例，演示了如何从源文档创建策略、审查质量报告、运行测试并在防护栏后部署。关键经验强调，可解释性是核心——每个判决都会返回支持或矛盾的规则——而SATISFIABLE判决并非失败，而是表示一致性而非蕴含关系。这些技能还处理诸如并发构建工作流数量有限等约束，通过自动释放槽位来应对。