用 CP-net 建模反义务
人工智能
2020-03-25 v1 计算机科学中的逻辑
摘要
在道义逻辑的其他条件相同(ceteris-paribus)语义中,较多规范被遵守的事态优于其中部分规范被违反的事态。条件偏好网(CP-nets)是一种紧凑的形式化工具,用于表达和分析其他条件相同的偏好,并具有优良的计算性质。本文展示了如何通过条件偏好模型来刻画道义概念。我们将定义一种受限的道义逻辑,并将其映射到条件偏好网。我们还将展示如何在 CP-nets 中对反义务 obligation 进行建模,以及如何在该形式化中刻画强许可与弱许可之间的区别。
引用
@article{arxiv.2003.10480,
title = {Modeling Contrary-to-Duty with CP-nets},
author = {Roberta Calegari and Andrea Loreggia and Emiliano Lorini and Francesca Rossi and Giovanni Sartor},
journal= {arXiv preprint arXiv:2003.10480},
year = {2020}
}