基于动态认知逻辑的心智理论模型的参数化复杂性结果
计算机科学中的逻辑
2016-06-27 v1 人工智能
摘要
本文引入一个基于动态认知逻辑（DEL）的心智理论（ToM）计算层级模型，并分析其计算复杂性。该模型是 DEL 模型检验的一个特例。我们提供参数化复杂性分析，将 DEL 的若干方面（如智能体数量、前提条件规模等）作为参数。我们证明 DEL 的模型检验是 PSPACE-难的，即便限制在单点模型和 S5 关系下也是如此，从而解决了文献中的一个开放问题。我们的方法旨在形式化认知科学文献中关于心智理论计算模型当前不可处理性的论断。
引用
@article{arxiv.1606.07526,
title = {Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic},
author = {Iris van de Pol and Iris van Rooij and Jakub Szymanik},
journal= {arXiv preprint arXiv:1606.07526},
year = {2016}
}
备注
In Proceedings TARK 2015, arXiv:1606.07295