详细内容或原文请订阅后点击阅览
Amazon Bedrock 中的自动推理策略细化
None
来源:亚马逊云科技 _机器学习完善 Amazon Bedrock 中的自动推理策略是一个诊断、手动编辑、重新测试和重复的手动周期。今天，我们宣布自动策略细化，它可以自动执行该周期中的诊断和修复工作。细化引擎诊断失败的测试并提出形式逻辑修复。您在每项更改生效之前都批准了它。
Amazon Bedrock Guardrails 中的自动推理检查使用形式验证来证明答案的正确性。正如 GA 公告中所报告的，在从自然语言到形式逻辑的明确翻译中，它们提供高达 99% 的验证准确性。首先，您从源文档构建自动推理策略并使用测试用例对其进行验证。客户告诉我们，这种迭代调整在政策制定中造成了最大的摩擦点。
在这篇文章中，我们将介绍两种新的细化模式：针对规则问题的迭代细化和针对语言问题的模糊变量细化。对于每种模式，我们都展示了完整的 API 工作流程（启动、轮询、检索）和可重复的控制台工作流程，用于将失败的策略转变为通过的策略。
自动推理检查实际上是什么
自动推理检查将自然语言转换为形式逻辑，然后应用自动推理技术来生成结果：VALID、INVALID、SATISFIABLE、IMPOSSIBLE 或 TRANSLATION_AMBIGUOUS。有关政策如何运作的完整介绍，请参阅我们的 GA 公告帖子。
对于这篇文章，关键概念是两步验证管道。首先，翻译步骤使用策略中的变量描述将自然语言输入/输出映射到变量分配。其次，验证步骤将正式规则应用于这些分配。当测试失败时，根本原因在于这两个步骤之一，并且每种细化模式都针对不同的一个。图 1 端到端地追踪了该管道。