Advanced search
1 file | 461.81 KB

A paraconsistent multi-agent framework for dealing with normative conflicts

Mathieu Beirlaen (UGent) and Christian Strasser (UGent)
Author
Organization
Abstract
In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.
Keywords
MORAL CONFLICTS, defeasible deontic reasoning, LOGIC, paraconsistent logic, multi-agent systems, adaptive logic, conflict-tolerant deontic logic

Downloads

  • climaxii final.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 461.81 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Beirlaen, Mathieu, and Christian Strasser. 2011. “A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.” In Lecture Notes in Computer Science, ed. João Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, and Leon van der Torre, 6814:312–329. Berlin, Germany: Springer.
APA
Beirlaen, M., & Strasser, C. (2011). A paraconsistent multi-agent framework for dealing with normative conflicts. In João Leite, P. Torroni, T. Agotnes, G. Boella, & L. van der Torre (Eds.), Lecture Notes in Computer Science (Vol. 6814, pp. 312–329). Presented at the 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) ; 22nd International joint conference on Artificial Intelligence, Berlin, Germany: Springer.
Vancouver
1.
Beirlaen M, Strasser C. A paraconsistent multi-agent framework for dealing with normative conflicts. In: Leite J, Torroni P, Agotnes T, Boella G, van der Torre L, editors. Lecture Notes in Computer Science. Berlin, Germany: Springer; 2011. p. 312–29.
MLA
Beirlaen, Mathieu, and Christian Strasser. “A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts.” Lecture Notes in Computer Science. Ed. João Leite et al. Vol. 6814. Berlin, Germany: Springer, 2011. 312–329. Print.
@inproceedings{1861627,
  abstract     = {In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.},
  author       = {Beirlaen, Mathieu and Strasser, Christian},
  booktitle    = {Lecture Notes in Computer Science},
  editor       = {Leite, Jo{\~a}o and Torroni, Paolo and Agotnes, Thomas  and Boella, Guido and van der Torre, Leon},
  isbn         = {9783642223587},
  issn         = {0302-9743},
  keyword      = {MORAL CONFLICTS,defeasible deontic reasoning,LOGIC,paraconsistent logic,multi-agent systems,adaptive logic,conflict-tolerant deontic logic},
  language     = {eng},
  location     = {Barcelona, Spain},
  pages        = {312--329},
  publisher    = {Springer},
  title        = {A paraconsistent multi-agent framework for dealing with normative conflicts},
  url          = {http://dx.doi.org/10.1007/978-3-642-22359-4},
  volume       = {6814},
  year         = {2011},
}

Altmetric
View in Altmetric
Web of Science
Times cited: