基于动态认知逻辑的心理理论模型的参数化复杂性结果
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
摘要：
本文介绍了一种基于动态认知逻辑的计算层次的心理理论模型，并分析了它的计算复杂性。该模型是DEL模型检验的一个特例。我们提供了一个参数化的复杂性分析，考虑到DEL的几个方面（例如，代理人的数量、先决条件的大小等）作为参数。我们表明，模型检验DEL是PSPACE硬，也限制在单点模型和S5关系，从而解决了一个公开的问题，在文献中。我们的方法旨在正式目前棘手的索赔认知科学文献中关于计算模型的心理理论。
英文摘要：
In this paper we introduce a computational-level model of theory of mind (ToM) based on dynamic epistemic logic (DEL), and we analyze its computational complexity. The model is a special case of DEL model checking. We provide a parameterized complexity analysis, considering several aspects of DEL (e.g., number of agents, size of preconditions, etc.) as parameters. We show that model checking for DEL is PSPACE-hard, also when restricted to single-pointed models and S5 relations, thereby solving an open problem in the literature. Our approach is aimed at formalizing current intractability claims in the cognitive science literature regarding computational models of ToM.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
