ROS Theses Repository

View Item 
  •   ROS Home
  • Mathematical & Computer Sciences
  • Doctoral Theses (Mathematical & Computer Sciences)
  • View Item
  •   ROS Home
  • Mathematical & Computer Sciences
  • Doctoral Theses (Mathematical & Computer Sciences)
  • View Item
  •   ROS Home
  • Mathematical & Computer Sciences
  • Doctoral Theses (Mathematical & Computer Sciences)
  • View Item
  • Admin
JavaScript is disabled for your browser. Some features of this site may not work without it.

Framework for knowledge management

View/Open
ZiaI_1115_macs.pdf (693.6Kb)
Date
2015-11
Author
Zia, Imran
Metadata
Show full item record
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.
URI
http://hdl.handle.net/10399/3213
Collections
  • Doctoral Theses (Mathematical & Computer Sciences)

Browse

All of ROSCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

ROS Administrator

LoginRegister
©Heriot-Watt University, Edinburgh, Scotland, UK EH14 4AS.

Maintained by the Library
Tel: +44 (0)131 451 3577
Library Email: libhelp@hw.ac.uk
ROS Email: open.access@hw.ac.uk

Scottish registered charity number: SC000278

  • About
  • Copyright
  • Accessibility
  • Policies
  • Privacy & Cookies
  • Feedback
AboutCopyright
AccessibilityPolicies
Privacy & Cookies
Feedback
 
©Heriot-Watt University, Edinburgh, Scotland, UK EH14 4AS.

Maintained by the Library
Tel: +44 (0)131 451 3577
Library Email: libhelp@hw.ac.uk
ROS Email: open.access@hw.ac.uk

Scottish registered charity number: SC000278

  • About
  • Copyright
  • Accessibility
  • Policies
  • Privacy & Cookies
  • Feedback
AboutCopyright
AccessibilityPolicies
Privacy & Cookies
Feedback