Advertisement

Qualitative Spatial Reasoning for Orientation Relations in a 3-D Context

  • Ah-Lian KorEmail author
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 858)

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.

Keywords

Orientation composition table reasoning mereology qualitative spatial reasoning 

Notes

Acknowledgment

Deepest thanks to Stacia Low for her invaluable contribution to the diagrams.

References

  1. 1.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11) (1983)CrossRefGoogle Scholar
  2. 2.
    Balbiani, P., Condotta, J., del Cerro, L.F.: A new tractable subclass of the rectangle algebra. In: Proceedings of IJCAI (1999)Google Scholar
  3. 3.
    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 1994Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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/03Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Frank, U.A.: Qualitative spatial reasoning with cardinal directions. J. Vis. Lang. Comput. 3, 343–371 (1992)CrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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.024MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    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-9Google Scholar
  12. 12.
    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
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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
  16. 16.
    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)Google Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    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.xMathSciNetCrossRefGoogle Scholar
  19. 19.
    Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput. 9, 23–44 (1998)CrossRefGoogle Scholar
  20. 20.
    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 2009Google Scholar
  21. 21.
    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-XGoogle Scholar
  22. 22.
    Papadias, D., Theodoridis, Y.: Spatial relations, minimum bounding rectangles, and spatial data structures. University of California, Technical report KDBSLAB-TR-94-04 (1994)Google Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    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)Google Scholar
  25. 25.
    Skiadopoulos, S., Koubarakis, M.: Composing cardinal direction relations. Artif. Intell. 152, 143–171 (2004)MathSciNetCrossRefGoogle Scholar
  26. 26.
    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)Google Scholar
  27. 27.
    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.1144CrossRefGoogle Scholar
  28. 28.
    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-3Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.School of ComputingCreative Technologies and Engineering, Leeds Beckett UniversityLeedsUK

Personalised recommendations