Modélisation de réglementations pour le partage d'information dans un SMA

Abstract

L'objectif de cet article est de définir un langage logique pour exprimer des politiques de partage d'information dans un système multi-agents. Nous proposons d'utiliser un langage fondé sur la logique du premier ordre pour exprimer des politiques via des concepts comme le temps, les actions, le contexte, les rôles dans une organisation et des notions déontiques. Nous définissons alors les propriétés de cohérence et de complétude d'une telle politique. The aim of this paper is to define a logical language to express information sharing policies for multiagent 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.