Garion, Christophe ;
Roussel, Stéphanie ;
Cholvy, Laurence
A modal logic for reasoning on consistency and completeness of regulations
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.
BibTeX - Entry
@InProceedings{garion_et_al:DSP:2009:1904,
author = {Christophe Garion and St{\'e}phanie Roussel and Laurence Cholvy},
title = {A modal logic for reasoning on consistency and completeness of regulations},
booktitle = {Normative Multi-Agent Systems },
year = {2009},
editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
number = {09121},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/1904},
annote = {Keywords: Regulations, consistency, completeness, deontic logic, default logic}
}
|
Keywords: |
|
Regulations, consistency, completeness, deontic logic, default logic |
|
Seminar: |
|
09121 - Normative Multi-Agent Systems
|
|
Issue date: |
|
2009 |
|
Date of publication: |
|
11.03.2009 |
11.03.2009
