Knowledge-based Algorithms for BDI-agents
https://doi.org/10.18255/1818-1015-2020-4-442-453
Abstract
Multiagent algorithm is a knowledge-based distributed algorithm that solves some problems by means of cooperative work of agents. From an individual agent's perspective, a multiagent algorithm is a reactive and proactive knowledge/believe-based rational algorithm aimed to achieve an agent's own desires. In the paper we study a couple of knowledge-based multiagent algorithms. One particular algorithm is for a system consisting of agents that arrive one by one (in a non-deterministic order) to a resource center to rent (for a while) one of available desired resources. Available resources are passive, they form a cloud; each of the available resources is lent on demand if there is no race for this resource and returns to the cloud after use. Agents also form a cloud but leave the cloud immediately when they rent a desired resource. The problem is to design a knowledge-based multiagent algorithm, which allows each arriving agent eventually to rent some of desired resources (without race for these resources).
Supporting agencies: Ministry of Digital Development, Communications and Mass Media of the Russian Federation and Russian Venture Company (Agreement No. 004/20 dd. 20.03.2020, IGK 0000000007119P190002.
About the Authors
Nikolay Vyacheslavovich Shilov
Innopolis University
Russian Federation
Russian Federation
Ph.D. in Mathematics, head of laboratory
Natalia Olegovna Garanina
A.P. Ershov Institute of Informatics Systems (IIS), Siberian Branch of the Russian Academy of Sciences
Russian Federation
Russian Federation
Ph.D. in Mathematics, senior research fellow
References
1. M. Takada, Distributed Systems: for Fun and Profit. 2013. [Online]. Available: http://book.mixu.net/distsys/.
2. A. Tanenbaum and M. van Steen, Distributed Systems: Principles and Paradigms. Prentice-Hall, 2006.
3. M. Wooldridge, An Introduction to Multiagent Systems. John Willey&Sons, 2002.
4. C. Chappell, Stanford Encyclopedia of Philosophy. 2019, ch. Plato on Knowledge in the Theaetetus. [Online]. Available: http://plato.stanford.edu/entries/plato-theaetetus/.
5. J. Ichikawa and M. Steup, Stanford Encyclopedia of Philosophy. 2017, ch. The Analysis of Knowledge. [Online]. Available: http://plato.stanford.edu/entries/knowledge-analysis/.
6. P. Dutting and A. Geiger, Algorithmic Mechanism Design. Seminar Report, University of Karlsruhe, Fakultat fur Informatik, 2007. [Online]. Available: https://webspace.science.uu.nl/~leeuw112/msagi/mech_design.pdf.
7. R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about Knowledge. MIT Press, 1995.
8. P. Mell and T. Grance, The NIST Definition of Cloud Computing. NIST Special Publication 800-145, 2011. [Online]. Available: http://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-145.pdf.
9. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, 2012.
10. A. Satekbayeva and N. Shilov, “Some Results on Multiagent Algorithms in Social Computing/Software Context”, Information, vol. 17, no. 1, pp. 229-240, 2014.
11. J. van Benthem, Logical Dynamics of Information and Interaction. Cambridge University Press, 2011.
12. N. Alechina and B. Logan, “State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems”, in Fields of Logic and Computation III— Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, ser. LNCS, vol. 12180, Springer, 2020, pp. 9-29.
Review
For citations:
Shilov N.V., Garanina N.O. Knowledge-based Algorithms for BDI-agents. Modeling and Analysis of Information Systems. 2020;27(4):442-453. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-442-453
Views:
830
Email this article 