International Joint Conference on Biomedical Engineering Systems and Technologies

Biomedical Engineering Systems and Technologies pp 82-97 | Cite as

Development of Concurrent Object-Oriented Logic Programming Platform for the Intelligent Monitoring of Anomalous Human Activities

  • Alexei A. Morozov
  • Abhishek Vaish
  • Alexander F. Polupanov
  • Vyacheslav E. Antciperov
  • Igor I. Lychkov
  • Aleksandr N. Alfimtsev
  • Vladimir V. Deviatkov
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 511)


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.


Anomalous human activity Intelligent visual surveillance Object-oriented concurrent logic programming Actor Prolog 



We acknowledge a partial financial support from the Russian Foundation for Basic Research, grant No 13-07-92694, and Department of Science and Technology, Govt. of India, grant No DST-RFBR P-159.


  1. 1.
    Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. (CSUR) 43(3), 16:1–16:43 (2011)CrossRefGoogle Scholar
  2. 2.
    Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley, Boston (1986)MATHGoogle Scholar
  3. 3.
    Devyatkov, V.: Multiagent hierarchical recognition on the basis of fuzzy situation calculus. Vestnik, Journal of the Bauman Moscow State Technical University, Natural Science & Engineering, pp. 129–152. Vestnik MGTU, Moscow (2005)Google Scholar
  4. 4.
    Filippou, J., Artikis, A., Skarlatidis, A., Paliouras, G.: A probabilistic logic programming event calculus (2012).
  5. 5.
    Fisher, R.: CAVIAR Test Case Scenarios. The EC funded project IST 2001 37540 (2007).
  6. 6.
    Junior, J., Musse, S., Jung, C.: Crowd analysis using computer vision techniques. A survey. IEEE Signal Process. Mag. 27(5), 66–77 (2010)Google Scholar
  7. 7.
    Kim, I., Choi, H., Yi, K., Choi, J., Kong, S.: Intelligent visual surveillance–a survey. Int. J. Control Autom. Syst. 8(5), 926–939 (2010)CrossRefGoogle Scholar
  8. 8.
    Machot, F., Kyamakya, K., Dieber, B., Rinner, B.: Real time complex event detection for resource-limited multimedia sensor networks. In: Workshop on Activity Monitoring by Multi-camera Surveillance Systems (AMMCSS), pp. 468–473 (2011)Google Scholar
  9. 9.
    Morozov, A.A.: Actor Prolog: an object-oriented language with the classical declarative semantics. In: Sagonas, K., Tarau, P. (eds.) IDL 1999, pp. 39–53. Paris, France (1999).
  10. 10.
    Morozov, A.A.: On semantic link between logic, object-oriented, functional, and constraint programming. In: MultiCPL 2002. Ithaca (2002).
  11. 11.
    Morozov, A.A.: Development and application of logical actors mathematical apparatus for logic programming of web agents. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 494–495. Springer, Heidelberg (2003) CrossRefGoogle Scholar
  12. 12.
    Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recognit. Image Anal. 13(4), 640–649 (2003).
  13. 13.
    Morozov, A.A.: Operational approach to the modified reasoning, based on the concept of repeated proving and logical actors. In: Salvador Abreu, V.S.C. (ed.) CICLOPS 2007, pp. 1–15. Porto, (2007).
  14. 14.
    Morozov, A.A.: Visual logic programming method based on structural analysis and design technique. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 436–437. Springer, Heidelberg (2007) CrossRefGoogle Scholar
  15. 15.
    Morozov, A.A.: Actor Prolog to Java translation (in Russian). IIP-9, pp. 696–698. Torus Press Moscow, Budva (2012) Google Scholar
  16. 16.
    Morozov, A.A.: A GitHub repository containing source codes of Actor Prolog built-in classes (including the Vision package) (2014).
  17. 17.
    Morozov, A.A., Vaish, A., Polupanov, A.F, Antciperov, V.E., Lychkov, I.I., Alfimtsev, A.N., Deviatkov, V.V.: Development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities. In: Jr., A.C., Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds.) BIODEVICES 2014, pp. 53–62. SCITEPRESS (2014).
  18. 18.
    O’Hara, S.: VERSA–video event recognition for surveillance applications. M.S. thesis, University of Nebraska at Omaha (2008)Google Scholar
  19. 19.
    Shet, V., Singh, M., Bahlmann, C., Ramesh, V., Neumann, J., Davis, L.: Predicate logic based image grammars for complex pattern recognition. Int. J. Comput. Vis. 93(2), 141–161 (2011)MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Alexei A. Morozov
    • 1
    • 4
  • Abhishek Vaish
    • 2
  • Alexander F. Polupanov
    • 1
    • 4
  • Vyacheslav E. Antciperov
    • 1
  • Igor I. Lychkov
    • 3
  • Aleksandr N. Alfimtsev
    • 3
  • Vladimir V. Deviatkov
    • 3
  1. 1.Kotel’nikov Institute of Radio Engineering and Electronics of RASMoscowRussia
  2. 2.Indian Institute of Information TechnologyAllahabadIndia
  3. 3.Bauman Moscow State Technical UniversityMoscowRussia
  4. 4.Moscow State University of Psychology & EducationMoscowRussia

Personalised recommendations