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