Governed Deduction框架区分前提相关性与授权

研究人员推出了一种新的推理系统框架Governed Deduction (GD)，该框架区分了前提相关性与授权。GD通过使用一个局部转移的准入谓词admit(p, tau, S)来形式化这一概念，以确定前提是否被允许用于特定的逻辑转移。使用了一个增强了RBAC的Spider基准来创建授权对，初步实验表明联合控制器具有高准确性，尽管仅转移控制器也表现良好。进一步分析显示，虽然该基准成功地实例化了超越单纯相关性的策略基础授权，但当前的线性表示难以捕捉这种关系，这凸显了在评估策略敏感推理时需要进行受控的负面发现和泄露审计。 AI

影响 为推理系统引入了新的形式化区分，可能提高AI决策过程的安全性和可控性。

排序理由 该集群包含一篇详细介绍推理系统新框架的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• arXiv
• Governed Deduction
• Hugging Face
• RBAC-augmented Spider

• 论文
• 安全

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →