Skip to main content
SpringerLink
Log in
Book cover

Workshop on Embracing Global Computing in Emerging Economies

EGC 2015: Embracing Global Computing in Emerging Economies pp 11–20Cite as

Agent Knowledge and Beliefs in a Cloud

  • Conference paper
  • First Online:

  • 264 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 514))

Abstract

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.

The research has been supported by Russian Foundation for Basic Research (grant 13-01-00643-a).

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Brams, S.J., Taylor, A.T.: Fair Division - From Cake-Cutting to Dispute Resolution. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  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. Cachin, C., Guerraoui, L.S.: Rodrigues Introduction to Reliable and Secure Distributed Programming, 2nd edn. Springer, New York (2011)

    Book  MATH  Google Scholar 

  4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  5. Halpern, J., O’Neill, K.: Anonymity and information hiding in multiagent systems. J. Comput. Secur. 13(3), 483–514 (2005)

    Article  Google Scholar 

  6. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    MATH  Google Scholar 

  7. Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: a modular approach. J. Comput. Secur. 12(1), 3–36 (2004)

    Article  Google Scholar 

  8. de Jong, S., Tuyls, K., Verbeeck, K.: Fairness in multiagent systems. Knowl. Eng. Rev. 23(2), 153–180 (2008)

    Article  Google Scholar 

  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. Kuhn, T.S.: The Structure of Scientific Revolutions, 3rd edn. University of Chicago Press, Chicago (1996)

    Book  Google Scholar 

  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)

    Chapter  Google Scholar 

  12. Nongaillard, A.: An Agent-Based Approach for Distributed Resource Allocations. Doctoral dissertation. Concordia University Montreal, Canada (2009)

    Google Scholar 

  13. Parikh, R.: Social software. Synthese 132, 187–211 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  14. Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Saddle River (2010)

    MATH  Google Scholar 

  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. 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)

    MathSciNet  MATH  Google Scholar 

  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. 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 2011

    Google Scholar 

  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. Tanenbaum, A.S., Van Steen, M.: Distributed Systems: Principles and Paradigms, 2nd edn. Prentice Hall, Saddle River (2007)

    MATH  Google Scholar 

  21. Tel, G.: Introduction to Distributed Algorithms, 2nd edn. Cambridge University Press, Cambridge (2000)

    Book  MATH  Google Scholar 

  22. Wooldridge, M.: An Introduction to Multiagent Systems. Jhon Willey & Sons, Chichester (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. A.P. Ershov Institute of Informatics Systems, Lavren’ev avenue, 6, Novosibirsk, Russia

    N. V. Shilov

  2. Nazarbayev University, Kabanbay Batyr avenue, 53, Astana, Kazakhstan

    N. V. Shilov

Authors
  1. N. V. Shilov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. V. Shilov .

Editor information

Editors and Affiliations

  1. Kazakh-British Technical University, Almaty, Kazakhstan

    Ross Horne

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Shilov, N.V. (2015). Agent Knowledge and Beliefs in a Cloud. In: Horne, R. (eds) Embracing Global Computing in Emerging Economies. EGC 2015. Communications in Computer and Information Science, vol 514. Springer, Cham. https://doi.org/10.1007/978-3-319-25043-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25043-4_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25042-7

  • Online ISBN: 978-3-319-25043-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation