Implementing Computational Law in Wolfram Language for the Governance of Artificial Intelligence
用Wolfram语言实现计算法以用于人工智能治理
机构 * Wolfram Institute for Computational Foundations of Science(沃尔夫勒姆计算基础科学研究所)
专题命中 其他机器人 :embodied agent(abstract);分类 cs.AI
AI总结 本文在Wolfram语言中实现Reified Input/Output Logic,测试GPT-4转换英文法律陈述的情况,通过AI看门狗案例展示计算法可作为AI治理工具,理想目标是形式化可编程执行的法律。
Comments 25 pages, 1 figure, 2 tables, 12 code listings. Wolfram Language implementation and verification script (31 assertions) available at this https URL (https://github.com/Zaffer/research-computational-law)