The Complexity of Reasoning with Relative Directions

被引：3
|
作者：
Lee, Jae Hee [1 ]
机构：
[1] Univ Bremen, D-28359 Bremen, Germany
来源：
21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) | 2014年 / 263卷
关键词：
D O I：
10.3233/978-1-61499-419-0-507
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Whether reasoning with relative directions can be performed in NP has been an open problem in qualitative spatial reasoning. Efficient reasoning with relative directions is essential, for example, in rule-compliant agent navigation. In this paper, we prove that reasoning with relative directions is there exists R-complete. As a consequence, reasoning with relative directions is not in NP, unless NP = there exists R.
引用
收藏
页码：507 / 512
页数：6
相关论文
共 50 条
  • [1] The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems
    Jonsson, Peter
    Lagerkvist, Victor
    Schmidt, Johannes
    Uppman, Hannes
    THEORETICAL COMPUTER SCIENCE, 2021, 892 : 1 - 24
  • [2] The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems
    Jonsson, Peter
    Lagerkvist, Victor
    Schmidt, Johannes
    Uppman, Hannes
    Lagerkvist, Victor (victor.lagerkvist@liu.se), 1600, Elsevier B.V. (892): : 1 - 24
  • [3] Directions in uncertainty reasoning
    Neufeld, E
    KNOWLEDGE ENGINEERING REVIEW, 1997, 12 (04): : 413 - 415
  • [4] LOGIC AND THE COMPLEXITY OF REASONING
    LEVESQUE, HJ
    JOURNAL OF PHILOSOPHICAL LOGIC, 1988, 17 (04) : 355 - 389
  • [5] ON THE COMPLEXITY OF EPISTEMIC REASONING
    VARDI, MY
    FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 1989, : 243 - 252
  • [6] Complexity of contextual reasoning
    Roelofsen, F
    Serafini, L
    PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 124 - 129
  • [7] On the Complexity of Counterfactual Reasoning
    Han, Yunqiu
    Chen, Yizuo
    Darwiche, Adnan
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 5676 - 5684
  • [8] Reasoning about cardinal directions
    Ligozat, G
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1998, 9 (01): : 23 - 44
  • [9] INDUCTIVE REASONING AND KOLMOGOROV COMPLEXITY
    LI, M
    VITANYI, PMB
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1992, 44 (02) : 343 - 384
  • [10] The Complexity of Reasoning with Global Constraints
    Christian Bessiere
    Emmanuel Hebrard
    Brahim Hnich
    Toby Walsh
    Constraints, 2007, 12 : 239 - 259
12345