Towards the Distributed Logic Programming of Intelligent Visual Surveillance Applications

  • Alexei A. Morozov
  • Olga S. Sushkova
  • Alexander F. Polupanov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10062)

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.

References

  1. 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. 2.
    Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recogn. Image Anal. 13, 640–649 (2003)Google Scholar
  3. 3.
    Russell, S., Norvig, P.: Artificial Intelligence. A Modern Approach. Prentice-Hall, London (1995)MATHGoogle Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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 CrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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 CrossRefGoogle Scholar
  8. 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. 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)CrossRefGoogle Scholar
  10. 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. 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. 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 CrossRefGoogle Scholar
  13. 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. 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. 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. 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)CrossRefGoogle Scholar
  17. 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)CrossRefMATHGoogle Scholar
  18. 18.
    Dastani, M.: 2APL: a practical agent programming language. Auton. Agent. Multi-Agent Syst. 16, 214–248 (2008)CrossRefGoogle Scholar
  19. 19.
    Odell, J.: Objects and agents compared. J. Object Technol. 1, 41–53 (2002)CrossRefGoogle Scholar
  20. 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. 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. 22.
    Borland International: Turbo Prolog Owner’s Handbook (1986)Google Scholar
  23. 23.
    Morozov, A.A., Sushkova, O.S.: The intelligent visual surveillance logic programming Web Site (2016). http://www.fullvision.ru/actor_prolog/

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Alexei A. Morozov
    • 1
    • 2
  • Olga S. Sushkova
    • 1
  • Alexander F. Polupanov
    • 1
  1. 1.Kotel’nikov Institute of Radio Engineering and Electronics of RASMoscowRussia
  2. 2.Moscow State University of Psychology and EducationMoscowRussia

Personalised recommendations