非单调交互式证明逻辑（临时知识转移的形式理论）
计算机科学中的逻辑
2013-02-07 v2 密码学与安全
分布式、并行与集群计算
多智能体系统
逻辑
摘要
我们提出了一种内部化非单调或即时交互式证明的单调逻辑 (LiiP)，并将现有的内部化单调或持久交互式证明的单调逻辑 (LiP) 重构为 LiiP 的最小保守扩展。即时交互式证明在其预期的同行评审社区中产生脆弱的认识论影响，即通过解释性评审者对证明的了解，暂时性地诱导其对证明目标的了解：如果我的同行评审者知道我的证明，那么她至少在那一刻（在那个瞬间）知道其证明目标为真。这种影响是脆弱的，其知识诱导是暂时的，意指仅在获知证明的瞬间可能成立。这解释了内部化真值可变的陈述证明的重要可能性，而与不变陈述不同，这些陈述不可能拥有持久的证明。因此，即时交互式证明通过传递某些个体知识（可知的非单调证明），在多智能体交互的分布式系统中实现了某些命题知识（可知短暂事实）的临时转移。
引用
@article{arxiv.1208.1842,
title = {Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)},
author = {Simon Kramer},
journal= {arXiv preprint arXiv:1208.1842},
year = {2013}
}
备注
continuation of arXiv:1201.3667 ; published extended abstract: DOI:10.1007/978-3-642-36039-8_16 ; related to arXiv:1208.5913