A Defeasible Deontic Calculus for Resolving Norm Conflicts
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910515816562688 |
|---|---|
| author | Olson, Taylor Salas-Damian, Roberto Forbus, Kenneth D. |
| author_facet | Olson, Taylor Salas-Damian, Roberto Forbus, Kenneth D. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_04869 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Defeasible Deontic Calculus for Resolving Norm Conflicts Olson, Taylor Salas-Damian, Roberto Forbus, Kenneth D. Artificial Intelligence 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. |
| title | A Defeasible Deontic Calculus for Resolving Norm Conflicts |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2407.04869 |