ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 24/3 - 2010  - pp.267-290  - doi:10.3166/ria.24.267-290
TITRE
Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

TITLE
A modal logic for reasoning on consistency and completeness of regulations

RÉSUMÉ
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.


ABSTRACT
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.


AUTEUR(S)
Christophe GARION, Stéphanie ROUSSEL, Laurence CHOLVY

MOTS-CLÉS
logique déontique, complétude, cohérence, réglementations.

KEYWORDS
deontic logic, completeness, consistency, regulations.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (275 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier