A Defeasible Deontic Calculus for Resolving Norm Conflicts

Autor:	Olson, Taylor, Salas-Damian, Roberto, Forbus, Kenneth D.
Rok vydání:	2024
Předmět:	Computer Science - Artificial Intelligence
Druh dokumentu:	Working Paper
Popis:	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. Comment: 16 pages, 3 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2407.04869 Zobrazit plný text záznamu View this record from Arxiv