一种半自动生成组合表的方法
人工智能
2011-05-24 v1 计算机科学中的逻辑
摘要
源于Allen区间代数的基于组合的推理，已被广泛认为是定性空间与时间推理中最常用的推理技术。给定一个定性演算（即关系模型），首要任务是建立其组合表（CT）。在过去三十年中，这项工作通常由人工完成。考虑到演算可能包含数十乃至数百个基本关系，这种做法既不理想且容易出错。计算正确的CT于1995年被Tony Cohn确定为计算机科学家面临的一项挑战。本文针对这一问题，引入了一种通过随机生成元素三元组来计算CT的半自动方法。对于若干重要的定性演算，我们的方法能够在合理短的时间内建立正确的CT。这一点通过对区间代数、区域连接演算RCC-8、INDU演算以及有向点关系代数的应用得到了说明。我们的方法还可用于为定义在受限域上的定制化定性演算生成CT。
引用
@article{arxiv.1105.4224,
title = {On A Semi-Automatic Method for Generating Composition Tables},
author = {Weiming Liu and Sanjiang Li},
journal= {arXiv preprint arXiv:1105.4224},
year = {2011}
}
备注
15 pages