KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Deontic Reasoning Based on Inconsistency Measures

  1. Ofer Arieli(School of Computer Science, Tel-Aviv Academic College, Israel)
  2. Kees van Berkel(Institute for Logic and Computation, TU Wien, Austria)
  3. Badran Raddaoui(SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, France)
  4. Christian Strasser(Institute for Philosophy II, Ruhr Universität Bochum, Germany)

Keywords

  1. Inconsistency- and exception-tolerant reasoning-General
  2. Common-sense reasoning-General
  3. Non-monotonic logics-General

Abstract

Conflicts are inherent to normative systems. In this paper, we explore a novel approach to normative reasoning by quantifying the amount of conflicts within normative systems. We refine the idea from classical logic, according to which a formula is a consequence of a knowledge base in case its negation renders the knowledge base inconsistent. In our approach, whether a formula is a logical consequence depends, for instance, on its negation's marginal contribution to the inconsistency of the given knowledge base. Accordingly, various inconsistency measures and corresponding (nonmonotonic and paraconsistent) normative entailment relations are analyzed relative to a number of logical properties. To illustrate our approach, we adopt Input/Output logic, a renowned formalism in deontic logic, specifically designed for defeasible normative reasoning. As an application, the resulting entailment relations provide recommendations to agents for minimizing norm conflicts, and may be incorporated in a number of implementations (like the Tweety libraries and the LogiKey framework) by involving inconsistency measurements in normative reasoning.