Garion, Christophe and Roussel, Stéphanie and Cholvy, Laurence A modal logic for reasoning on consistency and completeness of regulations. (2009) In: Normative Multi-Agent Systems, 15-20 Mars 2009, Dagstuhl, Allemagne.
![[img]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png)
| (Document in English) PDF (Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 266Kb |
Official URL: http://drops.dagstuhl.de/opus/volltexte/2009/1904/
Abstract
In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. In this contribution, we extend previous works and we consider that regulations are expressed in a first order modal deontic logic.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Audience (conference): | International conference proceedings |
| 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: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Département Traitement de l'Information et Modélisation - DTIM (Toulouse, France) |
| Statistics: | download |
| Deposited By: | Christophe Garion |
Repository Staff Only: item control page
