Show simple item record

dc.contributor.advisorPooley, Professor Rob
dc.contributor.advisorGeorgieva, Doctor Lila
dc.contributor.authorZia, Imran
dc.date.accessioned2017-07-03T08:19:18Z
dc.date.available2017-07-03T08:19:18Z
dc.date.issued2015-11
dc.identifier.urihttp://hdl.handle.net/10399/3213
dc.description.abstractThis thesis studies the underlying processes of Knowledge Management (KM) and proposes a generic framework for knowledge management that is appli- cable to real-life case studies. We define KM as gathering, refining, organising and disseminating knowl- edge in an organisation, modelled as a multi-agent system. We identify the processes that support KM in such a system. We then for- malise the processes using the syntax and semantics of epistemic logic and translate multi-agent dialogues into a protocol language, which is verifiable by model checking in SPIN. We investigate two real life case studies, knowl- edge sharing and knowledge gap and verify the underlying processes. We finally check for correctness properties of the knowledge processes, including absence of deadlock and termination.en_US
dc.language.isoenen_US
dc.publisherHeriot-Watt Universityen_US
dc.publisherMathematical and Computer Sciencesen_US
dc.rightsAll items in ROS are protected by the Creative Commons copyright license (http://creativecommons.org/licenses/by-nc-nd/2.5/scotland/), with some rights reserved.
dc.titleFramework for knowledge managementen_US
dc.typeThesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record