Knowledge Management in Digital Economy

Authors:
Lilia Georgieva;Imran Zia
Affiliations:
MACS, Heriot-Watt University,;MACS, Heriot-Watt University,
Venue:
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Year:
2009

Citing 4
Cited 0

Intention is choice with commitment

Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Model checking agent dialogues

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

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.