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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Note, that in the Actor Prolog language, the operator \(==\) corresponds to the ordinary equality \(=\) of the standard Prolog.
References
Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. (CSUR) 43(3), 16:1–16:43 (2011)
Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley, Boston (1986)
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)
Filippou, J., Artikis, A., Skarlatidis, A., Paliouras, G.: A probabilistic logic programming event calculus (2012). http://arxiv.org/abs/1204.1851
Fisher, R.: CAVIAR Test Case Scenarios. The EC funded project IST 2001 37540 (2007). http://homepages.inf.ed.ac.uk/rbf/CAVIAR/
Junior, J., Musse, S., Jung, C.: Crowd analysis using computer vision techniques. A survey. IEEE Signal Process. Mag. 27(5), 66–77 (2010)
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)
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)
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). http://www.cplire.ru/Lab144/paris.pdf
Morozov, A.A.: On semantic link between logic, object-oriented, functional, and constraint programming. In: MultiCPL 2002. Ithaca (2002). http://www.cplire.ru/Lab144/multicpl.pdf
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)
Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recognit. Image Anal. 13(4), 640–649 (2003). http://www.cplire.ru/Lab144/pria640.pdf
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). http://www.cplire.ru/Lab144/ciclops07.pdf
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)
Morozov, A.A.: Actor Prolog to Java translation (in Russian). IIP-9, pp. 696–698. Torus Press Moscow, Budva (2012)
Morozov, A.A.: A GitHub repository containing source codes of Actor Prolog built-in classes (including the Vision package) (2014). https://github.com/Morozov2012/actor-prolog-java-library
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). http://www.cplire.ru/Lab144/biodevices2014.pdf
O’Hara, S.: VERSA–video event recognition for surveillance applications. M.S. thesis, University of Nebraska at Omaha (2008)
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)
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Morozov, A.A. et al. (2015). Development of Concurrent Object-Oriented Logic Programming Platform for the Intelligent Monitoring of Anomalous Human Activities. In: Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds) Biomedical Engineering Systems and Technologies. BIOSTEC 2014. Communications in Computer and Information Science, vol 511. Springer, Cham. https://doi.org/10.1007/978-3-319-26129-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-26129-4_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26128-7
Online ISBN: 978-3-319-26129-4
eBook Packages: Computer ScienceComputer Science (R0)