Imagine distributed knowledge processing with autonomous activities and decentralized control where the handling of partial knowledge will not result in unclear semantics or failure-prone behavior. In this paper, a modular approach is taken where autonomous activities, called constraint-based knowledge brokers, process and generate new knowledge in presence of partial information. We present a mathematical model where the semantics of the knowledge system is described using the traditional fixed-point procedure. The computational model is given by LO, our model for multi-agent coordination. The problems of inter-argument dependencies and knowledge reuse inside the knowledge generators are addressed as well as the difficulty of recursion control.

