迈向正当性与可证成性的形式化
计算机科学中的逻辑
2021-10-26 v1 多智能体系统
摘要
我们引入了逻辑 QKSD，这是一种关于有限多个模态的正规模态逻辑，额外支持模态的有界量化。该逻辑的一个重要特征是允许对系统的信息成分进行量化，因此可用于推导正当性。我们将所提出的逻辑与 Artemov 的正当性逻辑进行比较，并报告了该逻辑的可满足性求解器的原型实现，给出了若干示例。
引用
@article{arxiv.2110.12581,
title = {Towards a Formalisation of Justification and Justifiability},
author = {Willem Hagemann},
journal= {arXiv preprint arXiv:2110.12581},
year = {2021}
}
备注
In Proceedings FMAS 2021, arXiv:2110.11527