The first part of this week's talk is devoted to the description of the manner in which knowledge lifecycles can be generated and published through the use of an editor built upon an abstract lifecycle calculus.
The second part of the talk describes a brokering service thatis able to co-ordinate problem-solving among formal knowledgecomponents. It is postulated that a brokering system of this sort, when integrated with the concepts of the formal calculus of knowledge lifecycles, could offer a novel environment in which formal knowledge management can effected.
The talk will be accompanied by a demonstration of prototype software illustrating some of these ideas.