如何在互不理解的情况下达成一致：带布尔定义公开宣告逻辑
计算机科学中的逻辑
2019-07-23 v1
摘要
在标准认知逻辑中，知道 p 等同于知道 p 为真，但它并未说明任何关于理解 p 或知道其含义的内容。本文提出公开宣告逻辑（PAL）的一个保守扩展，其中智能体既对命题的真值又对其含义具有知识或信念。我们给出带布尔定义的 PAL 的完全公理化并讨论各种例子。一个智能体可能理解某个命题却不知道其真值，或反之。此外，多个智能体可以在对其含义不达成一致的情况下就某事物达成一致，反之亦然。
引用
@article{arxiv.1907.09105,
title = {How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions},
author = {Malvin Gattinger and Yanjing Wang},
journal= {arXiv preprint arXiv:1907.09105},
year = {2019}
}
备注
In Proceedings TARK 2019, arXiv:1907.08335