首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Spatial Logics with Connectedness Predicates
  • 本地全文:下载
  • 作者:Roman Kontchakov ; Ian Pratt-hartmann ; Frank Wolter
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2010
  • 卷号:6
  • 期号:03
  • 出版社:Technical University of Braunschweig
  • 摘要:

    We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected components. We investigate the computational complexity of these logics and show that the connectedness constraints can increase complexity from NP to PSpace, ExpTime and, if component counting is allowed, to NExpTime.

  • 关键词:Spatial Logics;spatial representation;Computational Complexities;Reasoning
国家哲学社会科学文献中心版权所有