Formal Knowledge Management in Distributed Environments

Schorlemmer, Dr Marco and Potter, Dr Stephen and Robertson, Dr David and Sleeman, Prof Derek (2002) Formal Knowledge Management in Distributed Environments. In Proceedings ECAI'02 Workshop on Knowledge Transformation for the Semantic Web.

This is the latest version of this eprint.

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

In order to address problems stemming from the dynamic nature of distributed systems, there is a need to be able to express the often neglected notions of the evolution and change of the knowledge components of such systems. This need becomes more pressing when one considers the potential of the Internet for distributed knowledge-based problem solving --- and the pragmatic issues surrounding knowledge integrity and trust this raises. In this paper, we introduce a formal calculus for describing transformations in the `lifecycles' of knowledge components, along with ideas about the nature of distributed environments in which the ideas underpinning the calculus can be realised. The formality and level of abstraction of this language encourages the analysis of knowledge histories and allows useful properties about this knowledge to be inferred. These ideas are illustrated through the discussion of a particular case-study in knowledge evolution.

Available Versions of this Item

• Formal Knowledge Management in Distributed Environments (deposited 16 July 2003) [Currently Displayed]

Contact the site administrator at: hg@ecs.soton.ac.uk