基于答案集编程推理三维扩展对象间主方向关系
人工智能
2020-08-11 v1 计算机科学中的逻辑
摘要
我们提出一种新颖的形式化框架（称为3D-nCDC-ASP），利用答案集编程（ASP）表示并推理三维（3D）空间中扩展对象之间的主方向关系。3D-nCDC-ASP将主方向演算（CDC）扩展为一类新的默认约束，并将nCDC-ASP推广至3D。3D-nCDC-ASP提供了一个灵活的平台，支持不同类型的推理：带默认的非单调推理、检查对象间3D主方向约束集的一致性、解释不一致性，以及推断缺失的CDC关系。我们证明了3D-nCDC-ASP的可靠性，并通过应用说明其有用性。本文正考虑被TPLP接受。
引用
@article{arxiv.2008.04126,
title = {Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming},
author = {Yusuf Izmirlioglu and Esra Erdem},
journal= {arXiv preprint arXiv:2008.04126},
year = {2020}
}
备注
Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 29 pages, 6 figures