定性时空演算综述——代数与计算性质
人工智能
2016-06-02 v1
摘要
定性时空推理（QSTR）关注符号知识表示，通常针对无限域。采用QSTR技术的动机包括利用允许高效推理的计算性质，以及在计算框架中捕捉人类认知概念。定性演算的概念是最突出的QSTR形式化方法之一。本文首次概述了迄今开发的所有定性演算及其计算性质，同时给出了基本概念和方法的广义定义，这些定义现在涵盖了所有现有演算。此外，我们根据代数性质对演算进行了分类。
引用
@article{arxiv.1606.00133,
title = {A Survey of Qualitative Spatial and Temporal Calculi -- Algebraic and Computational Properties},
author = {Frank Dylla and Jae Hee Lee and Till Mossakowski and Thomas Schneider and André Van Delden and Jasper Van De Ven and Diedrich Wolter},
journal= {arXiv preprint arXiv:1606.00133},
year = {2016}
}
备注
Submitted to ACM Computing Surveys