Defeasible Deontic Logic: Arguing about Permission and Obligation
| Autor: | Dong, Huimin, Liao, Beishui, Markovich, Réka, van der Torre, Leon |
|---|---|
| Přispěvatelé: | Horizon 2020 Framework Programme, H2020, H2020 Marie Skłodowska-Curie Actions, MSCA: 690974, Fonds National de la Recherche Luxembourg, FNR: INTER/Mobility/19/13995684/DLAl/van, National Office for Philosophy and Social Sciences, NPOPSS: 20CZX051, ZD047 [sponsor] |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: |
Computer science [C05] [Engineering
computing & technology] Normative reasoning Contrary-to-duties Formal argumentation Modal logic Deontic Nonmonotonic logic Monotonics Argumentation theory Computer circuits Deontic Logic Formal logic Sciences informatiques [C05] [Ingénierie informatique & technologie] |
| Zdroj: | info:eu-repo/grantAgreement/EC/H2020/690974 |
| Popis: | Defeasible deontic logic uses techniques from non-monotonic logic to address various challenges in normative reasoning, such as prima facie permissions and obligations, moral dilemmas, deontic detachment, contrary-to-duty reasoning and legal interpretation. In this article, we use formal argumentation to design defeasible deontic logics, based on two classical deontic logics. In particular, we use the ASPIC+ structured argumentation theory to define non-monotonic variants of well-understood monotonic modal logics. We illustrate the ASPIC+-based approach and the resulting defeasible deontic logics using argumentation about strong permission. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|