Incorporation of Distributed Multi-Agent Programming Means in a Strongly Type Logic Language

 

A. A. Morozov, O. S. Sushkova, A. F. Polupanov

Kotel'nikov Institute of Radio Engineering and Electronics of RAS

 

The paper is received on July 5, 2016

Abstract. The paper addresses the problem of the development of agent logic programming means. The Actor Prolog object-oriented logic language extension that supports distributed logic programming and remote predicate calls is described. This is intended for the multi-agent visual surveillance system implementation, that is, for the development of logic programs (agents) that acquire, analyze the video stream semantics in real time, and communicate with each other to facilitate the analysis and share obtained information / conclusions. The Actor Prolog language has a strong type system that is an important feature of the language and it is necessary for the fast and reliable executable code generation. Thus, the contradiction between the language strong type system and the idea of the software agents' independency was a problem to be resolved in the course of adapting the Actor Prolog language to the multi-agent paradigm. The problem of incorporation of distributed multi-agent programming means into the strongly typed logic language is considered. The approach to the multi-agent interaction based on the dynamic and static typing fusion is proposed. The language distinguishes instances of classes (the own worlds) created in a logic program and class instances created in other agents (the foreign worlds). The static type-checking and standard features of a nominative type system are implemented for all the own worlds like in the conventional Actor Prolog. At the same time, the dynamic type-checking and elements of a structural type system are implemented for all the foreign worlds. The program separates clearly the own and foreign worlds including the own worlds that were transmitted to other agents and then returned home. This mechanism combines the advantages of the static type-checking for the high-performance code generation with the flexibility of the dynamic type-checking that is necessary for the multi-agent systems programming.

Keywords: distributed logic programming, agent logic programming, Actor Prolog, strong typing, combined type system, nominative type system, structural type system, static type-checking, dynamic type-checking, remote predicate call, object-oriented logic programming, decentralized logic programming, concurrent logic programming, logical agent, Prolog to Java translation, intelligent visual surveillance.

References

1.   Morozov A.A. Actor Prolog. Programming – Programmirovanie, 1994,No. 5, pp. 66‑78. (In Russian)

2.   Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics. Proc. of IDL'99 workshop / Ed. by K. Sagonas and P. Tarau. Paris, 1999. Available at: http://www.cplire.ru/Lab144/paris.pdf .

3.   Morozov A.A. Logic Object-Oriented Model of Asynchronous Concurrent Computations. Pattern Recognition and Image Analysis, 2003, Vol. 13, No. 4, pp. 640‑649.

4.   Russell S., Norvig P. Artificial Intelligence. A Modern Approach. – London: Prentice-Hall, 1995.

5.   Shen W., Hao Q., Yoon H.J., Norrie D.H. Applications of agent-based systems in intelligent manufacturing: An updated review. Advanced Engineering Informatics, 2006, Vol. 20, pp. 415‑431.

6.   Baldoni M., Baroglio C., Mascardi V., Omicini A., Torroni P. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? A 25-year Perspective on Logic Programming, Ed. by A. Dovier and E. Pontelli. – Berlin, Heidelberg: Springer-Verlag, 2010. – pp. 204‑230.

7.   Gascueña J.M., Fernández-Caballero A. On the use of agent technology in intelligent, multisensory and distributed surveillance. The Knowledge Engineering Review, 2011, Vol. 26:2,pp. 191‑208.

8.   Kravari K., Bassiliades N. A Survey of Agent Platforms.  Journal of Artificial Societies and Social Simulation, 2015, Vol. 18, No. 1, Paper 11. Available at:  http://jasss.soc.surrey.ac.uk/18/1/11.html. – DOI: 10.18564/jasss.2661.

9.   Vallejo D., Albusac J., Castro-Schez J.J., Glez-Morcillo C., Jiménez L. A multi-agent architecture for supporting distributed normality-based intelligent surveillance. Engineering Applications of Artificial Intelligence, 2011, Vol. 24, pp. 325‑340.

10.       Ejaz N., Manzoor U., Nefti S., Baik S.W. A Collaborative Multi-Agent Framework for Abnormal Activity Detection in Crowded Areas. International Journal of Innovative Computing, Information and Control, 2012, Vol. 8, No. 6 (June), pp. 4219‑4234.

11.       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. BIOSTEC 2014,  Ed. by G. Plantier, T. Schultz, A. Fred, H. Gamboa. – CCIS 511. – Springer International Publishing, 2015. – pp. 82‑97.

12.       Morozov A.A., Polupanov A.F. Intelligent visual surveillance logic programming: Implementation issues // CICLOPS-WLPE 2014 / Ed. by T. Ströder and T. Swift. – Aachener Informatik Berichte no. AIB-2014-09. – RWTH Aachen University, 2014, pp. 31‑45. Available at: http://aib.informatik.rwth-aachen.de/2014/2014-09.pdf.

13.       Morozov A.A., Polupanov A.F. Development of the logic programming approach to the intelligent monitoring of anomalous human behaviour // OGRW 2014, Ed. by D. Paulus, C. Fuchs, D. Droege. – Koblenz: University of Koblenz-Landau, 2015, No. 5, pp. 82‑85. Available at: https://kola.opus.hbz-nrw.de/files/915/OGRW_2014_Proceedings.pdf .

14.       Morozov A.A., Polupanov A.F., Sushkova O.S. An Approach to the Intelligent Monitoring of Anomalous Human Behaviour Based on the Actor Prolog Object-Oriented Logic Language // RuleML 2015 DC and Challenge. Proceedings of the 9th International Rule Challenge and the 5th RuleML Doctoral Consortium, Ed. by N. Bassiliades, P. Fodor, A. Giurca, G. Gottlob, T. Kliegr, G.J. Nalepa, M. Palmirani, A. Paschke, M. Proctor, D. Roman, F. Sadri, N. Stojanovic. – Berlin: CEUR, 2015. Available at: https://www.csw.inf.fu-berlin.de/ruleml2015-ceur .

15.       Morozov A.A. Development of a Method for Intelligent Video Monitoring of Abnormal Behavior of People Based on Parallel Object-Oriented Logic Programming. Pattern Recognition and Image Analysis, 2015, Vol. 25, No. 3, pp. 481‑492.

16.       Morozov A.A., Sushkova O.S. The intelligent visual surveillance logic programming Web Site. 2016. Available at: http://www.fullvision.ru .

17.       Odell J. Objects and agents compared. Journal of Object Technology, 2002, No. 1, pp. 41‑53.

18.       Morozov A.A., Sushkova O.S., Polupanov A.F. A translator of Actor Prolog to Java // RuleML 2015 DC and Challenge. Proceedings of the 9th International Rule Challenge and the 5th RuleML Doctoral Consortium, Ed. by N. Bassiliades, P. Fodor, A. Giurca, G. Gottlob, T. Kliegr, G.J. Nalepa, M. Palmirani, A. Paschke, M. Proctor, D. Roman, F. Sadri, N. Stojanovic. – Berlin: CEUR, 2015. Available at: https://www.csw.inf.fu-berlin.de/ruleml2015-ceur .

19.       Nierstrasz O., Dami L. Component-oriented software technology // Object-Oriented Software Composition, Ed. by O. Nierstrasz and D. Tsichritzis. – Prentice Hall, 1995, pp. 3‑28.

20.       Davison A. A survey of logic programming-based object oriented languages. – Technical Report 92/3. – Melbourne, Australia: Dep. of Computer Science, University of Melbourne, 1992.

21. Adamenko A.N., Kuchukov A.M. Logic programming and Visual Prolog. – Saint-Petersburg: BHV-Petersburg, 2003. (In Russian)