We are currently unable to specify human goals and societal values in a way that reliably directs AI behavior. Law-making and legal interpretation form a computational engine that converts opaque human values into legible directives. "Law Informs Code" is the research agenda capturing complex computational legal processes, and embedding them in AI. Similar to how parties to a legal contract cannot foresee every potential contingency of their future relationship, and legislators cannot predict all the circumstances under which their proposed bills will be applied, we cannot ex ante specify rules that provably direct good AI behavior. Legal theory and practice have developed arrays of tools to address these specification problems. For instance, legal standards allow humans to develop shared understandings and adapt them to novel situations. In contrast to more prosaic uses of the law (e.g., as a deterrent of bad behavior through the threat of sanction), leveraged as an expression of how humans communicate their goals, and what society values, Law Informs Code. We describe how data generated by legal processes (methods of law-making, statutory interpretation, contract drafting, applications of legal standards, legal reasoning, etc.) can facilitate the robust specification of inherently vague human goals. This increases human-AI alignment and the local usefulness of AI. Toward society-AI alignment, we present a framework for understanding law as the applied philosophy of multi-agent alignment. Although law is partly a reflection of historically contingent political power - and thus not a perfect aggregation of citizen preferences - if properly parsed, its distillation offers the most legitimate computational comprehension of societal values available. If law eventually informs powerful AI, engaging in the deliberative political process to improve law takes on even more meaning.
翻译:目前,我们无法以可靠地指导AI行为的方式确定人的目标和社会价值观。法律制定和法律解释形成了一种计算引擎,将不透明的人类价值观转化为可辨认的指令。“法律信息规则”是研究议程,捕捉复杂的计算法律程序,并将其嵌入AI。类似于法律合同的当事方如何无法预见其未来关系的所有潜在应急,立法者无法预测其拟议法案将适用的所有情况,我们无法预言将适用他们的良好AI行为的具体规则。法律理论和实践已经发展了各种工具来解决这些规格问题。例如,法律标准允许人类发展共同的理解,并使它们适应新情况。与法律的更直截了当的使用相比(例如,通过制裁威胁来遏制不良行为),立法者无法预测其未来关系的所有潜在应急情况,以及立法者无法预测其拟议法案将适用的所有情况。我们无法预知,我们通过法律程序产生的数据(法律制定、法定解释、合同起草、法律标准的应用、法律推理等)能够正确地理解这些规格问题。法律标准的法律标准允许人类发展共同的理解,而法律的精确性法律的精确性规则最终用于人类法律的准确性,从而改善对AI的准确性法律的准确性法律的准确性,从而改进了对法律的准确性法律的准确性法律的准确性法律的准确性法律的稳定性,从而改进了法律,从而改进了对法律的稳定性的稳定性,从而改进了人们对性法律的稳定性法律的稳定性法律的稳定性,从而改进了对法律的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的稳定性的实现。