社会、法律、伦理、共情与文化规则：编译与推理（扩展版）
人工智能
2024-10-01 v3
摘要
基于人工智能和自主系统的兴起因其行为或决策可能产生的负面影响而引发了担忧与忧虑。这些系统的设计必须符合其将要运行的人类语境。为此，Townsend 等人 (2022) 引入了 SLEEC（社会、法律、伦理、共情或文化）规则的概念，旨在促进基于人工智能和自主系统应遵守规则的制定、验证和执行。他们提出了一套方法论来引导这些规则，并允许哲学家、律师、领域专家等人用自然语言对其进行表述。为了使这些规则在人工智能系统中得到有效应用，有必要将其系统地翻译为支持自动推理的形式语言。在本研究中，我们首先对 SLEEC 规则模式进行了语言学分析，这为将 SLEEC 规则翻译为经典逻辑提供了依据。然后，我们研究了 SLEEC 规则推理的计算复杂性，并展示了如何在实际场景中利用逻辑编程框架来实现 SLEEC 规则。其结果是一种可直接应用的策略，用于实现符合以 SLEEC 规则表达规范的人工智能系统。
引用
@article{arxiv.2312.09699,
title = {Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)},
author = {Nicolas Troquard and Martina De Sanctis and Paola Inverardi and Patrizio Pelliccione and Gian Luca Scoccia},
journal= {arXiv preprint arXiv:2312.09699},
year = {2024}
}
备注
In proceedings of the 38th Annual AAAI Conference on Artificial Intelligence