A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Introduction to the special issue on normative multiagent systems
Autonomous Agents and Multi-Agent Systems
Avoiding deontic explosion by contextually restricting aggregation
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Hi-index | 0.00 |
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 interagent 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'.