基于动作的动态空间推理

谢玉枚,高海燕

(1.福建江夏学院电子信息科学学院,福建 福州350108; 2.厦门学院电气与自动化学院,福建 厦门 361024)

0 引 言

虽然现阶段在定性空间推理中有一套相对成熟的表示模型和推理方法，但是空间信息的表达和推理强调的往往是静态空间的配置。在实际应用中，多数智能系统处理的定性空间信息都是动态变化的，动态空间信息的表达和推理尤为重要。特别是近年来，动态定性空间推理的研究在定性空间领域得到越来越多的关注，已经成为定性空间推理中的研究热点[1]。

大多数应用领域涉及空间、动作和空间变化的交互[2]，例如机器人导航、协同自治Agent和自动规划等领域，它们需要处理的动态变化空间信息通常是由动作造成的。时间信息隐藏在动态变化的状态中，并非单独出现。而动态关系变化的研究主要侧重于动作产生的空间关系的改变，因此不需要在已经很复杂的空间表示中再加入时间维度，时空信息的表示推理变得简单很多。

Freksa[3]所提出的概念邻域图在研究动态空间关系变化的方法中得到广泛应用，几乎所有的定性空间推理模型中有概念邻域图的表示。一系列处理变化的动态空间关系的方法在此基础上提出[4-6]。2006年，Bhatt等人[7]用场景演算对空间拓扑关系的变化进行形式化描述，同时表示了空间推理中的基本概念空间关系约束、复合表和概念邻域图，但是没有对引起空间拓扑关系变化的动作和事件具体表示和分析。……