Knowledge-based modeling and natural computing for coordination in pervasive environments

In this paper we start with the assumption that coordination in complex systems can be understood in terms of presence and location of information. We propose a modeling framework which supports an integrated view of these two aspects of coordination (which we call knowledge diffusion). For this sake we employ methods from ontological modeling, modal logics, fuzzy logic and membrane computing. We demonstrate how these techniques can be combined in order to support the reasoning about knowledge and very abstract behavioral descriptions. As an example we discuss the notion of distributed action and show how it can be treated in our framework. Finally we exploit the special features of our architecture in order to integrate bio-inspired coordination mechanisms which rely on the exchange of molecules (i.e. uninterpreted messages).