Development of a method for intelligent video monitoring of abnormal behavior of people based on parallel object-oriented logic programming

A method for intelligent video monitoring of abnormal behavior of people is considered that is based on parallel object-oriented logic programming. The main idea of the method consists in the description of sought scenarios of abnormal behavior of people followed by analysis of video images by logic programming means (using first-order predicate logic). The distinctive features of this method are the use of the Actor Prolog object-oriented logic language and the translation of logic programs of intelligent video surveillance into the Java language. In this case, the object-oriented means of the logic language allow one to split a program into interacting parallel processes that implement various stages of video image processing and scene analysis, while translation into the Java language guarantees the necessary reliability, portability, and openness of the software for intelligent video monitoring, including the possibility of using modern libraries of low-level image processing.

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

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

[3]  Bernhard Rinner,et al.  Real time complex event detection for resource-limited multimedia sensor networks , 2011, 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS).

[4]  Larry S. Davis,et al.  VidMAP: video monitoring of activity with Prolog , 2005, IEEE Conference on Advanced Video and Signal Based Surveillance, 2005..

[5]  Alexander Artikis,et al.  A probabilistic logic programming event calculus , 2012, Theory and Practice of Logic Programming.

[6]  Stephen O'Hara.  VERSA- Video event recognition for surveillance applications , 2008 .

[7]  Enrico Pontelli,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Justifications for Logic Programs under Answer Set Semantics , 2022 .

[8]  M. Inés Torres,et al.  Pattern Recognition and Image Analysis , 2017, Lecture Notes in Computer Science.

[9]  Alexei A. Morozov,et al.  Development of Concurrent Object-Oriented Logic Programming Platform for the Intelligent Monitoring of Anomalous Human Activities , 2014, BIOSTEC.

[10]  Alexei A. Morozov.  Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents , 2003, ICLP.

[11]  Jin Young Choi,et al.  Intelligent visual surveillance — A survey , 2010 .

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

[13]  Alexei A. Morozov.  On Semantic Link Between Logic , Object-Oriented , Functional and Constraint Programming ? , 2002 .

[14]  Alexei A. Morozov,et al.  Development of Concurrent Object-oriented Logic Programming System to Intelligent Monitoring of Anomalous Human Activities , 2014, BIODEVICES.

[15]  Soraia Raupp Musse,et al.  Crowd Analysis Using Computer Vision Techniques [ A survey ] , 2010 .

[16]  Claus Bahlmann,et al.  Predicate logic based image grammars for complex pattern recognition , 2009, CVPR Workshops.

[17]  Alexander Artikis,et al.  Behaviour Recognition from Video Content: a Logic Programming Approach , 2010, Int. J. Artif. Intell. Tools.

[18]  Alexei A. Morozov.  Visual Logic Programming Method Based on Structural Analysis and Design Technique , 2007, ICLP.

[19]  Soraia Raupp Musse,et al.  Crowd Analysis Using Computer Vision Techniques , 2010, IEEE Signal Processing Magazine.

[20]  J.K. Aggarwal,et al.  Human activity analysis , 2011, ACM Comput. Surv..