Skip to main content
SpringerLink
Log in

Interval Occlusion Calculus with Size Information

  • Conference paper
  • First Online:
Knowledge Science, Engineering and Management (KSEM 2021)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12816))

  • 1786 Accesses

Abstract

Spatial occlusion is an important way for human beings to build up the visual perceptions and the awareness of environments. Focusing on 2D disk-like objects, a new framework INterval and DUration (INDU) Occlusion Calculus is proposed. It includes 39 basic relations. This formalism extends Interval Occlusion Calculus with the relative size information. Also, it can be seen as an extension of INDU calculus with interval-based definitions of spatial occlusion. INDU Occlusion Calculus is closed under intersection, inverse and composition. And its running complexity results are presented. The partitions of the plane by the basic INDU occlusion relations are systematically discussed under different situations. These partitions decide the possible paths describing the continuous movements of the observers and the observed relations in the transition network. Several application scenarios observed by single or multiple viewpoints are discusses with examples.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: an overview. Fund. Inform. 46(1–2), 1–29 (2001)

    MathSciNet  MATH  Google Scholar 

  2. Cohn, A.G.: Qualitative spatial representation and reasoning techniques. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol. 1303, pp. 1–30. Springer, Heidelberg (1997). https://doi.org/10.1007/3540634932_1

    Chapter  Google Scholar 

  3. Cohn, A.G., Renz, J.: Qualitative spatial representation and reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 551–596. Elsevier (2008)

    Google Scholar 

  4. Chen, J., Cohn, A.G., Liu, D., Wang, S., Ouyang, J., Yu, Q: A survey of qualitative spatial representations. Knowl. Eng. Rev. 30(1), 106–136 (2015)

    Google Scholar 

  5. Petrov, A.P., Kuzmin, L.V.: Visual space geometry derived from occlusion axioms. J. Math. Imaging Vision 6(1), 291–308 (1996)

    Article  MathSciNet  Google Scholar 

  6. Galton, A.: Lines of sight. In: AISB Workshop on Spatial and Spatio-temporal Reasoning, pp.1–15. Springer, Berlin (1994)

    Google Scholar 

  7. Randell, D., Witkowski, M., Shanahan, M.: From images to bodies: modelling and exploiting spatial occlusion and motion parallax. In: Proceedings of 17th International Joint Conferences on Artificial Intelligence, pp. 57–66. Morgan Kaufmann, Seattle (2001)

    Google Scholar 

  8. Guha, P., Mukerjee, A., Venkatesh, K.S.: OCS-14: you can get occluded in fourteen ways. In: Proceedings of 22nd International Joint Conference on Artificial Intelligence, pp. 1665–1670. AAAI Press, Barcelona (2011)

    Google Scholar 

  9. Santos, P.E., Ligozat, G., Safi-Samghabad, M.: An occlusion calculus based on an interval algebra. In: Proceedings of Brazilian Conference on Intelligent Systems, pp. 128–133. IEEE Computer Society, Natal (2015)

    Google Scholar 

  10. Ligozat, G., Santos, P.E.: Spatial occlusion within an interval algebra. In: AAAI Spring Symposium - Technical Report, pp.103–106. AAAI Press, California (2015)

    Google Scholar 

  11. Allen, J.: Maintaining knowledge about temporal intervals. Commun. ACM 26(1), 832–843 (1983)

    Article  Google Scholar 

  12. Pujari, A.K., Vijaya Kumari, G., Sattar, A.: INDu: an interval & duration network. In: Foo, N. (ed.) AI 1999. LNCS (LNAI), vol. 1747, pp. 291–303. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-46695-9_25

    Chapter  Google Scholar 

  13. Balbiani, P., Condotta, J.-F., Ligozat, G.: On the consistency problem for the INDU calculus. J. Appl. Log. 4(2), 119–140 (2006)

    Article  MathSciNet  Google Scholar 

  14. Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley (2013)

    Google Scholar 

  15. Freksa, C.: temporal reasoning based on semi-intervals. Artif. Intell. 54(1), 199–227 (1992)

    Article  MathSciNet  Google Scholar 

  16. Kray, C.: The benefits of multi-agent systems in spatial reasoning. In: Proceedings of 14th International Florida Artificial Intelligence Research Society Conference, pp. 552–556. AAAI Press, Key West (2001)

    Google Scholar 

Download references

Acknowledgements

This paper is supported by National Natural Science Foundation of China under Grant Nos. 61502198, 61472161, 61402195, 61103091 and the Science and Technology Development Plan of Jilin Province under Grant No. 20160520099JH.

Author information

Authors and Affiliations

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

    Juan Chen, Haiyang Jia & Xianglu Zhou

  2. College of Software, Jilin University, Changchun, 130012, China

    Juan Chen, Ang Gao, Haiyang Jia & Yuanteng Xu

  3. Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, 130012, China

    Juan Chen & Haiyang Jia

Authors
  1. Juan Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ang Gao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Haiyang Jia
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yuanteng Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Xianglu Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Haiyang Jia .

Editor information

Editors and Affiliations

  1. Tsinghua University, Beijing, China

    Han Qiu

  2. Ibaraki University, Hitachi, Japan

    Cheng Zhang

  3. University of Kentucky, Lexington, KY, USA

    Zongming Fei

  4. Texas A&M University – Commerce, Commerce, TX, USA

    Meikang Qiu

  5. Princeton University, Princeton, NJ, USA

    Sun-Yuan Kung

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Chen, J., Gao, A., Jia, H., Xu, Y., Zhou, X. (2021). Interval Occlusion Calculus with Size Information. In: Qiu, H., Zhang, C., Fei, Z., Qiu, M., Kung, SY. (eds) Knowledge Science, Engineering and Management . KSEM 2021. Lecture Notes in Computer Science(), vol 12816. Springer, Cham. https://doi.org/10.1007/978-3-030-82147-0_38

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-82147-0_38

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-82146-3

  • Online ISBN: 978-3-030-82147-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation