Geodesic
Knowledge-based algorithms for BDI-agents
Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 4, pp. 442-453.

Voir la notice de l'article provenant de la source Math-Net.Ru

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).
Keywords: multiagent systems, multiagent algorithms, knowledge and belief.
Mots-clés : BDI-agents 
@article{MAIS_2020_27_4_a5,
     author = {N. V. Shilov and N. O. Garanina},
     title = {Knowledge-based algorithms for {BDI-agents}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {442--453},
     publisher = {mathdoc},
     volume = {27},
     number = {4},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a5/}
}
TY  - JOUR
AU  - N. V. Shilov
AU  - N. O. Garanina
TI  - Knowledge-based algorithms for BDI-agents
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2020
SP  - 442
EP  - 453
VL  - 27
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a5/
LA  - ru
ID  - MAIS_2020_27_4_a5
ER  - 
%0 Journal Article
%A N. V. Shilov
%A N. O. Garanina
%T Knowledge-based algorithms for BDI-agents
%J Modelirovanie i analiz informacionnyh sistem
%D 2020
%P 442-453
%V 27
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a5/
%G ru
%F MAIS_2020_27_4_a5
N. V. Shilov; N. O. Garanina. Knowledge-based algorithms for BDI-agents. Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 4, pp. 442-453. http://geodesic.mathdoc.fr/item/MAIS_2020_27_4_a5/

[1] M. Takada, Distributed Systems: for Fun and Profit, 2013 http://book.mixu.net/distsys/

[2] A. Tanenbaum, 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, “Plato on Knowledge in the Theaetetus”, Stanford Encyclopedia of Philosophy, 2019 http://plato.stanford.edu/entries/plato-theaetetus/ | MR

[5] J. Ichikawa, M. Steup, “The Analysis of Knowledge”, Stanford Encyclopedia of Philosophy, 2017 http://plato.stanford.edu/entries/knowledge-analysis/ | Zbl

[6] P. Dütting, A. Geiger, Algorithmic Mechanism Design, Seminar Report, University of Karlsruhe, Fakultät für Informatik, 2007 https://webspace.science.uu.nl/l̃eeuw112/msagi/mech_design.pdf

[7] R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge, MIT Press, 1995 | MR | Zbl

[8] P. Mell, T. Grance, The NIST Definition of Cloud Computing, NIST Special Publication 800-145, 2011 http://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-145.pdf

[9] Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer, 2012 | MR

[10] A. Satekbayeva, N. Shilov, “Some Results on Multiagent Algorithms in Social Computing/Software Context”, Information, 17:1 (2014), 229–240

[11] J. van Benthem, Logical Dynamics of Information and Interaction, Cambridge University Press, 2011 | MR | Zbl

[12] N. Alechina, B. Logan, “State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems”, Fields of Logic and Computation III — Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, LNCS, 12180, Springer, 2020, 9–29 | MR