源自人工构建本体的可证明可审计且安全的 LLM 代理

本文介绍了 Agentic Redux 代理架构，旨在应用于需要线性可审计性的复杂问题领域。利用类型 lambda 演算，证明了该架构在适当领域运行时语义正确，且所有决策均记录于只增账本中。文章展示了其在医疗账单合规与安全漏洞披露两个生产级领域的应用，并提供了代码。此外，提出了“本体优先代理设计”方法论，即由专家使用基本形式本体对领域建模，再指派 LLM 推导代理与人类的角色以协同解决问题。