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 条
  • [31] Algorithmic Cross-Complexity and Relative Complexity
    Cerra, Daniele
    Datcu, Mihai
    DCC 2009: 2009 DATA COMPRESSION CONFERENCE, PROCEEDINGS, 2008, : 342 - 351
  • [32] Complexity of Reasoning with Cardinality Minimality Conditions
    Creignou, Nadia
    Olive, Frederic
    Schmidt, Johannes
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 4, 2023, : 3932 - 3940
  • [33] RELATIONAL COMPLEXITY AND THE DEVELOPMENT OF ANALOGICAL REASONING
    GOSWAMI, U
    COGNITIVE DEVELOPMENT, 1989, 4 (03) : 251 - 268
  • [34] The Complexity of Reasoning for Fragments of Autoepistemic Logic
    Creignou, Nadia
    Meier, Arne
    Vollmer, Heribert
    Thomas, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)
  • [35] The Complexity of Reasoning about and with Chemical Representations
    Talanquer, Vicente
    JACS AU, 2022, 2 (12): : 2658 - 2669
  • [36] Counting Complexity for Reasoning in Abstract Argumentation
    Fichte J.K.
    Hecher M.
    Meier A.
    Journal of Artificial Intelligence Research, 2024, 80 : 805 - 834
  • [37] Complexity of Shapes and Quantitative Reasoning in Geometry
    Stavy, Ruth
    Babai, Reuven
    MIND BRAIN AND EDUCATION, 2008, 2 (04) : 170 - 176
  • [38] Counting Complexity for Reasoning in Abstract Argumentation
    Fichte, Johannes K.
    Hecher, Markus
    Meier, Arne
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2024, 80 : 805 - 834
  • [39] The complexity of reasoning about spatial congruence
    Cristani, M
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1999, 11 : 361 - 390
  • [40] IQ AND REASONING COMPLEXITY - THE ROLE OF EXPERIENCE
    LIKER, JK
    CECI, SJ
    JOURNAL OF EXPERIMENTAL PSYCHOLOGY-GENERAL, 1987, 116 (03) : 304 - 306
12345