当名称非常识所知：带赋值算子的认知逻辑
人工智能
2018-06-26 v2 计算机科学中的逻辑
逻辑
摘要
在标准认知逻辑中，主体名称通常隐式地假设为公共知识。这在各种应用中是不合理的。受项模态逻辑和动态逻辑中赋值算子的启发，我们引入了一种轻量级的模态谓词逻辑，其中名称可以是非刚性的。该语言能以自然的方式处理各种 de dicto 与 de re 的区分。主要技术结果是该逻辑在 S5 模型上的完全公理化。
引用
@article{arxiv.1805.03852,
title = {When Names Are Not Commonly Known: Epistemic Logic with Assignments},
author = {Yanjing Wang and Jeremy Seligman},
journal= {arXiv preprint arXiv:1805.03852},
year = {2018}
}
备注
18 pages, to appear in proceedings of AiML2018