等式否定任务的动态认知逻辑分析
计算机科学中的逻辑
2019-09-10 v1 分布式、并行与集群计算
摘要
本文研究在简单的无等待模型中等式否定任务的可解性，该模型中进程通过读写共享变量或交换消息进行通信。在此任务中，两个进程各自拥有集合 {0,1,2} 中的一个私有输入值，通信后每个进程必须决定一个二值输出，使得两个进程的输出相同当且仅当它们的输入值不同。已知该任务不可解；本文的目标是使用 Goubault、Ledent 和 Rajsbaum 在 GandALF 2018 中引入的动态认知逻辑 (DEL) 方法来证明这一结果。我们表明，事实上不存在能解释该任务为何不可解的认知逻辑公式。我们通过扩展 DEL 框架的语言来解决此问题，从而构造出这样一个公式，并讨论其效用。
引用
@article{arxiv.1909.03263,
title = {A dynamic epistemic logic analysis of the equality negation task},
author = {Eric Goubault and Marijana Lazic and Jeremy Ledent and Sergio Rajsbaum},
journal= {arXiv preprint arXiv:1909.03263},
year = {2019}
}