定性空间推理是处理常识性空间知识的一种人工智能方法,定性运动推理是定性空间推理的重要内容之一。已有工作大多限于空间拓扑、距离和方向等静态的、绝对的空间关系的表示和处理,较少考虑对象间动态变化和邻近关系等动态的、相对的空间关系的表示和处理。针对上述问题,本文研究基于Voronoi图空间邻近关系的定性运动推理方法。具体内容包括：1.提出基于Voronoi图邻近关系的定性运动表示方法。定义静态、动态Voronoi图空间邻近关系,证明邻近关系的连续性,在此基础上,给出概念邻域、定性位置和定性路径等定义,进而给出定性运动的表示。2.设计并实现定性位置及其概念邻域计算的平面扫描算法,分析了算法的时间复杂性。3.设计并实现运动点定性位置的推理算法。应用桶排序技术建立定性位置索引,利用运动点的不完整Voronoi图空间邻近关系及其变化,来推理运动点的定性位置,分析了算法的时间复杂性。4.设计并实现定性位置间最短路径的启发式搜索算法,并分析了算法的搜索空间。5.设计并实现具有观察者角度的定性路径推理算法。利用运动点定性运动引起的Voronoi图动态边集,并以定性距离为度量,来推理运动点的定性运动路径。