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.
@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/entities/document/10.4230/DagSemProc.09121.7}, URN = {urn:nbn:de:0030-drops-19047}, doi = {10.4230/DagSemProc.09121.7}, annote = {Keywords: Regulations, consistency, completeness, deontic logic, default logic} }
Feedback for Dagstuhl Publishing