基于标识变化的时空推理
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型.针对基本关系约束满足问题,提出了构造性求解算法,并证明了代数封闭算法可解;针对全关系约束满足问题,提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题,对此类问题其它同类模型尚不能很好解决.
时空推理、标识变化、约束满足问题、代数封闭算法、弱复合
35
TP18(自动化基础理论)
国家自然科学基金重点项目61133011;教育部留学回国人员科研启动基金;吉林大学科学前沿与交叉学科创新项目200903178;吉林大学种子基金
2012-04-27(万方平台首次上网日期,不代表论文的发表时间)
共8页
210-217