一种基于规则和约束满足的定性空间关系推理方法

摘要

本发明公开了一种基于规则和约束满足的定性空间关系推理方法，基于规则推理用于推理出对象间的可能空间关系，使用约束满足问题的思想判定可能空间关系间的一致性，利用路径一致性法剔除将产生冲突的结果以保证可能空间关系间的一致性；保留剔除后的可能空间关系，从而实现空间关系的推理。本发明利用基于规则和约束满足的定性空间关系的推理方法可以验证结果间的一致性，避免了推理方法存在的可能缺陷。最重要的是，本发明方法能够保证推理结果间的一致性，与已有方法相比在一定程度上提高了推理的效率。