二维基本矩形主方向关系的原关系推理

Reasoning with the Original Relations of the Basic 2D Rectangular Cardinal Direction Relation

为了实现二维基本矩形主方向关系的原关系自动推理,进一步提高对空间方向关系的智能推理与预测,给出了二维基本矩形主方向关系的原关系推理规则,并对其正确性进行了证明。进而,提出了一个二维矩形主方向关系的原关系推理算法,该算法借助队列对解空间进行搜索和剪枝,实现了方向关系矩阵模型下二维矩形主方向关系原关系的自动推理与计算。理论分析和实验验证的结果表明:该算法是正确的、完备的;该算法有效地解决了二维基本矩形主方向关系原关系的自动推理问题,避免了复杂、烦琐的手工推理,增强了模型的自动计算与推理能力,为实现二维基本主方向关系的复合、反关系推理及一致性检验等问题的自动推理与分析奠定了基础,完善和提高了空间数据库对空间方向关系的智能分析与处理能力。

In order to realize automatic reasoning with the original relations of rectangular cardinal direction relations between regions and then to improve model’s power of intelligent reasoning and prediction for direction relations,corresponding inference rules are given and their correctness is proved.An algorithm is proposed to automatically compute the original relations of the rectangular cardinal direction relations defined by a direction relation matrix and to realize automatic reasoning and calculation of the original relationship of the cardinal direction of the two-dimensional rectangle under the direction relation matrix model.The algorithm searches and prunes the solution space with the help of a queue.Theoretical analysis and experimental results show that the algorithm is correct and complete.This algorithm effectively solves the problem of automatic reasoning with the original relations of the rectangular cardinal direction relations,avoids the complicated manual reasoning,and enhances model’s power of automatic computing and reasoning.This study lays a foundation for the problems of composing,inversing and consistence checking with cardinal direction relations,and then enhances the intelligent analysis and processing capacity of the spatial database for spatial direction relations.