Un modèle efficace de normes pour les systèmes multi-agents organisationnels
Le concept de normes s'adapte particulièrement bien à la définition de systèmes multiagents
organisationnels. Mais la plupart des travaux portant sur les normes dans les systèmes
multi-agents ne prennent pas en compte la complexité des algorithmes de satisfaction ou de
vérification de leur cohérence. Nous proposons un langage de définition de normes, NODL1,
fondé sur un fragment de la logique déontique, permettant de définir de tels algorithmes de
manière efcace. Ce modèle s'appuie sur la structure du modèle Agent/Groupe/Rôle (AGR) afin
de définir des normes liées aux groupes et aux rôles. Nous montrons que les expressions de ce
langage peuvent se ramener à des expressions de logique propositionnelle. On montre alors que
l'évaluation de la cohérence des normes est linéaire si on se restreint à des clauses de Horn
étendues.
Norms are an important aspect of organizational multiagent systems. However, most
important works on norms in MAS do not take the complexity of satisfaction and coherence
algorithms into account. In this paper, we propose a language for modelling norms, NODL1,
which is based on a fragment of deontic logic and which allows for an efcient computation of
norm coherence. This model is based on the Agent/Group/Role (AGR) model, where norms are
associated to groups and roles. We show that expressions of this language may be reduced to
propositional logic expressions. We then show that evaluating the global coherence of a set of
norms is linear in complexity if we do restrain our language to extended Horn clauses.
J.TRANIER, J.FERBER, F.KORICHE
Organisation, norme, logique déontique, système multi-agents
Organization, norm, deontic logic, multi-agent system
Français
|
