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

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.

[1]  Alexei A. Morozov,et al.  Object-oriented logic programming of 3D intelligent video surveillance: The problem statement , 2017, 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE).

[2]  Thomas B. Moeslund,et al.  Thermal cameras and applications: a survey , 2013, Machine Vision and Applications.

[3]  A. Morozov,et al.  Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics , 1999 .

[4]  Alexei A. Morozov,et al.  A Translator of Actor Prolog to Java , 2015, Challenge+DC@RuleML.

[5]  Alexei A. Morozov,et al.  OBJECT-ORIENTED LOGIC PROGRAMMING OF 3D INTELLIGENT VIDEO SURVEILLANCE SYSTEMS: THE PROBLEM STATEMENT , 2017 .

[6]  Hideo Saito,et al.  Visualization of Temperature Change Using RGB-D Camera and Thermal Camera , 2014, ECCV Workshops.

[7]  A. A. Morozov,et al.  An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet 1 , 2001 .

[8]  Alexei A. Morozov,et al.  Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications , 2016, MICAI.

[9]  Samuel Soldan,et al.  3D Thermal Imaging: Fusion of Thermography and Depth Cameras , 2014 .

[10]  Alexei A. Morozov Operational Approach to the Modified Reasoning , Based on the Concept of Repeated Proving and Logical Actors , 2007 .

[11]  Song Han,et al.  An Accurate Calibration Method of a Multi Camera System , 2017, LSMS/ICSEE.

[12]  A. A. Morozov Logic Object-Oriented Model of Asynchronous Concurrent Computations 1 , 2003 .