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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Gade, R., Moeslund, T.B.: Thermal cameras and applications: a survey. Mach. Vis. Appl. 25(1), 245–262 (2014)
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
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)
Morozov, A.A.: Actor Prolog. Programmirovanie 5, 66–78 (1994). in Russian
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)
Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recogn. Image Anal. 13(4), 640–649 (2003)
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)
Morozov, A.A.: A GitHub repository containing source codes of Actor Prolog built-in classes (2018). https://github.com/Morozov2012/actor-prolog-java-library
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
Morozov, A.A., Sushkova, O.S.: The intelligent visual surveillance logic programming Web Site (2018). http://www.fullvision.ru
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)
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)
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)
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
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
Rangel, J., Soldan, S., Kroll, A.: 3D thermal imaging: fusion of thermography and depth cameras. In: International Conference on Quantitative InfraRed Thermography (2014)
Acknowledgement
This research was supported by the Russian Foundation for Basic Research (grant number 16-29-09626-ofi-m).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
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)