Skip to main content

Development of Agent Logic Programming Means for Heterogeneous Multichannel Intelligent Visual Surveillance

  • Conference paper
  • First Online:
Book cover Advances in Artificial Intelligence - IBERAMIA 2018 (IBERAMIA 2018)

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

Included in the following conference series:

Abstract

Experimental means developed in the Actor Prolog parallel object-oriented logic language for implementation of heterogeneous multichannel intelligent visual surveillance systems are considered. These means are examined by the instance of a logic program for permanent monitoring of people’s body parts temperature in the area of visual surveillance. The logic program implements a fusion of heterogeneous data acquired by two devices: (1) 3D coordinates of the human body are measured using a time-of-flight (ToF) camera; (2) 3D coordinates of the human body skeleton are computed on the base of 3D coordinates of the body; (3) a thermal video is acquired using a thermal imaging camera. In the considered example, the thermal video is projected to the 3D surface of the human body; then the temperature of the human body is projected to the vertices and edges of the skeleton. A special logical agent (i.e., the logic program that is written in Actor Prolog) implements these operations in real-time and transfers the data to another logical agent. The latter agent implements a time average of the temperature of the human skeletons and displays colored 3D images of the skeletons; the average temperature of the vertices and edges of the skeletons is depicted by colors. The logic programming means under consideration are developed for the purpose of the implementation of logical analysis of video scene semantics in the intelligent visual surveillance systems.

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

Access this chapter

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. Gade, R., Moeslund, T.B.: Thermal cameras and applications: a survey. Mach. Vis. Appl. 25(1), 245–262 (2014)

    Article  Google Scholar 

  2. Han, S., Gu, X., Gu, X.: An accurate calibration method of a multi camera system. In: Fei, M., Ma, S., Li, X., Sun, X., Jia, L., Su, Z. (eds.) LSMS/ICSEE -2017. CCIS, vol. 761, pp. 491–501. Springer, Singapore (2017). https://doi.org/10.1007/978-981-10-6370-1_49

    Chapter  Google Scholar 

  3. Morozov, A., Obukhov, Y.: An approach to logic programming of intelligent agents for searching and recognizing information on the Internet. Pattern Recogn. Image Anal. 11(3), 570–582 (2001)

    Google Scholar 

  4. Morozov, A.A.: Actor Prolog. Programmirovanie 5, 66–78 (1994). in Russian

    Google Scholar 

  5. Morozov, A.A.: Actor Prolog: an object-oriented language with the classical declarative semantics. In: Sagonas, K., Tarau, P. (eds.) IDL 1999, pp. 39–53. France, Paris (1999)

    Google Scholar 

  6. Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recogn. Image Anal. 13(4), 640–649 (2003)

    Google Scholar 

  7. Morozov, A.A.: Operational approach to the modified reasoning, based on the concept of repeated proving and logical actors. In: Salvador Abreu, V.S.C. (ed.) CICLOPS 2007, Porto, Portugal, pp. 1–15 (2007)

    Google Scholar 

  8. Morozov, A.A.: A GitHub repository containing source codes of Actor Prolog built-in classes (2018). https://github.com/Morozov2012/actor-prolog-java-library

  9. Morozov, A.A., Polupanov, A.F.: Intelligent visual surveillance logic programming: implementation issues. In: Ströder, T., Swift, T. (eds.) CICLOPS-WLPE 2014, pp. 31–45. No. AIB-2014-09 in Aachener Informatik Berichte, RWTH Aachen University, June 2014

    Google Scholar 

  10. Morozov, A.A., Sushkova, O.S.: The intelligent visual surveillance logic programming Web Site (2018). http://www.fullvision.ru

  11. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: A translator of Actor Prolog to Java. In: Bassiliades, N., et al. (eds.) RuleML 2015 DC and Challenge. CEUR, Berlin (2015)

    Google Scholar 

  12. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: Object-oriented logic programming of 3D intelligent video surveillance: the problem statement. In: ISIE, pp. 1631–1636. IEEE Xplore Digital Library, Washington (2017)

    Google Scholar 

  13. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: Object-oriented logic programming of 3D intelligent video surveillance systems: the problem statement. RENSIT 2(9), 205–214 (2017)

    Article  Google Scholar 

  14. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: Towards the distributed logic programming of intelligent visual surveillance applications. In: Pichardo-Lagunas, O., Miranda-Jiménez, S. (eds.) MICAI 2016. LNCS (LNAI), vol. 10062, pp. 42–53. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-62428-0_4

    Chapter  Google Scholar 

  15. Nakagawa, W., et al.: Visualization of temperature change using RGB-D camera and thermal camera. In: Agapito, L., Bronstein, M.M., Rother, C. (eds.) ECCV 2014. LNCS, vol. 8925, pp. 386–400. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-16178-5_27

    Chapter  Google Scholar 

  16. Rangel, J., Soldan, S., Kroll, A.: 3D thermal imaging: fusion of thermography and depth cameras. In: International Conference on Quantitative InfraRed Thermography (2014)

    Google Scholar 

Download references

Acknowledgement

This research was supported by the Russian Foundation for Basic Research (grant number 16-29-09626-ofi-m).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexei A. Morozov .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Morozov, A.A., Sushkova, O.S. (2018). Development of Agent Logic Programming Means for Heterogeneous Multichannel Intelligent Visual Surveillance. In: Simari, G., Fermé, E., Gutiérrez Segura, F., Rodríguez Melquiades, J. (eds) Advances in Artificial Intelligence - IBERAMIA 2018. IBERAMIA 2018. Lecture Notes in Computer Science(), vol 11238. Springer, Cham. https://doi.org/10.1007/978-3-030-03928-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03928-8_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03927-1

  • Online ISBN: 978-3-030-03928-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics