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