2026-07-25T02:57:38Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1904 2024-03-06T11:08:40Z ddc:004 open_access

A modal logic for reasoning on consistency and completeness of regulations Garion, Christophe Roussel, Stéphanie Cholvy, Laurence Regulations consistency completeness deontic logic default logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christophe Garion and Stéphanie Roussel and Laurence Cholvy 2009 Is Part Of Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09121.7 urn:nbn:de:0030-drops-19047 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.7 eng https://creativecommons.org/licenses/by/4.0/legalcode