Scifaro

中文

机器人伦理的自动化推理

人工智能 2015-02-23 v1 计算机科学中的逻辑

作者: Ulrich Furbach , Claudia Schon , Frieder Stolzenburg

在 arXiv 上查看 ↗ PDF ↗

摘要

道义逻辑是数学逻辑与哲学中研究甚为深入的支派。针对不同应用领域如论证理论、法律推理以及多智能体系统中的行为，人们考虑了多种道义逻辑。本文中，我们展示了如何使用标准道义逻辑为多智能体系统建模伦理准则。此外，我们展示了如何使用高性能定理证明器Hyper来证明这些伦理准则的性质。

关键词

道义逻辑伦理准则多智能体系统定理证明器 Hyper 机器人伦理

引用

@article{arxiv.1502.05838,
  title  = {Automated Reasoning for Robot Ethics},
  author = {Ulrich Furbach and Claudia Schon and Frieder Stolzenburg},
  journal= {arXiv preprint arXiv:1502.05838},
  year   = {2015}
}

备注

arXiv admin note: substantial text overlap with arXiv:1411.4823