Formalisation and verification of knowledge management in digital economy and organisations

Lilia Georgieva, Imran Zia

Research output: Chapter in Book/Report/Conference proceedingChapter

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

LanguageEnglish
Title of host publicationAgent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce
PublisherSpringer
Pages53-66
Number of pages14
Volume462
ISBN (Print)978-3-642-35207-2
DOIs
Publication statusPublished - 2013

Publication series

NameStudies in Computational Intelligence
Volume462
ISSN (Print)1860949X

Fingerprint

Knowledge management
Model checking
Refining
Network protocols

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Georgieva, L., & Zia, I. (2013). Formalisation and verification of knowledge management in digital economy and organisations. In Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce (Vol. 462, pp. 53-66). (Studies in Computational Intelligence; Vol. 462). Springer. https://doi.org/10.1007/978-3-642-35208-9_3
Georgieva, Lilia ; Zia, Imran. / Formalisation and verification of knowledge management in digital economy and organisations. Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Vol. 462 Springer, 2013. pp. 53-66 (Studies in Computational Intelligence).
@inbook{ac1a6492814f4b42b6260b751d4902e8,
title = "Formalisation and verification of knowledge management in digital economy and organisations",
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 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.",
author = "Lilia Georgieva and Imran Zia",
year = "2013",
doi = "10.1007/978-3-642-35208-9_3",
language = "English",
isbn = "978-3-642-35207-2",
volume = "462",
series = "Studies in Computational Intelligence",
publisher = "Springer",
pages = "53--66",
booktitle = "Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce",

}

Georgieva, L & Zia, I 2013, Formalisation and verification of knowledge management in digital economy and organisations. in Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. vol. 462, Studies in Computational Intelligence, vol. 462, Springer, pp. 53-66. https://doi.org/10.1007/978-3-642-35208-9_3

Formalisation and verification of knowledge management in digital economy and organisations. / Georgieva, Lilia; Zia, Imran.

Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Vol. 462 Springer, 2013. p. 53-66 (Studies in Computational Intelligence; Vol. 462).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Formalisation and verification of knowledge management in digital economy and organisations

AU - Georgieva, Lilia

AU - Zia, Imran

PY - 2013

Y1 - 2013

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

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

UR - http://www.scopus.com/inward/record.url?scp=84893049664&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-35208-9_3

DO - 10.1007/978-3-642-35208-9_3

M3 - Chapter

SN - 978-3-642-35207-2

VL - 462

T3 - Studies in Computational Intelligence

SP - 53

EP - 66

BT - Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce

PB - Springer

ER -

Georgieva L, Zia I. Formalisation and verification of knowledge management in digital economy and organisations. In Agent and Multi-Agent Systems in Distributed Systems - Digital Economy and E-Commerce. Vol. 462. Springer. 2013. p. 53-66. (Studies in Computational Intelligence). https://doi.org/10.1007/978-3-642-35208-9_3