Proceedings chapter

Logic fragments: coordinating entities with logic programs

Publication date2016

Rigorous engineering of self-organising and self-adaptive systems is a challenging activity. Interactions with humans and unexpected entities, dependence on contextual information for self-organisation and adaptation represent just some of the factors complicating the coordination process among multiple entities of the system. Recently we proposed a coordination model based on logic inference named Logic Fragments Coordination Model. Logic Fragments are combinations of logic programs defining interactions among agents distributed over the nodes of the system. They are able to accommodate various types of logics, ranging from classical up to many-valued paraconsistent ones. The logical formalisation makes it possible to express coordination in a rigorous and predictable way, both at design-time and run-time. In this paper we define, under the form of an evaluation algorithm, the semantics of Logic Fragments; introducing logical predicates used to manage and reason on local and remote information. By associating specific semantics to the symbols inferred during the evaluation of logic programs it is possible to make logical inference effects unambiguous on the system; such an approach turns Logic Fragments into a coordination-oriented logic-based programming model. We conclude the paper discussing three examples showing the use of Logic Fragments to implement on-the-fly ad-hoc coordination mechanisms, as well as design-time and run-time verification of spatial properties.

Citation (ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna. Logic fragments: coordinating entities with logic programs. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. [s.l.] : [s.n.], 2016.
Main files (1)
Proceedings chapter (Accepted version)
  • PID : unige:92814

Technical informations

Creation02/07/2017 11:25:00 AM
First validation02/07/2017 11:25:00 AM
Update time03/15/2023 1:29:43 AM
Status update03/15/2023 1:29:42 AM
Last indexation08/30/2023 2:15:55 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack