Abstract
Our previous work focuses on how the nine tiles in the 2-D projection-based model for cardinal directions can be partitioned into sets based on horizontal and vertical constraints (called Horizontal and Vertical Constraints Model). In this paper, the 2-D Horizontal and Vertical Constraints model is adapted and extended into a 3-D Horizontal and Vertical Constraints Block model so that it facilitates easy reasoning with 3-D volumetric regions (i.e. without holes and single-pieced) in the real physical world (e.g. intelligent robotics, building construction, etc…). This model partitions a 3-D Euclidean space of a 3-D reference region into 9 blocks, namely, left, middlex, right, above, middley, below, left, middlez, right. The additional central block (or the Minimum Bounding Box of the 3-D reference region) is an intersection of the three blocks, namely, middlex, middley, and middlez. The added value of the 3-D Horizontal and Vertical Constraints Block model is the use of intuitive (i.e. commonsense) knowledge representation for 3-D orientation relations. However, the underlying formal representation of the model is facilitated through the use of the 3-D Cartesian Coordinate system, first order logic, and boolean algebraic expressions. The novel contribution of this research work is fostering reasoning with partial orientation relation related knowledge (note: these are called weak relations) and also integrating mereology into the 3-D model in order to render the representation of the model more expressive. Finally, composition of relations is the technique employed in this research to general new knowledge. Mereology is integrated into the model in order to render the model more expressively. Finally, several examples will demonstrate how the model could be used to make inferences about 3-D orientation relations.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11) (1983)
Balbiani, P., Condotta, J., del Cerro, L.F.: A new tractable subclass of the rectangle algebra. In: Proceedings of IJCAI (1999)
Bennett, B.: Some observations and puzzles about composing spatial and temporal relations. workshop on spatial and temporal reasoning. In: The 11th European Conference on Artificial Intelligence, ECAI, Amsterdam, The Netherlands, 8–12 August 1994
Chen, J., Liu, D., Jia, H., Zhang, C.: Cardinal direction relations in 3D space. In: International Conference on Knowledge Science, Engineering and Management, KSEM 2007, pp 623–629 (2007)
Chen, T., Schneider M.: Modeling cardinal directions in the 3D space with the objects interaction cube matrix. In: Proceedings of SAC 2010, 22–26 March 2010, Sierre, Switzerland (2010). ACM 978-1-60558-638-0/10/03
Fischer, A., Kolbe, T.H., Lang, F.: Integration of 2D and 3D reasoning for building reconstruction using a generic hierarchical model. In: Bonn, W.F. (ed.) Proceedings of the Workshop on Semantic Modeling for the Acquisition of Topographic Information from Images and Maps SMATI 1997. Birkhäuser-Verlag, Basel, pp. 159–180 (1997)
Frank, U.A.: Qualitative spatial reasoning with cardinal directions. J. Vis. Lang. Comput. 3, 343–371 (1992)
Freksa, C., Zimmerman, K.: On the utilization of spatial structures for cognitively plausible and efficient reasoning. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 261–266 (1992)
Goyal, R., Egenhofer, M.: Consistent queries over cardinal directions across different levels of detail. In: Tjoa, A.M., Wagner, R., Al-Zobaidie, A. (eds.) 11th International Workshop on Database and Expert Systems Applications, Greenwich, UK, pp. 876–880. IEEE Computer Society (2000)
Gruszczyński, R., Varzi, A.C.: Mereology Then And Now. Log. Log. Philos. 24(2015), 409–427 (2015). https://doi.org/10.12775/LLP.2015.024
Hou, R., Wu, T., Yang, J.: Reasoning with cardinal directions in 3D space based on block algebra. In: Proceedings of International Conference on Electronic Information Technology and Intellectualization (ICEITI 2016) (2016). ISBN: 978-1-60595-364-9
Jia, Z., et al.: 3D-based reasoning with blocks, support, and stability. In: IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 23–28 June 2013, Portland, Oregon, USA (2013). https://doi.org/10.1109/cvpr.2013.8
Kor, A.L., Bennett, B.: Composition for cardinal directions by decomposing horizontal and vertical constraints. In: Proceedings of AAAI 2003 Spring Symposium, 24–26 March, Stanford University, California (2003)
Kor, A.L., Bennett, B.: Reasoning mechanism for cardinal direction relations. In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNAI 6304, pp. 32–41. Springer, Heidelberg (2010)
Kor, A.L., Bennett, B.: A hybrid reasoning model for “whole and part” cardinal direction relations. Adv. Artif. Intell. 2013 (2013). Article ID 205261, http://dx.doi.org/10.1155/2013/205261
Lee, D.C., Gupta, A., Hebert, M., Kanade, T.: Estimating spatial layout of rooms using volumetric reasoning about objects and surfaces. In: Proceedings of the 23rd International Conference on Neural Information Processing Systems (NIPS 2010), pp. 1288–1296 (2010)
Leopold, J.L., Sabharwal, C.L., Ward, K.J.: Spatial relations between 3D objects: the association between, natural language, topology, and metrics. J. Vis. Lang. Comput. 27(2015), 29–37 (2015)
Li, S.J., Cohn, A.G.: Reasoning with topological and directional spatial information. Comput. Intell. (2012). https://doi.org/10.1111/j.1467-8640.2012.00431.x
Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput. 9, 23–44 (1998)
Liu, W.M., Li, S.J., Renz, J.: Combining RCC-8 with qualitative direction calculi: algorithms and complexity. In: Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, CA, pp. 854–859, July 2009
Pacheco, J., Escrig, M.T., Toledo, F.: Representing and reasoning on three-dimensional qualitative orientation point objects. In: Brazdil, P., Jorge, A. (ed.) Proceedings in the 10th Portuguese Conference on AI, EPIA 2001, Porto Portugal, Progress in Artificial Intelligence. LNAI, vol. 2258, pp. 298–305. Springer (2001). ISBN: 3-540-43030-X
Papadias, D., Theodoridis, Y.: Spatial relations, minimum bounding rectangles, and spatial data structures. University of California, Technical report KDBSLAB-TR-94-04 (1994)
Randell, D., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proceedings of the Third International Conference on Knowledge Representation and Reasoning (1992)
Sabharwal, C.L., Leopold, J.L.: Modeling cardinal direction relations in 3D for qualitative spatial reasoning. In: Prasath, R. et al. (ed.) Mining Intelligence and Knowledge Exploration, MIKE 2014, LNAI 8891, pp. 199–214. Springer International Publishing (2014)
Skiadopoulos, S., Koubarakis, M.: Composing cardinal direction relations. Artif. Intell. 152, 143–171 (2004)
Vieu, L.: A logical framework for reasoning about space. In: Frank, A.U., Campari, I. (eds.) Spatial Information Theory: A Theoretical Basis for GIS, Proceedings of European Conference, COSIT 1993, LNCS 716, Elba Island, Italy, pp. 5–53. Springer (1993)
Wang, M., Huang, Z., Li, S.: Inverse reasoning of 3D cardinal direction relations based on block algebra. J. Comput. Appl. 34(4), 1144–1148 (2014). https://doi.org/10.11772/j.issn.1001-9081.2014.04.1144
Zhang, X., et al.: Reasoning with cardinal directions: an efficient algorithm. In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, vol. 1, Chicago, Illinois, USA, 13–17 July 2008, pp. 387–392 (2008). ISBN: 978-1-57735-368-3
Acknowledgment
Deepest thanks to Stacia Low for her invaluable contribution to the diagrams.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Kor, AL. (2019). Qualitative Spatial Reasoning for Orientation Relations in a 3-D Context. In: Arai, K., Kapoor, S., Bhatia, R. (eds) Intelligent Computing. SAI 2018. Advances in Intelligent Systems and Computing, vol 858. Springer, Cham. https://doi.org/10.1007/978-3-030-01174-1_74
Download citation
DOI: https://doi.org/10.1007/978-3-030-01174-1_74
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01173-4
Online ISBN: 978-3-030-01174-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)