正向宣告
计算机科学中的逻辑
2021-11-30 v4
摘要
任意公开宣告逻辑（APAL）刻画了一组智能体的知识在真实公开宣告之后以及任意真实认知公式的宣告之后如何变化。我们考虑任意公开宣告逻辑的一个变体，称为正向任意公开宣告逻辑（APAL+），它将任意公开宣告限制为正向公式的宣告。正向公式禁止关于智能体无知的陈述。正向公式对应于一阶逻辑中的全称片段。由于两个连续的正向公式宣告未必对应于一个正向公式的宣告，APAL+ 与 APAL 有相当的不同。我们证明 APAL+ 比公开宣告逻辑 PAL 更具表达力，且 APAL+ 与 APAL 不可比较。我们还给出了一个可靠且完备的无穷公理化。
引用
@article{arxiv.1803.01696,
title = {Positive Announcements},
author = {Hans van Ditmarsch and Tim French and James Hales},
journal= {arXiv preprint arXiv:1803.01696},
year = {2021}
}