Ghent University Academic Bibliography

Advanced

A paraconsistent multi-agent framework for dealing with normative conflicts

Mathieu Beirlaen UGent and Christian Strasser (2011) Lecture Notes in Computer Science. 6814. p.312-329
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'.
Please use this url to cite or link to this publication:
author
organization
year
type
conference (proceedingsPaper)
publication status
published
subject
keyword
MORAL CONFLICTS, defeasible deontic reasoning, LOGIC, paraconsistent logic, multi-agent systems, adaptive logic, conflict-tolerant deontic logic
in
Lecture Notes in Computer Science
Lect. Notes Comp. Sci.
editor
João Leite, Paolo Torroni, Thomas Agotnes, Guido Boella and Leon van der Torre
volume
6814
issue title
Computational logic in multi-agent systems
pages
312 - 329
publisher
Springer
place of publication
Berlin, Germany
conference name
12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) ; 22nd International joint conference on Artificial Intelligence
conference location
Barcelona, Spain
conference start
2011-07-17
conference end
2011-07-18
Web of Science type
Proceedings Paper
Web of Science id
000311897600022
ISSN
0302-9743
ISBN
9783642223587
DOI
10.1007/978-3-642-22359-4
language
English
UGent publication?
yes
classification
P1
copyright statement
I have transferred the copyright for this publication to the publisher
VABB id
c:vabb:322291
VABB type
VABB-5
id
1861627
handle
http://hdl.handle.net/1854/LU-1861627
date created
2011-07-27 10:28:44
date last changed
2017-01-02 09:53:21
@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},
}

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.