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

Previous Articles     Next Articles

Solution for semi-qualitative constraint satisfaction problems

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

  1. College of Computer Science and Technology, Jilin University, Changchun 130012, China
  • Received:2010-10-15 Online:2012-07-01 Published:2012-07-01

PDF (PC)

467

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

CLC Number: 

  • TP182
[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.
[1] DONG Sa, LIU Da-you, OUYANG Ruo-chuan, ZHU Yun-gang, LI Li-na. Logistic regression classification in networked data with heterophily based on second-order Markov assumption [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1571-1577.
[2] GU Hai-jun, TIAN Ya-qian, CUI Ying. Intelligent interactive agent for home service [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1578-1585.
[3] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Measurement of graph similarity based on vertical dimension sequence dynamic time warping method [J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4] ZHANG Hao, ZHAN Meng-ping, GUO Liu-xiang, LI Zhi, LIU Yuan-ning, ZHANG Chun-he, CHANG Hao-wu, WANG Zhi-qiang. Human exogenous plant miRNA cross-kingdom regulatory modeling based on high-throughout data [J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5] HUANG Lan, JI Lin-ying, YAO Gang, ZHAI Rui-feng, BAI Tian. Construction of disease-symptom semantic net for misdiagnosis prompt [J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6] LI Xiong-fei, FENG Ting-ting, LUO Shi, ZHANG Xiao-li. Automatic music composition algorithm based on recurrent neural network [J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7] LIU Jie, ZHANG Ping, GAO Wan-fu. Feature selection method based on conditional relevance [J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Heuristic algorithm of all common subsequences of multiple sequences for measuring multiple graphs similarity [J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9] YANG Xin, XIA Si-jun, LIU Dong-xue, FEI Shu-min, HU Yin-ji. Target tracking based on improved accelerated gradient under tracking-learning-detection framework [J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10] LIU Xue-juan, YUAN Jia-bin, XU Juan, DUAN Bo-jia. Quantum k-means algorithm [J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11] QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12] LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13] SHAO Ke-yong, CHEN Feng, WANG Ting-ting, WANG Ji-chi, ZHOU Li-peng. Full state based adaptive control of fractional order chaotic system without equilibrium point [J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14] WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15] MA Miao, LI Yi-bin. Multi-level image sequences and convolutional neural networks based human action recognition method [J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright © Journal of Jilin University(Engineering and Technology Edition), All Rights Reserved.
Tel: +86-431-85095297　Fax: +86-431-85094074　E-mail: xbgxb@jlu.edu.cn
Powered by Beijing Magtech Co. Ltd