Technical report
OA Policy
English

Towards a logic and chemical based coordination model

Publication date2015
Abstract

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.

Keywords
  • Coordination model
  • Logic programs
  • Logic languages
Citation (ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna. Towards a logic and chemical based coordination model. 2015
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:55396
859views
200downloads

Technical informations

Creation02/04/2015 20:35:00
First validation02/04/2015 20:35:00
Update time09/12/2024 07:59:35
Status update09/12/2024 07:59:35
Last indexation30/04/2025 15:17:26
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack