DagSemProc.09121.7.pdf
- Filesize: 244 kB
- 17 pages
Document
A modal logic for reasoning on consistency and completeness of regulations
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-03-11
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
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)
0PDF Downloads