RCDC公司 swMATH编号： 14739 软件作者： Navarrete，I.、Morales，A.、Sciavicco，G.、Cardenas，M。 描述： 矩形基数关系的实用程序包。定性空间表示和推理在各种空间应用中发挥着重要作用。本文介绍了一种定性空间推理的形式，我们称之为RCD，它利用矩形近似平面区域之间的基本方向关系进行定性空间推理。我们的演算假设推理任务的效率、简单性和表达能力之间有一个很好的平衡，这使它适合应用。我们使用嵌入约束满足问题范式的方法来处理空间推理。我们从区间代数和矩形代数的上下文中，利用众所周知的凸关系概念，确定了完整微积分的一个大的可处理子类，从而可以利用定性约束网络中表示的空间配置的确定、不确定或不精确知识进行有效推理。对于这样容易处理的片段，我们提出了各种多项式算法来解决一致性问题，并通过不同约束语言表示的关系之间的适当转换来找到一致的场景和最小网络。 主页： http://sites.google.com/site/aikespatial/RCDC 相关软件： XPath（XPath） 引用于： 1文件 3位作者引用 1 Cardenas-Viedma，M.Antonia 1 伊莎贝尔·纳瓦雷特 1 圭多·西亚维科 连载1篇 1 数学与人工智能年鉴 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文