Using n-ary multi-modal logics in argumentation frameworks to reason about ethics - Archive ouverte HAL
Article Dans Une Revue AI Communications Année : 2024

Using n-ary multi-modal logics in argumentation frameworks to reason about ethics

Résumé

Autonomous behaviors may raise ethical issues that agents must consider in their reasoning. Some approaches use deontic logics, while others consider a value-based argumentation framework. However, no work combines both modal logic and argumentation to reason about ethics. Hence, we propose a new argumentation framework where arguments are built from a n-ary multi-modal logic. It allows to express different kinds of operators, e.g. nullary choice or moral worth operators, dyadic deontic operators or mental states. However the standard attacks based on logical contradictions are no longer sufficient to catch an intuitive meaning for attacks. Hence, we enrich standard attacks by characterizing how oppositions between modal operators arise. Furthermore we show the standard logic-based attacks have a quasi-symmetry property, i.e. when an argument attacks another, this argument is necessarily attacked by another one. Our modal attacks do not have this property, which is highly relevant to decide a dilemma.
Fichier principal
Vignette du fichier
BONNET_AIC23.pdf (401.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04629280 , version 1 (29-06-2024)

Identifiants

Citer

Christopher Leturc, Grégory Bonnet. Using n-ary multi-modal logics in argumentation frameworks to reason about ethics. AI Communications, 2024, 37 (3), pp.323-355. ⟨10.3233/AIC-220301⟩. ⟨hal-04629280⟩
104 Consultations
38 Téléchargements

Altmetric

Partager

More