...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
【24h】

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

机译：使用答案集编程在三维扩展对象之间的主要指示

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

摘要

We propose a novel formal framework (called 3D-NCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-NCDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, andNCDC-ASP to 3D. 3D-NCDC-ASP provides a flexible platform offering different types of reasoning: Nonmonotonic reasoning with defaults, checking consistency of a set of constraints on 3D cardinal directions between objects, explaining inconsistencies, and inferring missing CDC relations. We prove the soundness of 3D-NCDC-ASP, and illustrate its usefulness with applications.
机译：我们提出了一种新颖的正式框架（称为3D-NCDC-ASP）来表示三维（3D）空间中扩展对象之间的基本方向的主要原因，使用答案集编程（ASP）。 3D-NCDC-ASP使用新类型的默认约束，ANDNCDC-ASP扩展了基本方向性计算（CDC）。 3D-NCDC-ASP提供了一个灵活的平台，提供不同类型的推理：非单调推理默认值，检查对象之间的3D基本方向的一组约束的一致性，解释不一致，推断缺少缺少CDC关系。我们证明了3D-NCDC-ASP的声音，并说明了它对应用的有用性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号