Inverse reasoning of 3D cardinal direction relations based on block algebra
WANG Miao1,HUANG Zhiguo2,LI Song3
1. College of Computer, Henan Institute of Engineering, Zhengzhou Henan 451191, China
2. College of Software, Henan Institute of Engineering, Zhengzhou Henan 451191, China
3. School of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150080, China
In order to enrich and improve the ability of the existing models for reasoning and predicting with 3D cardinal direction relations and enhance the usability of the existing models, and then better meet the demands of real applications for complex 3D spatial data, the inverse reasoning of 3D cardinal direction relations was studied. After deeply studying the theory of n-dimensional block algebra, an algorithm for computing the inverse of the basic 3D cardinal direction relations on the basis of 3D block algebra was devised. Theoretical analysis and the results of the example show that the proposed algorithm is correct and complete. This work can better enhance the power of intelligent analysis and processing for the complex 3D direction relations of the spatial database.
王淼 黄治国 李松. 基于代数理论的三维主方向关系的反关系推理[J]. 计算机应用, 2014, 34(4): 1144-1148.
WANG Miao HUANG Zhiguo LI Song. Inverse reasoning of 3D cardinal direction relations based on block algebra. Journal of Computer Applications, 2014, 34(4): 1144-1148.
WANG M, LI S. Research survey on formal description for direction relations [J]. Journal of Computer Applications, 2013, 33(5): 1324-1329. (王淼,李松阳.空间方向关系形式化描述研究进展[J].计算机应用,2013,33(5):1324-1329.)
[2]
ZHANG X, LIU W, LI S, et al.Reasoning with cardinal directions: an efficient algorithm [C]// Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence. Menlo Park, California: AAAI Press, 2008: 387-392.
[3]
LIU Y, HAO Z. Consistency checking for cardinal direction relations based on MBR [J]. Journal of Software, 2006, 17(5): 977-982.(刘永山,郝忠孝.基于MBR 的主方向关系一致性检验[J].软件学报,2006,17(5):977-982.)
[4]
WANG J, JIANG G, GUO R. Research for inverse operation of spatial direction relation [J]. Journal of Geomatics Science and Technology, 2008, 25(5): 324-328. (王净,江刚武,郭锐.空间方向关系的反转运算[J].测绘科学技术学报,2008,25(5):324-328.)
[5]
WANG M, HE L, LI S. Research on inversing the basic cardinal direction relation [J]. Application Research of Computers, 2013, 28(1): 2766-2769. (王淼,何莉,李松.基本主方向关系的反关系推理[J].计算机应用研究,2013, 28(1):2766-2769.)
[6]
GOYAL R, EGENHOFER M J. Similarity of cardinal directions [C]// Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases. New York: ACM, 2001: 36-58.
[7]
WANG M, HAO Z. Qualitative representation and reasoning on direction relation of three-dimension space [J]. Computer Engineering, 2009, 35(15): 22-26. (王淼,郝忠孝.三维空间方向关系的定性描述与推理[J].计算机工程,2009,35(15):22-26.)
[8]
HAO X, ZHANG L, LI S. 3DR44 direction relation representation model in three dimensional space [J]. Computer Engineering, 2011, 37(1): 75-77. (郝晓红,张丽平,李松.三维空间中3DR44方向关系表示模型[J].计算机工程,2011,37(1):75-77.)
[9]
HAO X, LI S, ZHANG L. Representation model of 3DR44-4d orientation relation [J]. Computer Engineering, 2012, 38(3): 57-59. (郝晓红,李松,张丽平. 3DR44-4d方位关系表示模型[J].计算机工程,2012,38(3):57-59.)
[10]
WANG M, LIU X, LIU Y. A model for cardinal direction relations in 3D space [J]. ICIC Express Letters, 2013, 7(2): 389-396.
[11]
BALBIANI P, CONDOTTA J-F, del CERRO L F. A tractable subclass of the block algebra: constraint propagation and preconvex relations [C]// EPIA '99: Proceedings of the 9th Portuguese Conference on Artificial Intelligence, LNCS 1695. Berlin: Springer-Verlag, 1999: 75-89.
[12]
WANG M, LI L. Reasoning with the inverse of 3D rectangular cardinal direction relations [J]. ICIC Express Letters, Part B: Applications, 2013, 4(3):581-587.
[13]
ALLEN J F. Maintaining knowledge about temporal intevrals [J]. Communications of the ACM, 1983, 26(11): 832-834.