自由抉择许可在经典道义逻辑中可否被接纳？
计算机科学中的逻辑
2019-06-11 v2 人工智能
多智能体系统
摘要
本文探讨当我们考虑某些类型的许可与义务之间的道义冲突时，自由抉择许可 (FCP) 如何以及是否可以被接受。众所周知，在一些最小条件下，FCP 可推导出不定数量的许可。我们讨论此问题及其他缺陷，并给出六个接纳受限版本 FCP 的 Hilbert 式经典道义系统。就许可而言，我们所给出的系统在推理视角下并不过弱，且不强求削弱任何特定的义务逻辑。
引用
@article{arxiv.1905.07696,
title = {Is Free Choice Permission Admissible in Classical Deontic Logic?},
author = {Guido Governatori and Antonino Rotolo},
journal= {arXiv preprint arXiv:1905.07696},
year = {2019}
}