利用高阶（元）逻辑表示与推理复杂伦理理论
计算机科学中的逻辑
2019-06-18 v2
摘要
一个雄心勃勃的显式伦理理论——Gewirth 的普遍一致性原理——的计算机机械化，被用于展示一种表示和推理具有复杂逻辑特征（如真势模态与道义模态、索引词、高阶量化等）的伦理理论的方法。利用 Church 类型理论作为元逻辑的高表达能力来语义嵌入量化非经典逻辑的组合，我们的工作推进了知识表示与推理的现有边界。我们证明，复杂伦理理论的直观编码及其在计算机上的自动化不再是不可调和的对立面。
关键词
引用
@article{arxiv.1903.09818,
title = {Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories},
author = {David Fuenmayor and Christoph Benzmüller},
journal= {arXiv preprint arXiv:1903.09818},
year = {2019}
}
备注
14 pages