Framework for knowledge management
Abstract
This 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.