OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. (2010) Revue d'intelligence artificielle, vol. 24 (n° 3). pp. 267-290. ISSN 0992-499X

[img] (Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
332kB

Abstract

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.

Item Type:Article
Audience (journal):National peer-reviewed journal
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA
Laboratory name:
Statistics:download
Deposited By: Christophe Garion
Deposited On:20 Jul 2010 12:54

Repository Staff Only: item control page