设计用于伦理与法律推理的规范理论：LogiKEy框架、方法论与工具支持
人工智能
2020-05-26 v6
摘要
本文提出了一个称为LogiKEy的框架与方法论，用于伦理推理器、规范理论和道义逻辑的设计与工程化。总体动机是为智能自主系统的控制与治理开发合适的手段。LogiKEy的统一形式化框架基于将道义逻辑、逻辑组合以及伦理-法律领域理论语义嵌入到表达性强的经典高阶逻辑（HOL）中。这种元逻辑方法使得LogiKEy能够提供强大的工具支持：现成的HOL定理证明器和模型寻找器协助LogiKEy设计者同时灵活地试验底层逻辑及其组合、伦理-法律领域理论以及具体实例。这些现成证明器的持续改进无需额外工作即可提升LogiKEy中的推理性能。应用并测试了LogiKEy框架与方法论的案例研究证明，HOL的不可判定性通常不妨碍高效的实验。
引用
@article{arxiv.1903.10187,
title = {Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support},
author = {Christoph Benzmüller and Xavier Parent and Leendert van der Torre},
journal= {arXiv preprint arXiv:1903.10187},
year = {2020}
}
备注
50 pages; 10 figures