Document Open Access Logo

A modal logic for reasoning on consistency and completeness of regulations

Authors Christophe Garion, Stéphanie Roussel, Laurence Cholvy



PDF
Thumbnail PDF

File

DagSemProc.09121.7.pdf
  • Filesize: 244 kB
  • 17 pages

Document Identifiers

Author Details

Christophe Garion
Stéphanie Roussel
Laurence Cholvy

Cite AsGet BibTex

Christophe Garion, Stéphanie Roussel, and Laurence Cholvy. A modal logic for reasoning on consistency and completeness of regulations. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.09121.7

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.
Keywords
  • Regulations
  • consistency
  • completeness
  • deontic logic
  • default logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail