论文部分内容阅读
约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题.方位关系是空间关系的重要组成部分,用以确定空间对象间的一种顺序.本文研究了空间方位关系模型,给出了方位关系约束的一般表示形式.在此基础上,利用组合表推理给出了方位关系约束满足问题的一个推理求解算法,该算法的时间复杂度为O(n2).