受限信念推理的复杂性——无量词情形

Yijia Chen; Abdallah Saffidine; Christoph Schwering

受限信念推理的复杂性——无量词情形

人工智能 2018-05-09 v1 计算机科学中的逻辑

作者: Yijia Chen , Abdallah Saffidine , Christoph Schwering

摘要

认知逻辑的传统观点是：智能体知道其知识库的所有逻辑推论。这种逻辑全能假设往往不切实际，并使推理在计算上难以处理。避免逻辑全能的一种方法是把推理限制在某一信念层级，该层级直观地度量推理的“深度”。本文研究带信念层级的推理的计算复杂性。首先我们证明，当层级为常数时推理仍可行（易处理），而当信念层级作为输入的组成部分时，复杂性跃升至 PSPACE 完全——即超出经典推理。随后我们利用参数化复杂性理论进一步细化该图景，考察信念层级与非逻辑符号数量如何影响复杂性。

关键词

受限信念推理逻辑全能计算复杂性 PSPACE 完全参数化复杂性信念层级

引用

@article{arxiv.1805.02912,
  title  = {The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case},
  author = {Yijia Chen and Abdallah Saffidine and Christoph Schwering},
  journal= {arXiv preprint arXiv:1805.02912},
  year   = {2018}
}

备注

15 pages, 1 figure, 1 table, Twenty-seventh International Joint Conference on Artificial Intelligence (IJCAI-18)

受限信念推理的复杂性——无量词情形

摘要

关键词

引用

备注

相关论文