真实的谎言
人工智能
2018-02-06 v2 计算机科学中的逻辑
多智能体系统
摘要
真实的谎言是指一经宣告便成为真实的谎言。在不建模宣告主体的宣告逻辑中，真实的谎言是一个（原本为假且）在宣告后变为真的公式。我们在 Gerbrandy 的信念宣告逻辑框架下，研究了真实的谎言以及宣告公式、其前提条件和后置条件之间其他类型的相互作用，其中主体可能拥有或获得不正确的信念。我们的结果涉及这些语义定义范畴的实例的可满足性与有效性、迭代宣告（包括任意多次迭代宣告）以及句法刻画。最后，我们给出了关于知识逻辑（而非信念逻辑）中的迭代宣告，以及作为针对不同主体的私有宣告（而非公开宣告）的谎言的结果。详细的例子说明了我们的谎言概念。
引用
@article{arxiv.1606.08333,
title = {True Lies},
author = {Thomas Ågotnes and Hans van Ditmarsch and Yanjing Wang},
journal= {arXiv preprint arXiv:1606.08333},
year = {2018}
}