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:DagSemProc.09121.7,
author = {Garion, Christophe and Roussel, St\'{e}phanie and Cholvy, Laurence},
title = {{A modal logic for reasoning on consistency and completeness of regulations}},
booktitle = {Normative Multi-Agent Systems},
pages = {1--17},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2009},
volume = {9121},
editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2009/1904},
URN = {urn:nbn:de:0030-drops-19047},
doi = {10.4230/DagSemProc.09121.7},
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
