Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Formal Knowledge Management in Distributed Environments
Authors: Marco Schorlemmer ; Stephen Potter ; Dave Robertson ; Derek Sleeman
Date:Jun 2002
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.
2002 by The University of Edinburgh. All Rights Reserved
Links To Paper
No links available
Bibtex format
author = { Marco Schorlemmer and Stephen Potter and Dave Robertson and Derek Sleeman },
title = {Formal Knowledge Management in Distributed Environments},
year = 2002,
month = {Jun},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh