Agent Knowledge and Beliefs in a Cloud

  • N. V. Shilov
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 514)


Cloud computing is a concept that is in use since late 2000s related to consumption of distributed computer resources, namely servers and networks for data storage and access. In the paper we examine knowledge-based algorithms for agents that have access to a resource center to use some of available discrete resources. We assume that resource items are passive, they form a cloud, any item can be lend on demand to any agent if and only if there is no races for this item with other agents. All agents are rational and can communicate with each other in P2P-manner, negotiate, flip and swap (change intentions) so that all flips/swaps always must be rational for participating agents. The problem is to design a multiagent algorithm, which allows each agent sooner or later to access some resource item. We present a uniform algorithm scheme and then specialize for the following particular problems: Robots in Space and Rational Agents at the Marketplace.


Time Agent Multiagent System Functional Correctness Resource Item Agent Knowledge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Brams, S.J., Taylor, A.T.: Fair Division - From Cake-Cutting to Dispute Resolution. Cambridge University Press, Cambridge (1996)CrossRefzbMATHGoogle Scholar
  2. 2.
    Bodin, E.V., Garanina, N.O., Shilov, N.V., Mars, N.V.: Robot puzzle (a multiagent approach to the Dijkstra problem). Model. Anal. Inf. Syst. 18(2), 113–128 (2011). (in Russian)Google Scholar
  3. 3.
    Cachin, C., Guerraoui, L.S.: Rodrigues Introduction to Reliable and Secure Distributed Programming, 2nd edn. Springer, New York (2011)CrossRefzbMATHGoogle Scholar
  4. 4.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  5. 5.
    Halpern, J., O’Neill, K.: Anonymity and information hiding in multiagent systems. J. Comput. Secur. 13(3), 483–514 (2005)CrossRefGoogle Scholar
  6. 6.
    Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)zbMATHGoogle Scholar
  7. 7.
    Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: a modular approach. J. Comput. Secur. 12(1), 3–36 (2004)CrossRefGoogle Scholar
  8. 8.
    de Jong, S., Tuyls, K., Verbeeck, K.: Fairness in multiagent systems. Knowl. Eng. Rev. 23(2), 153–180 (2008)CrossRefGoogle Scholar
  9. 9.
    Knuth, D.E.: Stable Marriage and its Relation to Other Combinatorial Problems. CRM Proceedings and Lecture Notes, vol. 10. American Mathematical Society, Providence (1997)Google Scholar
  10. 10.
    Kuhn, T.S.: The Structure of Scientific Revolutions, 3rd edn. University of Chicago Press, Chicago (1996)CrossRefGoogle Scholar
  11. 11.
    Lomuscio, A., Ryan, M.D.: On the relation between interpreted systems and Kripke models. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds.) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. LNCS (LNAI), vol. 1441, pp. 46–59. Springer, Heidelberg (1997) CrossRefGoogle Scholar
  12. 12.
    Nongaillard, A.: An Agent-Based Approach for Distributed Resource Allocations. Doctoral dissertation. Concordia University Montreal, Canada (2009)Google Scholar
  13. 13.
    Parikh, R.: Social software. Synthese 132, 187–211 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Saddle River (2010)zbMATHGoogle Scholar
  15. 15.
    Satekbayeva, A., Shilov, N.V.: Some results on multiagent algorithms in social computing/software context. Information 17(1), 229–240 (2014)Google Scholar
  16. 16.
    Shilov, N.V., Garanina, N.O., Choe, K.-M.: Update and abstraction in model checking of knowledge and branching time. Fundameta Informaticae 72(1–3), 347–361 (2006)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Shilov, N.V., Garanina, N.O., Bodin, E.V.: Multiagent approach to a Dijkstra problem. In: Proceedings of Workshop on Concurrency, Specification, and Programming CS&P 2010, pp. 73–84. Humboldt-Universität zu, Berlin (2010)Google Scholar
  18. 18.
    Shilov, N.V., Garanina, N.O.: Rational agents at the marketplace. In: Proceedings of Workshop on Concurrency, Specification and Programming CS&P 2011, pp. 465–476. Bialystok University of Technology, Pułtusk, Poland, 28–30 September 2011Google Scholar
  19. 19.
    Su, K., Luo, X., Sattar, A., Orgun, M.A.: The interpreted system model of knowledge, belief, desire and intention. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), pp. 220–222 (2006)Google Scholar
  20. 20.
    Tanenbaum, A.S., Van Steen, M.: Distributed Systems: Principles and Paradigms, 2nd edn. Prentice Hall, Saddle River (2007) zbMATHGoogle Scholar
  21. 21.
    Tel, G.: Introduction to Distributed Algorithms, 2nd edn. Cambridge University Press, Cambridge (2000)CrossRefzbMATHGoogle Scholar
  22. 22.
    Wooldridge, M.: An Introduction to Multiagent Systems. Jhon Willey & Sons, Chichester (2002)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.A.P. Ershov Institute of Informatics SystemsNovosibirskRussia
  2. 2.Nazarbayev UniversityAstanaKazakhstan

Personalised recommendations