TY - Generic T1 - A paraconsistent multi-agent framework for dealing with normative conflicts T2 - 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) Y1 - 2011 A1 - Beirlaen, Mathieu A1 - Straßer, Christian ED - Leite, Joao ED - Torroni, Paolo ED - Agotnes, Thomas ED - Boella, Guido ED - van der Torre, Leon AB -

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'.

JA - 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) PB - Springer SP - 312-329 SN - 9783642223587 UR - http://dx.doi.org/10.1007/978-3-642-22359-4 ER -