Cholvy, Laurence and Garion, Christophe and Roussel, Stéphanie Cohérence et complétude des réglementations en présence de contraintes. (2012) In: Sixièmes Journées d'Intelligence Artificielle Fondamentale (JIAF), 22 May 2012 - 24 May 2012 (Toulouse, France).
|
(Document in French)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 353kB |
Abstract
Cet article a pour objet l'étude des réglementations qui existent dans les systèmes multi-agents et qui visent à réguler le comportement des agents. Plus précisément, nous nous intéressons à deux propriétés des réglementations : la cohérence et la complétude, et ce en présence de contraintes (lois de la nature, faits persistants) dont nous montrons l'influence. Nous montrons également comment compléter une réglementation incomplète tout en préservant sa cohérence. Ce travail considère que les réglementations sont exprimées en logique déontique du premier ordre.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Audience (conference): | National conference without published proceedings |
| Uncontrolled Keywords: | |
| Institution: | French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE) Other partners > Université d'Artois (FRANCE) |
| Laboratory name: | Département Traitement de l'Information et Modélisation - DTIM (Toulouse, France) - Modélisation et Ingénierie des Systèmes - MOIS Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Centre de Recherche en Informatique de Lens - CRIL (Lens, France) |
| Statistics: | download |
| Deposited On: | 17 Jul 2012 12:55 |
Repository Staff Only: item control page
