论文部分内容阅读
约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系是空间关系的重要组成部分,用以确定空间对象的方位。本文应用约束满足问题的方法,利用空间方向关系约束的谓词形式构造X图和Y图来检查约束的一致性,给出了进行空间方向关系推理的一个算法。
Constraint satisfaction problem is a research field of artificial intelligence. Problems such as searching and planning can be transformed into constraint satisfaction problem and constraint satisfaction method can be effectively used to solve the problem. Directional relationship is an important part of the spatial relationship, to determine the orientation of the spatial object. In this paper, we use the method of constraint satisfaction to construct the X and Y graphs by using the predicate of the spatial orientation constraint to check the consistency of the constraints, and give an algorithm for the spatial orientation relation reasoning.