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 条
  • [21] The complexity of reasoning with global constraints
    Bessiere, Christian
    Hebrard, Emmanuel
    Hnich, Brahim
    Walsh, Toby
    CONSTRAINTS, 2007, 12 (02) : 239 - 259
  • [22] On the complexity of reasoning in Kleene algebra
    Kozen, D
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 195 - 202
  • [23] Probabilistic reasoning and the science of complexity
    Schum, DA
    DECISION SCIENCE AND TECHNOLOGY: REFLECTIONS ON THE CONTRIBUTIONS OF WARD EDWARDS, 1999, : 183 - 209
  • [24] HEURISTIC REASONING AND RELATIVE INCOMPLETENESS
    TREUR, J
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1993, 8 (01) : 51 - 87
  • [25] Communication Complexity and Information Complexity: Foundations and New Directions
    Pitassi, Toniann
    2012 IEEE 27TH ANNUAL CONFERENCE ON COMPUTATIONAL COMPLEXITY (CCC), 2012, : 136 - 136
  • [26] COMPLEXITY OF RELATIVE CALCULATIONS
    DEKHTYAR, MI
    DOKLADY AKADEMII NAUK SSSR, 1974, 214 (05): : 999 - 1001
  • [27] RELATIVE COMPLEXITY OF ALGEBRAS
    LYNCH, NA
    BLUM, EK
    MATHEMATICAL SYSTEMS THEORY, 1981, 14 (03): : 193 - 214
  • [28] Algorithmic Relative Complexity
    Cerra, Daniele
    Datcu, Mihai
    ENTROPY, 2011, 13 (04) : 902 - 914
  • [29] The influence of complexity and reasoning direction on children's causal reasoning
    Li, H
    Zheng, CJ
    Gao, XM
    Gao, S
    Lin, GD
    COGNITIVE DEVELOPMENT, 2005, 20 (01) : 87 - 101
  • [30] MODULAR COMPLEXITY ANALYSIS VIA RELATIVE COMPLEXITY
    Zankl, Harald
    Korp, Martin
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 385 - 400
12345