• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Conceptual Modeling(ER 2004): Workshops on CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO; 20041108-12; Shanghai(CN) >Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic
【24h】

Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic

机译：基于空间相关逻辑的空间知识表示与推理

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

摘要

Almost all existing methodologies for representing and reasoning about spatial knowledge are somehow based on classical mathematical logic or its various conservative extensions. This approach, however, may be suitable to searching and describing a formal proof of a previously specified statement, under the condition that we have complete and consistent knowledge, but not necessarily suitable to forming a new concept and discovering a new statement, in particular, in the case that our knowledge is incomplete and inconsistent. This paper proposes a new approach: representing and reasoning about spatial knowledge based on spatial relevant logic.
机译：几乎所有用于表示和推理空间知识的现有方法都以某种方式基于经典数学逻辑或其各种保守的扩展。但是，在我们拥有完整且一致的知识的情况下，这种方法可能适合于搜索和描述先前指定的陈述的形式证明，但不一定适合于形成一个新概念并发现一个新的陈述，特别是，在我们的知识不完整和不一致的情况下。本文提出了一种新的方法：基于空间相关逻辑来表示和推理空间知识。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号