论文标题
使用答案集编程的三维扩展对象之间的基本方向推理
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
论文作者
论文摘要
我们使用答案集编程（ASP）提出了一个新颖的形式框架（称为3D-NCDC-ASP），以表示3维（3D）空间中扩展对象之间的基本方向。 3D-NCDC-ASP用新型的默认约束将红衣主教定向演算（CDC）扩展到3D。 3D-NCDC-ASP提供了一个灵活的平台，提供不同类型的推理：非单调推理，默认值，检查对象之间的3D基本方向的一组约束，解释不一致，并推断缺失的CDC关系。我们证明了3D-NCDC-ASP的健全性，并说明了其对应用的有用性。本文正在考虑在TPLP中接受。
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, and nCDC-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. This paper is under consideration for acceptance in TPLP.
