客观与主观应当的逻辑（含证明全文）
逻辑
2019-03-27 v1
摘要
施事行为、知识与义务之间的关系对于理解责任——人工智能中的一个主要议题——至关重要。基于这样一种观点，即对上述关系的恰当形式化将有助于伦理 AI 的发展，我们指出了文献中最近引入的关于客观与主观应当之逻辑的主要特征。该逻辑以道义与认知算子扩展了传统的 stit 范式，并提供了一种处理 Horty 知识与义务谜题的语义。我们给出了该逻辑的公理化，并针对一类相关模型论证了其可靠性与完备性。
引用
@article{arxiv.1903.10577,
title = {A Logic of Objective and Subjective Oughts (full paper with proofs)},
author = {Aldo Iván Ramírez Abarca and Jan Broersen},
journal= {arXiv preprint arXiv:1903.10577},
year = {2019}
}