Modeling regulation for information sharing in a MAS: a case study
Laurence Cholvy, Christophe Garion, Claire Saurel · Open Archive Toulouse Archive Ouverte (University of Toulouse) · 2007
The aim of this paper is to define a logical language to express information sharing policies for multi-agent systems, which have to cope with dynamical environments. We propose to use a first-order logic base language to express policies via concepts like time, action, context, roles in organizations and deontic notions.We define then consistency for a sharing policy and propose two definitions for policy completeness.