资源论文The Complexity of Limited Belief Reasoning — The Quantifier-Free Case Yijia Chen1 and Abdallah Saffidine2 and Christoph Schwering3

The Complexity of Limited Belief Reasoning — The Quantifier-Free Case Yijia Chen1 and Abdallah Saffidine2 and Christoph Schwering3

2019-11-05 | |  49 |   31 |   0
Abstract The classical view of epistemic logic is that an agent knows all the logical consequences of their knowledge base. This assumption of logical omniscience is often unrealistic and makes reasoning computationally intractable. One approach to avoid logical omniscience is to limit reasoning to a certain belief level, which intuitively measures the reasoning “depth.” This paper investigates the computational complexity of reasoning with belief levels. First we show that while reasoning remains tractable if the level is constant, the complexity jumps to PSPACE-complete— that is, beyond classical reasoning—when the belief level is part of the input. Then we further refine the picture using parameterized complexity theory to investigate how the belief level and the number of non-logical symbols affect the complexity.

上一篇:Embracing Change by Abstraction Materialization Maintenance for Large ABoxes

下一篇:Belief Update in the Horn Fragment

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...