Development of Methods and Algorithms Based on Object-Oriented Logic Programming for Video Monitoring of Laboratory Rodents

The problem of video monitoring of laboratory rodents by the means of object-oriented logic programming is considered. The videos are produced in neurophysiological experiments on the study of convulsive electrical activity of the brain cortex. Videos of behaviour of laboratory rats were recorded simultaneously with electroencephalograms (EEG) in the animals. A comparison of EEG data with the behaviour of the animals is necessary because sharp motions of the animals can result in EEG signals that are very similar to the epileptic discharges. Thus, the first task of the video monitoring is recognition of the sharp motions of the animals and using this information for proper interpretation of the results of the experiments. The second task of the video monitoring is analysis of behaviour of animals in cognitive testing. 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 colour of the animals is about the same as the colour of the sawdust; thus the detection of the animals is not a simple task. In the paper, development of low-level algorithms for video analysis as well as logical methods for the analysis of the animal behaviour is discussed. The methods and algorithms are implemented in the Actor Prolog object-oriented logic language.

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

[2]  G. Riedel,et al.  Comparison of automated home-cage monitoring systems: Emphasis on feeding behaviour, activity and spatial learning following pharmacological interventions , 2014, Journal of Neuroscience Methods.

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

[4]  Berry M. Spruijt,et al.  Reproducibility and relevance of future behavioral sciences should benefit from a cross fertilization of past recommendations and today's technology: “Back to the future” , 2014, Journal of Neuroscience Methods.

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

[6]  Vittorio Murino,et al.  Automatic Visual Tracking and Social Behaviour Analysis with Multiple Mice , 2013, PloS one.

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

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

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

[10]  P. Perona,et al.  utomated multi-day tracking of marked mice for the analysis of ocial behaviour , 2013 .

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

[12]  Larry L. Constantine,et al.  Back to the future , 2001, CACM.

[13]  C. Braak,et al.  An automated system for the recognition of various specific rat behaviours , 2013, Journal of Neuroscience Methods.

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

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

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

[17]  Jyh-Shing Roger Jang,et al.  ANFIS: adaptive-network-based fuzzy inference system , 1993, IEEE Trans. Syst. Man Cybern..

[18]  A. A. Morozov Development of a method for intelligent video monitoring of abnormal behavior of people based on parallel object-oriented logic programming , 2015, Pattern Recognition and Image Analysis.

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

[20]  Michael Beetz,et al.  Perception for Everyday Human Robot Interaction , 2015, KI - Künstliche Intelligenz.

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

[22]  Thomas Banhazi,et al.  A brief review of the application of machine vision in livestock behaviour analysis. , 2016 .

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

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

[25]  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).

[26]  L P Noldus,et al.  EthoVision: A versatile video tracking system for automation of behavioral experiments , 2001, Behavior research methods, instruments, & computers : a journal of the Psychonomic Society, Inc.

[27]  Larry S. Davis,et al.  W/sup 4/: Who? When? Where? What? A real time system for detecting and tracking people , 1998, Proceedings Third IEEE International Conference on Automatic Face and Gesture Recognition.

[28]  Alexander Artikis,et al.  A logic programming approach to activity recognition , 2009, EiMM '10.

[29]  O. Feinerman,et al.  Automated long-term tracking and social behavioural phenotyping of animal colonies within a semi-natural environment , 2013, Nature Communications.

[30]  Andrea Cavallaro,et al.  Video-Based Human Behavior Understanding: A Survey , 2013, IEEE Transactions on Circuits and Systems for Video Technology.