infonet-economy

In this paper we propose a coordination model that integrates logic programs into a chemical-based coordination framework. The goal is to engineer self-organising systems as well as assess their emergent global properties. Our model is generic and accommodates various logics and it is also powerful enough to supersede various chemical-based approaches. By tuning the internal logic language we can tackle and solve coordination problems in a rigorous way, without renouncing to important engineering properties such as compactness, modularity and reusability of code. We present our logic-based coordination model and we shows how to engineer well-know self-organising mechanisms and how to assess their corresponding emergent properties.