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-24 may 2012, Toulouse, France.
![[img]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png)
| (Document in French) PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 345Kb |
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 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 Other partners > Université d'Artois - UA (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 (Lens, France) |
| Statistics: | download |
| Deposited By: | Christophe Garion |
Repository Staff Only: item control page
