A Logic of Directions

Heshan Du,Natasha Alechina,Anthony G. Cohn

IJCAI 2020（2020）

引用 2|浏览85

暂无评分

摘要

We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (I-ew), north (N), south (S) and indeterminate north/south (I-ns). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要