Une logique modale pour raisonner sur la cohérence et la complétude de réglementations
A modal logic for reasoning on consistency and completeness of regulations
Nous nous intéressons dans cet article aux réglementations qui peuvent exister dans des systèmes multiagents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation incomplète. Nous considérons dans l'article que les réglementations sont exprimées dans une logique déontique du premier ordre.
In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. This contribution considers that regulations are expressed in a first order deontic logic.
C.GARION, S.ROUSSEL, L.CHOLVY
logique déontique, complétude, cohérence, réglementations.
deontic logic, completeness, consistency, regulations.
Français
|
