On the Problem of Development of Methods and Algorithms Based on the Object-Oriented Logic Programming for Intelligent Video Monitoring of Laboratory Rats

The problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. The main task of the video monitoring is the analysis of the behavior of the animals in cognitive testing. An essential feature of the video records is in that the experiments are conducted in the same cage where the animal lives, that is, the background of the cage is sawdust. The color of the animals is about the same as the color of the sawdust; thus the detection of the animals is not a simple task. An additional difficulty is in that the videos were recorded simultaneously with electroencephalograms (EEG) in the animals; thus the head of the rat is connected with EEG cable that moves and causes false detections of recognition algorithms. In the paper, development of low-level algorithms for video analysis as well as logical methods for the analysis of the animal behavior is discussed. The methods and algorithms are implemented in the Actor Prolog object-oriented logic language.

[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]  Alexander Artikis,et al.  A logic programming approach to activity recognition , 2009, EiMM '10.

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

[4]  A. A. Morozov,et al.  REAL-TIME ANALYSIS OF VIDEO BY MEANS OF THE ACTOR PROLOG LANGUAGE , 2016 .

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

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

[7]  Nello Cristianini,et al.  An Introduction to Support Vector Machines and Other Kernel-based Learning Methods , 2000 .

[8]  PeopleIsmail,et al.  W 4 : Who ? When ? Where ? What ? A Real Time System for Detecting and Tracking , 1998 .

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

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

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

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

[13]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[14]  Alexei A. Morozov,et al.  Development of the Logic Programming Approach to the Intelligent Monitoring of Anomalous Human Behaviour , 2015, IMTA.

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