Skip to main content
SpringerLink
Log in

Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications

  • Conference paper
  • First Online:
Advances in Soft Computing (MICAI 2016)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10062))

Included in the following conference series:

Abstract

An extension of the Actor Prolog language with the ability of distributed logic programming is demonstrated. This language extension is developed for experimenting with distributed logic programming and declarative agent approach to intelligent visual surveillance. An approach to resolving the contradiction between the strong typing of Actor Prolog and the independence of software agents is proposed. Remote calls of Actor Prolog predicates are implemented using the object-oriented features of Actor Prolog, translation of Actor Prolog to Java, and the Java RMI protocol. An example of logic program communication based on the remote predicate calls is examined.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Morozov, A.A.: Actor Prolog: an object-oriented language with the classical declarative semantics. In: Sagonas, K., Tarau, P. (eds.) IDL 1999, France, Paris, pp. 39–53 (1999)

    Google Scholar 

  2. Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recogn. Image Anal. 13, 640–649 (2003)

    Google Scholar 

  3. Russell, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice-Hall, London (1995)

    MATH  Google Scholar 

  4. Shen, W., Hao, Q., Yoon, H., Norrie, D.: Applications of agent-based systems in intelligent manufacturing: an updated review. Adv. Eng. Inform. 20, 415–431 (2006)

    Article  Google Scholar 

  5. Baldoni, M., Baroglio, C., Mascardi, V., Omicini, A., Torroni, P.: Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? In: Dovier, A., Pontelli, E. (eds.) A 25-Year Perspective on Logic Programming. LNCS, vol. 6125, pp. 204–230. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14309-0_10

    Chapter  Google Scholar 

  6. Gascueña, J., Fernández-Caballero, A.: On the use of agent technology in intelligent, multisensory and distributed surveillance. Knowl. Eng. Rev. 26(2), 191–208 (2011)

    Article  Google Scholar 

  7. Bǎdicǎ, C., Braubach, L., Paschke, A.: Rule-based distributed and agent systems. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011. LNCS, vol. 6826, pp. 3–28. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22546-8_3

    Chapter  Google Scholar 

  8. Kravari, K., Bassiliades, N.: A survey of agent platforms. J. Artif. Soc. Soc. Simul. 18, 191–208 (2015). http://jasss.soc.surrey.ac.uk/18/1/11.html

  9. Vallejo, D., Albusac, J., Castro-Schez, J., Glez-Morcillo, C., Jiménez, L.: A multi-agent architecture for supporting distributed normality-based intelligent surveillance. Eng. Appl. Artif. Intell. 24, 325–340 (2011)

    Article  Google Scholar 

  10. Ejaz, N., Manzoor, U., Nefti, S., Baik, S.: A collaborative multi-agent framework for abnormal activity detection in crowded areas. Int. J. Innov. Comput. Inf. Control 8, 4219–4234 (2012)

    Google Scholar 

  11. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: A translator of Actor Prolog to Java. In: Bassiliades, N., Fodor, P., Giurca, A., Gottlob, G., Kliegr, T., Nalepa, G., Palmirani, M., Paschke, A., Proctor, M., Roman, D., Sadri, F., Stojanovic, N. (eds.) RuleML 2015 DC and Challenge, Berlin, CEUR (2015)

    Google Scholar 

  12. 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 platform for the intelligent monitoring of anomalous human activities. In: Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds.) BIOSTEC 2014. CCIS, vol. 511, pp. 82–97. Springer, Cham (2015). doi:10.1007/978-3-319-26129-4_6

    Chapter  Google Scholar 

  13. Morozov, A.A., Polupanov, A.F.: Intelligent visual surveillance logic programming: implementation issues. In: Ströder, T., Swift, T. (eds.) CICLOPS-WLPE 2014. Number AIB-2014-09 in Aachener Informatik Berichte, RWTH Aachen University, pp. 31–45 (2014)

    Google Scholar 

  14. Morozov, A.A., Polupanov, A.F.: Development of the logic programming approach to the intelligent monitoring of anomalous human behaviour. In: Paulus, D., Fuchs, C., Droege, D. (eds.) OGRW 2014, pp. 82–85. University of Koblenz-Landau, Koblenz (2015)

    Google Scholar 

  15. Morozov, A.A., Sushkova, O.S., Polupanov, A.F.: An approach to the intelligent monitoring of anomalous human behaviour based on the Actor Prolog object-oriented logic language. In: Bassiliades, N., Fodor, P., Giurca, A., Gottlob, G., Kliegr, T., Nalepa, G., Palmirani, M., Paschke, A., Proctor, M., Roman, D., Sadri, F., Stojanovic, N. (eds.) RuleML 2015 DC and Challenge, Berlin, CEUR (2015)

    Google Scholar 

  16. Morozov, A.A.: Development of a method for intelligent video monitoring of abnormal behavior of people based on parallel object-oriented logic programming. Pattern Recogn. Image Anal. 25, 481–492 (2015)

    Article  Google Scholar 

  17. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology, 8th edn. Wiley, Chichester (2007)

    Book  MATH  Google Scholar 

  18. Dastani, M.: 2APL: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16, 214–248 (2008)

    Article  Google Scholar 

  19. Odell, J.: Objects and agents compared. J. Object Technol. 1, 41–53 (2002)

    Article  Google Scholar 

  20. Nierstrasz, O., Dami, L.: Component-oriented software technology. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 3–28. Prentice Hall, Upper Saddle River (1995)

    Google Scholar 

  21. Davison, A.: A survey of logic programming-based object oriented languages. Technical report 92/3, Department of Computer Science, University of Melbourne, Melbourne, Australia (1992)

    Google Scholar 

  22. Borland International: Turbo Prolog Owner’s Handbook (1986)

    Google Scholar 

  23. Morozov, A.A., Sushkova, O.S.: The intelligent visual surveillance logic programming Web Site (2016). http://www.fullvision.ru/actor_prolog/

Download references

Author information

Authors and Affiliations

  1. Kotel’nikov Institute of Radio Engineering and Electronics of RAS, Mokhovaya 11-7, Moscow, 125009, Russia

    Alexei A. Morozov, Olga S. Sushkova & Alexander F. Polupanov

  2. Moscow State University of Psychology and Education, Sretenka 29, Moscow, 107045, Russia

    Alexei A. Morozov

Authors
  1. Alexei A. Morozov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olga S. Sushkova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander F. Polupanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexei A. Morozov .

Editor information

Editors and Affiliations

  1. Instituto Politécnico Nacional, Unidad Profesional Interdisciplinaria en Ingeniería y Tecnologías Avanzadas, México DF, Mexico

    Obdulia Pichardo-Lagunas

  2. INFOTEC Aguascalientes, Aguascalientes, Mexico

    Sabino Miranda-Jiménez

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Morozov, A.A., Sushkova, O.S., Polupanov, A.F. (2017). Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications. In: Pichardo-Lagunas, O., Miranda-Jiménez, S. (eds) Advances in Soft Computing. MICAI 2016. Lecture Notes in Computer Science(), vol 10062. Springer, Cham. https://doi.org/10.1007/978-3-319-62428-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-62428-0_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-62427-3

  • Online ISBN: 978-3-319-62428-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation