克里斯托夫·本兹穆勒；家长，Xavier；范德托雷，利安德特 道义逻辑推理基础设施。 （英语） Zbl 1509.68327号 Manea，Florin（编辑）等人，《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议，CiE 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10936, 60-69 (2018). 摘要：提出了一种用于道义和规范推理自动化的灵活基础设施。我们的动机是在未来的智能机器中开发、研究和提供法律和道德推理能力。由于对“最佳”道义逻辑形式主义没有共识，而且答案可能是特定于应用的，因此提出了一种灵活的基础结构，在实验伦理学应用研究中，可以对候选逻辑形式主义进行变化、评估和比较。因此，我们的工作将经典高阶逻辑、道义逻辑、规范推理和形式伦理学等历史丰富的研究领域联系起来。关于整个系列，请参见[Zbl 1391.68009号]. 引用于1文件 MSC公司： 68V20型 数学形式化与定理证明 03B16号 高阶逻辑 03B35型 证明和逻辑操作的机械化 03B45号 模态逻辑（包括规范逻辑） 68T27型 人工智能中的逻辑 68立方英尺 知识表示 软件：LEO-II型；伊莎贝尔/HOL；Nitpick公司；SPASS公司；大锤；伊莎贝尔；CVC4型 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller}等人，Lect。注释计算。科学。10936，60-69（2018年；Zbl 1509.68327） 全文： DOI程序 链接