论文部分内容阅读
空间变化是空间信息处理中的热点问题，标识变化是空间变化的关键问题之一．但是现有工作侧重表达，知识推理能力较弱．为此，研究了基于标识变化的时空推理问题．给出了基于多段图和集合论的标识变化形式化语义，在此基础上定义了二元关系模型．针对基本关系约束满足问题，提出了构造性求解算法，并证明了代数封闭算法可解；针对全关系约束满足问题，提出了一致场景算法．理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题，对此类问题其它同类模型尚不能很好解决．