OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A modal logic for reasoning on consistency and completeness of regulations

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]
Preview
(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:
Statistics:download
Deposited By:Christophe Garion

Repository Staff Only: item control page