• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Qualitative Temporal and Spatial Reasoning Revisited
【24h】

Qualitative Temporal and Spatial Reasoning Revisited

机译：再探质性时空推理

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Establishing local consistency is one of the main algorithmic techniques in temporal and spatial reasoning. A central question for the various proposed temporal and spatial constraint languages is whether local consistency implies global consistency. Showing that a constraint language r has this 'local-to-global' property implies polynomial-time tractability of the constraint language, and has further pleasant algorithmic consequences. In the present article, we study the 'local-to-global' property by making use of a recently established connection of this property with universal algebra. Roughly speaking, the connection shows that this property is equivalent to the presence of a so-called quasi near-unanimity (QNU) polymorphism of the constraint language. We obtain new algorithmic results and give very concise proofs of previously known theorems. Our results concern well-known and heavily studied formalisms such as the point algebra, Allen's interval algebra and the spatial reasoning language RCC-5.
机译：建立局部一致性是时间和空间推理中的主要算法技术之一。对于各种提议的时间和空间约束语言，一个中心问题是局部一致性是否意味着全局一致性。显示约束语言r具有这种“局部到全局”属性意味着约束语言的多项式时间可处理性，并且具有进一步令人愉悦的算法效果。在本文中，我们通过利用该属性与通用代数的最近建立的联系来研究“局部到全局”属性。粗略地说，该连接表明此属性等效于约束语言的所谓准接近一致（QNU）多态性的存在。我们获得了新的算法结果，并给出了先前已知定理的非常简洁的证明。我们的研究结果涉及著名且经过大量研究的形式主义，例如点代数，艾伦区间代数和空间推理语言RCC-5。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号