Skip to main content
SpringerLink
Log in
Book cover

KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications

KES-AMSTA 2009: Agent and Multi-Agent Systems: Technologies and Applications pp 705–713Cite as

Knowledge Management in Digital Economy

  • Conference paper

  • 1508 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5559))

Abstract

Knowledge management is the process of gathering, refining, organising, and disseminating knowledge through which organisations generate value from their intellectual and knowledge-based assets. In this paper we study standard formal models for knowledge management and discuss their transfer to digital economy. We propose a framework for knowledge management applicable to online trading agents. The framework relies on identification of processes which support knowledge management. We express knowledge exchange in epistemic logic. We then translate multi-agent dialogues in a protocol language which is verifiable by model checking.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beijerse, P.: Knowledge management in small and medium-sized companies: Knowledge management for entrepreneurs. Journal of Knowledge Management 4, 162–182 (2000)

    Article  Google Scholar 

  2. Cohen, P., Levesque, H.: Intention is choice with commitment. Journal of Artificial Intelligence 42, 213–261 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  3. Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Journal of Artificial Intelligence 54, 319–380 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  4. Holzmann, G.: The SPIN model checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)

    Google Scholar 

  5. Janssen, W., Mateescu, R.: Verifying business processes using spin. In: Proceedings of the 4th International SPIN Workshop (1998)

    Google Scholar 

  6. Nissen, M., Levitt, R.: Dynamic models of knowledge flow dynamics, center for integrated facility engineering, stanford university, working paper (manuscript, 2002)

    Google Scholar 

  7. Nonaka, I.: Toward middle-up-down management: accelerating information creation. Sloan Management Review 29, 9–18 (1998)

    Google Scholar 

  8. Polanyi, M.: Knowing and Being. University of Chicago Press (1969)

    Google Scholar 

  9. Stanford University. The virtual design team research group

    Google Scholar 

  10. Walton, C.D.: Model Checking Agent Dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS(LNAI), vol. 3476, pp. 132–147. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  11. Walton, C.: Model checking for multi-agent systems. Journal of Applied Logic, Special Issue on Logic-Based Agent Verification (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. MACS, Heriot-Watt University, UK

    Lilia Georgieva & Imran Zia

Authors
  1. Lilia Georgieva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Imran Zia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer and Systems Science, Stockholm University, Forum 100, 164 40, Kista, Sweden

    Anne Håkansson

  2. Institute of Informatics, Wroclaw University of Technology, Str. Janiszweskiego 11/17, 50-370, Wroclaw, Poland

    Ngoc Thanh Nguyen

  3. Department of Computer Science, Franklin University, 201 South Grant Ave., 43215, Columbus, Ohio, USA

    Ronald L. Hartung

  4. School of Environment and Technology, Centre for SMART Systems, University of Brighton, BN2 4GJ, Brighton, UK

    Robert J. Howlett

  5. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, SA, 5095, Mawson Lakes, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Georgieva, L., Zia, I. (2009). Knowledge Management in Digital Economy. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2009. Lecture Notes in Computer Science(), vol 5559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01665-3_71

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01665-3_71

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01664-6

  • Online ISBN: 978-3-642-01665-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation