| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于标识变化的时空推理 |
| 作者 | 王生生1) 刘大有1) 谷方明1) 吕倩楠1) 温长吉2) |
| 作者单位 | 1)(吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室 长春 130012) 2)(吉林农业大学信息技术学院 长春 130118) |
| 发表年份 | 2012 |
| 发表月份 | 2期(210—217) |
| 文章摘要 | 摘要 空间变化是空间信息处理中的热点问题，标识变化是空间变化的关键问题之一.但是现有工作侧重表达，知识推理能力较弱.为此，研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义，在此基础上定义了二元关系模型.针对基本关系约束满足问题，提出了构造性求解算法，并证明了代数封闭算法可解；针对全关系约束满足问题，提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题，对此类问题其它同类模型尚不能很好解决. 关键词 时空推理；标识变化；约束满足问题；代数封闭算法；弱复合 中图法分类号 TP18 DOI号: 10.3724/SP.J.1016.2012.00210 |