半定性约束满足问题求解

›› 2012, Vol. 42 ›› Issue (04): 942-946.

半定性约束满足问题求解

王生生, 刘大有, 谷方明, 刘东, 杨峰, 刘辉武

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2010-10-15 出版日期:2012-07-01 发布日期:2012-07-01
通讯作者: 谷方明(1977-),男,讲师.研究方向:人工智能.E-mail:gufun@jlu.edu.cn E-mail:gufun@jlu.edu.cn
基金资助:
教育部留学回归人员科研启动基金项目;国家自然科学基金重点项目(61133011);吉林大学科学前沿与交叉学科创新项目(450060481091);吉林大学青年教师创新项目(450060481194).

Solution for semi-qualitative constraint satisfaction problems

WANG Sheng-sheng, LIU Da-you, GU Fang-ming, LIU Dong, YANG Feng, LIU Hui-wu

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2010-10-15 Online:2012-07-01 Published:2012-07-01

摘要/Abstract

摘要： 从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。

关键词: 人工智能, 定性空间推理, 半定性约束满足问题, 区域连接演算, 空间对象布尔运算

Abstract: Motivated by the requirement of the geographical information system and ambient intelligence, the Semi-Qualitative Constraint Satisfaction Problem (SQCSP) is proposed, and some preliminary results are obtained. The SQCSP of interval algebra and its extension model can be determined Qualitative Constraint Satisfaction Problem (QCSP). A polynomial-time decision algorithm of RCC5 is given. The SQCSP of RCC8 is a Non-deterministic Polynomial time (NP)-complete problem. A polynomial-time decision algorithm with constriction is given. The correctness proofs and instance algorithms for the above problems are provided. Finally, QCSP with boolean operations on variables is solved using SQCSP algorithm.

Key words: artificial intelligence, qualitative spatial reasoning, semi-qualitative constraint satisfaction problems, region connection calculus, boolean operations on spatial objects

中图分类号:

TP182

王生生, 刘大有, 谷方明, 刘东, 杨峰, 刘辉武. 半定性约束满足问题求解[J]. , 2012, 42(04): 942-946.

WANG Sheng-sheng, LIU Da-you, GU Fang-ming, LIU Dong, YANG Feng, LIU Hui-wu. Solution for semi-qualitative constraint satisfaction problems[J]. , 2012, 42(04): 942-946.

参考文献

[1] Cohn G, Renz J. Qualitative Spatial Representation and Reasoning[M].van Hermelen F, Lifschitz V, Porter B, eds, Handbook of Knowledge Representation, New York:Elsevier, 2007.
[2] Allen J F. Maintaining knowledge about temporal intervals[J]. Communications of the ACM, 1983:832-843.
[3] Randell David A, Cui Zhan, Cohn Anthony. A spatial logic based on regions and connection//Proceedings of the Third International Conference (KR'92),Bernhard Nebel, Charles Rich, William Swartout, eds, Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, CA,1992:165-176.
[4] Li San-jiang. On topological consistency and realization[J]. Constraints, 2006,11(1):31-51.
[5] Liu Wei-ming, Wang Sheng-sheng, Li San-jiang, et al. Solving qualitative constraints involving landmarks//LNCS,2011,6876:523-537.

相关文章 15

[1]	董飒, 刘大有, 欧阳若川, 朱允刚, 李丽娜. 引入二阶马尔可夫假设的逻辑回归异质性网络分类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1571-1577.
[2]	顾海军, 田雅倩, 崔莹. 基于行为语言的智能交互代理[J]. 吉林大学学报(工学版), 2018, 48(5): 1578-1585.
[3]	王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4]	张浩, 占萌苹, 郭刘香, 李誌, 刘元宁, 张春鹤, 常浩武, 王志强. 基于高通量数据的人体外源性植物miRNA跨界调控建模[J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5]	黄岚, 纪林影, 姚刚, 翟睿峰, 白天. 面向误诊提示的疾病-症状语义网构建[J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6]	李雄飞, 冯婷婷, 骆实, 张小利. 基于递归神经网络的自动作曲算法[J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7]	刘杰, 张平, 高万夫. 基于条件相关的特征选择方法[J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8]	王旭, 欧阳继红, 陈桂芬. 基于多重序列所有公共子序列的启发式算法度量多图的相似度[J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9]	杨欣, 夏斯军, 刘冬雪, 费树岷, 胡银记. 跟踪-学习-检测框架下改进加速梯度的目标跟踪[J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10]	刘雪娟, 袁家斌, 许娟, 段博佳. 量子k-means算法[J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11]	曲慧雁, 赵伟, 秦爱红. 基于优化算子的快速碰撞检测算法[J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12]	李嘉菲, 孙小玉. 基于谱分解的不确定数据聚类方法[J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13]	邵克勇, 陈丰, 王婷婷, 王季驰, 周立朋. 无平衡点分数阶混沌系统全状态自适应控制[J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14]	王生生, 王创峰, 谷方明. OPRA方向关系网络的时空推理[J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15]	马淼, 李贻斌. 基于多级图像序列和卷积神经网络的人体行为识别[J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed