Formalisation and verification of knowledge management in digital economy and organisations

Lilia Georgieva, Imran Zia

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)


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 how they can be applied 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 MAP which is verifiable by model checking. We apply our framework to a real life case study on knowledge gap and check the underlying knowledge management processes for absence of deadlock and termination.

Original languageEnglish
Title of host publicationAgent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce
Number of pages14
ISBN (Print)978-3-642-35207-2
Publication statusPublished - 2013

Publication series

NameStudies in Computational Intelligence
ISSN (Print)1860949X

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'Formalisation and verification of knowledge management in digital economy and organisations'. Together they form a unique fingerprint.

Cite this