A Defeasible Deontic Calculus for Resolving Norm Conflicts

Taylor Olson; Roberto Salas-Damian; Kenneth D Forbus

doi:10.48550/arxiv.2407.04869

Back

A Defeasible Deontic Calculus for Resolving Norm Conflicts

Preprint

Open access

A Defeasible Deontic Calculus for Resolving Norm Conflicts

Taylor Olson, Roberto Salas-Damian and Kenneth D Forbus

ArXiv.org

Cornell University

07/05/2024

DOI: 10.48550/arxiv.2407.04869

Files and links (1)

url

https://doi.org/10.48550/arxiv.2407.04869View

Preprint (Author's original)This preprint has not been evaluated by subject experts through peer review. Preprints may undergo extensive changes and/or become peer-reviewed journal articles. Open Access

Abstract

When deciding how to act, we must consider other agents' norms and values. However, our norms are ever-evolving. We often add exceptions or change our minds, and thus norms can conflict over time. Therefore, to maintain an accurate mental model of other's norms, and thus to avoid social friction, such conflicts must be detected and resolved quickly. Formalizing this process has been the focus of various deontic logics and normative multi-agent systems. We aim to bridge the gap between these two fields here. We contribute a defeasible deontic calculus with inheritance and prove that it resolves norm conflicts. Through this analysis, we also reveal a common resolution strategy as a red herring. This paper thus contributes a theoretically justified axiomatization of norm conflict detection and resolution.

Computer Science - Artificial Intelligence

Details

Title: Subtitle: A Defeasible Deontic Calculus for Resolving Norm Conflicts
Creators: Taylor Olson
Roberto Salas-Damian
Kenneth D Forbus
Resource Type: Preprint
Publication Details: ArXiv.org
DOI: 10.48550/arxiv.2407.04869
ISSN: 2331-8422
Publisher: Cornell University ; Ithaca, New York
Language: English
Date posted: 07/05/2024
Academic Unit: Computer Science
Record Identifier: 9984958337202771

Metrics

4 Record Views