@proceedings {1861627, title = {A paraconsistent multi-agent framework for dealing with normative conflicts}, journal = {12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII)}, year = {2011}, pages = {312-329}, publisher = {Springer}, 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 {\textquoteright}as consistently as possible{\textquoteright}.

}, isbn = {9783642223587}, url = {http://dx.doi.org/10.1007/978-3-642-22359-4}, author = {Beirlaen, Mathieu and Stra{\ss}er, Christian}, editor = {Leite, Joao and Torroni, Paolo and Agotnes, Thomas and Boella, Guido and van der Torre, Leon} }