@article{PRIA481,

author

=

{Alexei A. Morozov},

title

= {

Development of a Method for Intelligent Video Monitoring of Abnormal Behavior of People Based on Parallel Object-Oriented Logic Programming},

journal

=

"Pattern Recognition and Image Analysis",

year

=

2015,

volume

=

25,

number

=

3,

pages

=

"481--492",

url

=

"http://www.cplire.ru/Lab144/pria481.pdf",

abstract

= {

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.}

}

 

@inproceedings{RuleML2015Challenge,

author

= {

Alexei A. Morozov and Olga S. Sushkova and Alexander F. Polupanov},

title

=

{A Translator of Actor Prolog to Java},

editor

= {

N.Bassiliades and P.Fodor and A.Giurca and G.Gottlob and T.Kliegr and G.J.Nalepa and M.Palmirani and A.Paschke and M.Proctor and D.Roman and F.Sadri and N.Stojanovic},

booktitle

= {

{RuleML} 2015 {DC} and {C}hallenge. Proceedings of the 9th International {Rule Challenge} and the 5th {RuleML} Doctoral Consortium (Berlin, Germany, August 2-5)},

publisher

=

{CEUR},

address

=

{Berlin},

year

=

2015,

url

=

"https://www.csw.inf.fu-berlin.de/ruleml2015-ceur",

abstract

= {

Actor Prolog is a concurrent object-oriented logic language developed in IRE RAS. We demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework of the Intelligent Visual Surveillance Logic Programming project. The translator implements a set of high-level and low-level code optimization methods and generates a kind of the idiomatic (i.e., well-readable) source code in Java, that ensures a high speed, robustness, and openness of the executable code. Some applications of the Actor Prolog to Java translator are demonstrated, in particular, the real-time intelligent video surveillance, Actor Prolog with Java3D linking, and logic programming of Java applets.}

}

 

@inproceedings{RuleML2015Poster,

author

= {

Alexei A. Morozov and Olga S. Sushkova and Alexander F. Polupanov},

title

= {

An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language},

editor

= {

N.Bassiliades and P.Fodor and A.Giurca and G.Gottlob and T.Kliegr and G.J.Nalepa and M.Palmirani and A.Paschke and M.Proctor and D.Roman and F.Sadri and N.Stojanovic},

booktitle

= {

{RuleML} 2015 {DC} and {C}hallenge. Proceedings of the 9th International {Rule Challenge} and the 5th {RuleML} Doctoral Consortium (Berlin, Germany, August 2-5)},

publisher

=

{CEUR},

address

=

{Berlin},

year

=

2015,

url

=

"https://www.csw.inf.fu-berlin.de/ruleml2015-ceur",

abstract

= {

A method for the monitoring of anomalous human behaviour that is based on the logical description of complex human behaviour patterns and special kinds of blob (a separated area of a foreground image) motion statistical metrics is developed. The concurrent object-oriented logic language is used for the analysis of graphs of tracks of moving blobs; the graphs are supplied by low-level analysis algorithms implemented in a special built-in class of Actor Prolog. The blob motion statistics is collected by the low-level analysis procedures that are of the need for the discrimination of running people, people riding bicycles, and cars in a video scene. The first-order logic language is used for implementing the fuzzy logical inference based on the blob motion statistics. A research software platform is developed that is based on the Actor Prolog logic language and a state-of-the-art Prolog-to-Java translator for experimenting with the intelligent visual surveillance.}

}

 

@inproceedings{OGRW2014,

author

=

{Alexei A. Morozov and Alexander F. Polupanov},

title

= {

Development of the Logic Programming Approach to the Intelligent Monitoring of Anomalous Human Behaviour},

editor

=

{Dietrich Paulus and Christian Fuchs and Detlev Droege},

booktitle

= {

9th Open German-Russian Workshop on Pattern Recognition and Image Understanding ({OGRW} 2014), Proceedings},

publisher

=

{University of Koblenz-Landau},

address

=

{Koblenz},

year

=

2015,

month

=

5,

pages

=

"82--85",

url

=

"https://kola.opus.hbz-nrw.de/frontdoor/index/index/docId/915",

URN

=

{urn:nbn:de:hbz:kob7-2015051206},

abstract

= {

A research software platform is developed that is based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for experimenting with the intelligent visual surveillance. We demonstrate an example of the application of the method to the monitoring of anomalous human behaviour that is based on the logical description of complex human behaviour patterns and special kinds of blob motion statistics. The logic language is used for the analysis of graphs of tracks of moving blobs; the graphs are supplied by low-level analysis algorithms implemented in a special built-in class of Actor Prolog. The blob motion statistics is collected by the low-level analysis procedures that are of the need for the discrimination of running people, people riding bicycles, and cars in a video scene. The first-order logic language is used for implementing the fuzzy logical inference based on the blob motion statistics.}

}

 

@inproceedings{CICLOPS2014,

author

=

{Alexei A. Morozov and Alexander F. Polupanov},

title

= {

Intelligent Visual Surveillance Logic Programming: Implementation Issues},

editor

=

{Thomas Str\"oder and Terrance Swift},

booktitle

= {

Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 (July 17-18, 2014, Vienna, Austria)},

publisher

=

{RWTH Aachen University},

series

=

{Aachener Informatik Berichte},

year

=

2014,

number

=

"AIB-2014-09",

month

=

{jun},

pages

=

"31--45",

url

=

"http://aib.informatik.rwth-aachen.de/2014/2014-09.pdf",

abstract

= {

The main idea of the logic programming approach to the intelligent video surveillance is in using a first order logic for describing complex events and abstract concepts like anomalous human activity, i.e. brawl, sudden attack, armed attack, leaving object, loitering, pick pocketing, personal theft, immobile person, etc. We consider main implementation issues of our approach to the intelligent video surveillance logic programming: object-oriented logic programming of concurrent stages of video processing, translating video surveillance logic programs to fast Java code, embedding low-level means for video storage and processing to the logic programming system.}

}

 

@inproceedings{BIODEVICES2014EXTENDED,

author

= {

Alexei A. Morozov and Abhishek Vaish and Alexander F. Polupanov and Vyacheslav E. Antciperov and Igor I. Lychkov and Aleksandr N. Alfimtsev and Vladimir V. Deviatkov},

title

= {

Development of concurrent object-oriented logic programming platform for the intelligent monitoring of anomalous human activities},

editor

=

{Guy Plantier and Tanja Schultz and Ana Fred and Hugo Gamboa},

booktitle

= {

Biomedical Engineering Systems and Technologies. 7th International Joint Conference, {BIOSTEC} 2014, Angers, France, March 3-6, 2014, Revised Selected Papers},

publisher

=

{Springer International Publishing},

series

=

{CCIS},

volume

=

511,

year

=

2015,

pages

=

"82--97",

abstract

= {

The logic programming approach to the intelligent monitoring of anomalous human activity is considered. The main idea of this approach is to use first order logic for describing abstract concepts of anomalous human activity, i.e. brawl, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We have created a research led software platform based on the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for examining the intelligent visual surveillance. A method of logical rules creation is considered in relation to the analysis of anomalous human behavior. The problem of creation of special built-in classes of Actor Prolog for the low-level video processing is discussed.}

}

 

@inproceedings{BIODEVICES2014,

author

= {

Alexei A. Morozov and Abhishek Vaish and Alexander F. Polupanov and Vyacheslav E. Antciperov and Igor I. Lychkov and Aleksandr N. Alfimtsev and Vladimir V. Deviatkov},

title

= {

Development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities},

editor

= {

Alberto Cliquet Jr. and Guy Plantier and Tanja Schultz and Ana Fred and Hugo Gamboa},

booktitle

= {

BIODEVICES 2014: Proceedings of the International Conference on Biomedical Electronics and Devices},

publisher

=

{SCITEPRESS},

year

=

2014,

pages

=

"53--62",

url

=

"http://www.cplire.ru/Lab144/biodevices2014.pdf",

abstract

= {

A logic programming approach to the intelligent monitoring of anomalous human activity is considered. The main idea of this approach is in using of a first order logic for describing abstract concepts of anomalous human activity, i.e. brawls, sudden attack, armed attack, leaving object, loitering, pickpocketing, personal theft, immobile person, etc. We use the Actor Prolog concurrent object-oriented logic language and a state-of-the-art Prolog-to-Java translator for efficient implementation of logical inference on video scenes. A logical rules generation methodology is considered in relation to the analysis of anomalous human behaviour. The problem of creation of special built-in classes of Actor Prolog for the low-level video processing is discussed.}

}

 

@inproceedings{Samara2013,

author

=

{Alexei A. Morozov},

title

= {

Development of logic programming approach to intelligent monitoring of anomalous human activities},

booktitle

= {

11-th International Conference on Pattern Recognition and Image Analysis: New Information Technologies (PRIA-11-2013): Conference Proceedings (Samara, September 23--28, 2013)},

address

=

"Samara",

publisher

=

{IPSI RAS},

year

=

2013,

volume

=

"II",

pages

=

"670--673",

url

=

"http://www.cplire.ru/Lab144/samara2013.pdf",

abstract

= {

A logic programming approach to the intelligent monitoring of anomalous human activities is considered. The main idea of this approach is using of a first order logic for describing abstract concepts of anomalous human activities (like tussle, leaving object, loitering, pickpocketing, personal theft, sudden attack, armed attack, immobile person, etc.). In the paper, we have described our first experiments in this area. We have used a Prolog-to-Java translator for efficient implementation of logical inference on video scenes. The problem of creation of special built-in classes of the Actor Prolog concurrent logic language for the low-level video processing is discussed.}

}

 

@inproceedings{ICLP07,

author

=

{Alexei A. Morozov},

title

= {

Visual Logic Programming Method Based on Structural Analysis and Design Technique},

editor

=

{Veronica Dahl and Ilkka Niemel\"a},

booktitle

=

{Logic Programming: 23rd International Conference, {ICLP} 2007},

publisher

=

{Springer-Verlag},

series

=

{LNCS 4670},

year

=

2007,

pages

=

"436--437",

url

=

"http://www.cplire.ru/Lab144/iclp07.pdf",

abstract

= {

The convergence of logic and visual languages is recognized as a promising approach for both the logic programming automation and enhancement of visual modeling/programming methods. The distinction of our approach is in that we unite the Actor Prolog concurrent object-oriented logic language with the Structural Analysis and Design Technique (SADT) diagrams.}

}

 

@inproceedings{CICLOPS07,

author

=

{Alexei A. Morozov},

title

= {

Operational Approach to the Modified Reasoning, Based on the Concept of Repeated Proving and Logical Actors},

editor

=

{Salvador Abreu and Vitor Santos Costa},

booktitle

= {

Proceedings of the Seventh Colloquium on Implementation of Constraint and Logic Programming ({CICLOPS} 2007)},

month

=

{sep},

year

=

2007,

address

=

"Porto, Portugal",

pages

=

"1--15",

note

= {

The workshop held in conjunction with the {ICLP}, Porto, Portugal, September 8, 2007},

url

=

"http://www.cplire.ru/Lab144/ciclops07.pdf",

abstract

= {

The message of this paper is the following: there is one more basic principle of operational semantics of logic programming (besides backtracking, recursion, etc.) that gives a solution of challenging problem of combining strict declarative semantics of logic languages with the dynamic behavior (that includes destructive assignment operations and interaction with dynamic environment). We have developed this principle, named repeated proving, in the Actor Prolog logic language. In this paper the repeated proving principle is explained with the help of an operational semantics (abstract machine) for sequential logic programs enhanced with logical actors. The problems of soundness and completeness of the control strategy are considered.}

}

   

 

@inproceedings{ICLP03,

author

=

{Alexei A. Morozov},

title

= {

Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of {W}eb Agents},

editor

=

{Catuscia Palamidessi},

booktitle

=

{Logic Programming: 19th International Conference, {ICLP}},

publisher

=

{Springer-Verlag},

series

=

{LNCS 2916},

year

=

2003,

pages

=

"494--495",

url

=

"http://www.cplire.ru/Lab144/iclp03.pdf",

abstract

= {

In the presentation, I consider the development of a mathematical apparatus for logic programming of intelligent agents for searching, recognising, collecting, and analysing information on the Internet. The problem of ensuring soundness and completeness of logical inference in the dynamic environment of the Internet under the conditions of permanent update and revision of information is discussed. For logic programming of the Internet agents, we propose a new mathematical apparatus based on the principle of repeatedly proven subgoals.}

}

 

@article{PRIA640,

author

=

{Alexei A. Morozov},

title

= {

Logic Object-Oriented Model of Asynchronous Concurrent Computations},

journal

=

"Pattern Recognition and Image Analysis",

year

=

2003,

volume

=

13,

number

=

4,

pages

=

"640--649",

url

=

"http://www.cplire.ru/Lab144/pria640.pdf",

abstract

= {

In this paper, we consider the model of concurrent computations developed for logic programming of Internet agents. The purpose of creating this model of computations is to ensure the mathematical strictness of searching and recognizing information on the Internet. In the developed model of computations, the interacting concurrent processes have classical model-theoretic semantics. The model of computations is based on the new principle of interaction of processes, which do not require delay for synchronization. On the basis of this model, we have developed and implemented the concurrent object-oriented logic language and also the tools for visual logic programming of Internet agents.}

}

 

@article{PRIA225,

author

=

{Alexei A. Morozov and Yuri V. Obukhov},

title

= {

Development of Methods and Tools for Mathematically Correct Logic Programming of {I}nternet Agents},

journal

=

"Pattern Recognition and Image Analysis",

year

=

2003,

volume

=

13,

number

=

2,

pages

=

"225--227",

url

=

"http://www.cplire.ru/Lab144/pria225.pdf",

abstract

= {

In this paper, we consider the development of a mathematical apparatus for logic programming of intelligent agents for searching, recognizing, collecting, and analyzing information on the Internet. The problem of ensuring soundness and completeness of logical inference in the dynamic environment of the Internet under the conditions of permanent update and revision of information is discussed. For logic programming of the Internet agents, we propose a new mathematical apparatus based on the principle of repeatedly proven subgoals.}

}

 

@inproceedings{MultiCPL02,

author

=

{Alexei A. Morozov},

title

= {

On Semantic Link Between Logic, Object-Oriented, Functional, and Constraint Programming},

booktitle

= {

Proceedings of International Workshop on Multiparadigm Constraint Programming Languages (MultiCPL02)},

month

=

{sep},

year

=

2002,

address

=

"Ithaca, NY, USA",

note

= {

The workshop held in conjunction with the Eight International Conference on Principles and Practice of Constraint Programming, CP2002},

url

=

"http://www.cplire.ru/Lab144/multicpl.pdf",

abstract

= {

In the article I investigate semantic and operational links among object-oriented, logic, functional, and constraint programming paradigms by an example of implementing them in logic language Actor Prolog. I show how means developed for ensuring model-theoretic semantics of object-oriented and functional features in the Actor Prolog have led to creation of a method of implementing a weak form of constraints in the logic language. These means have provided an interesting mathematical property of implemented constraints, namely, they guarantee that delaying computation and deadlocks never violate the completeness of a logic program.}

}

   

 

@article{PRIA570,

author

=

{Alexei A. Morozov and Yuri V. Obukhov},

title

= {

An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the {I}nternet},

journal

=

"Pattern Recognition and Image Analysis",

year

=

2001,

volume

=

11,

number

=

3,

pages

=

"570--582",

url

=

"http://www.cplire.ru/Lab144/pria570m.pdf",

abstract

= {

The problem of designing intelligent agents for information search and recognition on the Internet is considered. A new approach to the object-oriented logic programming of Internet agents is introduced. The problem of ensuring the correct inference in conditions of permanent modification of information content on the Internet is considered. An unconventional technique for the formalization of modifiable reasoning on the Internet is described. The tools for logic programming of Internet agents based on this technique are considered.}

}

   

 

@article{Samara2001,

author

=

{Alexei A. Morozov and Yuri V. Obukhov},

title

= {

On the Problem of Logical Recognition in the Dynamic {I}nternet Environment},

journal

=

"Pattern Recognition and Image Analysis",

year

=

2001,

volume

=

11,

number

=

2,

pages

=

"454--457",

note

= {

Proceedings of the 5th International Conference ``Pattern Recognition and Image Analysis: new Information Technologies'' PRIA. Samara, Russia, 16--22 October 2000},

url

=

"http://www.cplire.ru/Lab144/pria5.pdf",

abstract

= {

The problem of formalization of logical recognition in the conditions of permanent modification of information in the Internet is considered. We propose an approach based on the idea of modifiable reasoning and logical actors and compare it with the nonmonotonic reasoning approach.}

}

   

 

@inproceedings{IDL99,

author

=

{Alexei A. Morozov},

title

= {

{A}ctor {P}rolog: an Object-Oriented Language with the Classical Declarative Semantics},

editor

=

{K. Sagonas and P. Tarau},

booktitle

= {

Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)},

pages

=

"39--53",

month

=

{sep},

year

=

1999,

address

=

"Paris, France",

note

= {

The workshop held in conjunction with PLI'99 --- Principles, Logics, and Implementations of high-level programming languages},

url

=

"http://www.cplire.ru/Lab144/paris.pdf",

abstract

= {

This article considers the following central ideas underlying Actor Prolog: the classes and worlds, the mechanism of repetitive proof of subgoals, the underdetermined sets. The logical means of Actor Prolog cover the definitional possibilities of structural, dynamic and information aspects of the object-oriented programming. All the logical means of Actor Prolog have a classical declarative (model-theoretic) semantics. The most interesting idea of Actor Prolog is the repetitive proof of subgoals, that allows implementation of the operation of destructive assignment with classical declarative semantics.}

}