Skip to main content
SpringerLink
Log in

Programming of agents in the PRALU language

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

A method of specifying agent interaction protocols in multiagent systems in the PRALU language (parallel logic control algorithms) is considered. A methodology for programming agents in the PRALU language based on a two-block architecture, a synchronization block and a functional block, is proposed. It is shown that through use of a description of the behavior of agents in the PRALU language it becomes possible to simulate the behavior of a multiagent system as a whole.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Lesser, V., Cooperative Multiagent Systems: A Personal View of the State of the Art, IEEE Trans. Knowledge and Data Engineering, 1999, vol. 11, no. 1, pp. 133–142.

    Article  Google Scholar 

  2. Shannon, C.E., A Mathematical Theory of Communication, Bell Syst. Tech. J., 1948, vol. 27, pp. 379–423, 623–656.

    MathSciNet  Google Scholar 

  3. Searle, J.R., What is a Speech Act? Novoe v zarubezhnoy lingvistike, 1986, issue 17, pp. 151–169.

  4. Specification of the KQML Agent-Communication Language, ARPA Knowledge Sharing Initiative, External Interfaces Working Group, July 1993.

  5. Finin, T., Labrou, Y., and Mayfield, J., KQML as an Agent Communication Language, in: Software Agents, Bradshaw, J., Ed., AAAI Press/MIT Press, 1997, pp. 291–316.

  6. Foundation for Intelligent Physical Agents (FIPA), Communicative Ac Library Specification, 2002; http://www.fipa.org/specs/fipa00037

  7. Burmeister, B. and Sundermeyer, K., Cooperative Problem-Solving Guided by Intentions and Perceptions (Werner, E. and Demazean, Y., Eds.), Decentralized A.I.3, Amsterdam: North Holland, 1992.

    Google Scholar 

  8. Zakrevskii, A.D. and Vasilenok, V.K., Simple Boolean A-Net as a Model of Discrete Control of Parallel Processes, Dokl. Akad. Nauk Beloruss. SSR, 1982, vol. 26, no. 4, pp. 340–343.

    Google Scholar 

  9. Zakrevskii, A.D., Parallel’nye algoritmy logicheskogo upravleniya (2nd ed.), Moscow: URSS, 2003.

    Google Scholar 

  10. Hack, M., Analysis of Production Schemata by Petri Nets, Project MAC-94, Cambridge, 1972.

  11. Jensen, K., Colored Petri Nets. Basic Concepts, Analysis Methods, and Practical Use, vol. 1: Basic Concepts, Berlin: Springer-Verlag, 1992.

    Google Scholar 

  12. Quan Bai, Minnie Zhang Khin, and Than Win, A Colored Petri Net Based Approach for Multi-Agent Interactions, in 2nd Intern. Conf. On Autonomous Robots and Agents, Palmerson North, New Zealand, Dec. 13–15, 2004, pp. 152–157.

  13. FIPA. AgenTalk Reference Manual, NTT Communication Science Laboratories and Ishida Laboratory, Department of Information Science, Kyoto University, 1996.

  14. Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 1999.

  15. Bauer, B., Muller, J.P., and Odell, J., Agent UML: A Formalism for Specifying Multiagent Interaction: Agent-Oriented Engineering (Ciancarini, P. and Wooldridge, M., Eds.), Berlin: Springer-Verlag, 2001, pp. 91–103.

    Google Scholar 

  16. Nelson, R.A., Haibt, L.M., and Sheridan, P.T., Casting Petri Nets into Programs, IEEE Trans. Software Eng., 1983, vol. 9, no. 5, pp. 590–602.

    Article  Google Scholar 

  17. Paurobally, S. and Cunningham, J., Achieving Common Interaction Protocols in Open Agent Environments, in AAMAS’02, Melbourne, Australia, 2002.

  18. Hughes, G.E. and Creswell, M.J., Introduction to Modal Logic, London: Methuen, 1977.

    Google Scholar 

  19. Cheremisinov, L.D., Realizatsiya parallel’nykh algoritmov logicheskogo upravleniya (Implementation of Parallel Logical Control Algorithms), Minsk: Institute of Cybernetics, Belarus Academy of Sciences, 2002.

    Google Scholar 

  20. Cheremisinov, D.I., LyaPAS-M Programming System Based Package for the Development of Microprocessor Programs, Upravlyayushchie sistemy i mashiny, 1986, no. 1, pp. 52–55.

  21. Cheremisinov, D.I., Implementation of Parallel Control Algorithms in a Single Microprocessor, Programmirovanie, 1986, no. 1, pp. 37–45.

  22. Cheremisinov, D. and Cheremisinov, L., The Specification of Agent Interaction in Multi-Agent Systems, in Proc. 5th Intern. Conf. “Information Research and Application (i.tech),” June 26–30, 2007, Varna, Sofia: ITHEA, vol. 2, pp. 428–434.

  23. Moore, C.H., FORTH: A New Way to Program a Mini-computer, Astro. Astrophys. Suppl., 1974, vol. 5, pp. 497–511.

    Google Scholar 

  24. Endriss, U., Maude, N., Sadri, F., and Toni, F., Logic-Based Agent Communication Protocols, in Advances in Agent Communication (Dignum, F., Ed.), Laboratory Notes in Artificial Intelligence, 2004, vol. 2922, pp. 91–107.

Download references

Author information

Authors and Affiliations

  1. United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganov 6, Minsk, 6220012, Belarus

    D. I. Cheremisinov & L. D. Cheremisinova

Authors
  1. D. I. Cheremisinov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. L. D. Cheremisinova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. I. Cheremisinov.

Additional information

Original Russian Text © D.I. Cheremisinov, L.D. Cheremisinova, 2008, published in Avtomatika i Vychislitel’naya Tekhnika, 2008, No. 4, pp. 14–26.

About this article

Cite this article

Cheremisinov, D.I., Cheremisinova, L.D. Programming of agents in the PRALU language. Aut. Conrol Comp. Sci. 42, 175–183 (2008). https://doi.org/10.3103/S0146411608040020

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411608040020

Key words

Search

Navigation