Computational law

计算法框架正式化人工智能治理规则

一篇新论文提出使用 Wolfram Language 来实现“计算法”，以治理人工智能系统，即使是那些具有不透明推理能力的系统。该方法将法律义务、许可和禁止形式化为可执行代码。使用 GPT-4 进行的测试揭示了将英文法律声明翻译成这种形式主义的挑战，包括幻觉函数和不正确的规范编码。一个 AI 警卫犬的案例研究展示了如何将形式化规则集成到代理的操作代码中，为其行为提供可审计的理由。