Cargando…
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a d...
Autores principales: | , , , , , , , |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Elsevier
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7586073/ https://www.ncbi.nlm.nih.gov/pubmed/33134442 http://dx.doi.org/10.1016/j.dib.2020.106409 |
_version_ | 1783599922233212928 |
---|---|
author | Benzmüller, Christoph Farjami, Ali Fuenmayor, David Meder, Paul Parent, Xavier Steen, Alexander van der Torre, Leendert Zahoransky, Valeria |
author_facet | Benzmüller, Christoph Farjami, Ali Fuenmayor, David Meder, Paul Parent, Xavier Steen, Alexander van der Torre, Leendert Zahoransky, Valeria |
author_sort | Benzmüller, Christoph |
collection | PubMed |
description | The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL. The data were acquired through application of the LogiKEy methodology, which supports experimentation with different normative theories, in different application scenarios, and which is not tied to specific logics or logic combinations. Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning. It may also support hands-on teaching of non-trivial logic formalisms in lecture courses and tutorials. The LogiKEy methodology and framework is discussed in more detail in the companion research article titled “Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support” [5]. |
format | Online Article Text |
id | pubmed-7586073 |
institution | National Center for Biotechnology Information |
language | English |
publishDate | 2020 |
publisher | Elsevier |
record_format | MEDLINE/PubMed |
spelling | pubmed-75860732020-10-30 LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) Benzmüller, Christoph Farjami, Ali Fuenmayor, David Meder, Paul Parent, Xavier Steen, Alexander van der Torre, Leendert Zahoransky, Valeria Data Brief Data Article The LogiKEy workbench and dataset for ethical and legal reasoning is presented. This workbench simultaneously supports development, experimentation, assessment and deployment of formal logics and ethical and legal theories at different conceptual layers. More concretely, it comprises, in form of a dataset (Isabelle/HOL theory files), formal encodings of multiple deontic logics, logic combinations, deontic paradoxes and normative theories in the higher-order proof assistant system Isabelle/HOL. The data were acquired through application of the LogiKEy methodology, which supports experimentation with different normative theories, in different application scenarios, and which is not tied to specific logics or logic combinations. Our workbench consolidates related research contributions of the authors and it may serve as a starting point for further studies and experiments in flexible and expressive ethical and legal reasoning. It may also support hands-on teaching of non-trivial logic formalisms in lecture courses and tutorials. The LogiKEy methodology and framework is discussed in more detail in the companion research article titled “Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support” [5]. Elsevier 2020-10-15 /pmc/articles/PMC7586073/ /pubmed/33134442 http://dx.doi.org/10.1016/j.dib.2020.106409 Text en © 2020 The Author(s). Published by Elsevier Inc. http://creativecommons.org/licenses/by/4.0/ This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/). |
spellingShingle | Data Article Benzmüller, Christoph Farjami, Ali Fuenmayor, David Meder, Paul Parent, Xavier Steen, Alexander van der Torre, Leendert Zahoransky, Valeria LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title | LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title_full | LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title_fullStr | LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title_full_unstemmed | LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title_short | LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) |
title_sort | logikey workbench: deontic logics, logic combinations and expressive ethical and legal reasoning (isabelle/hol dataset) |
topic | Data Article |
url | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7586073/ https://www.ncbi.nlm.nih.gov/pubmed/33134442 http://dx.doi.org/10.1016/j.dib.2020.106409 |
work_keys_str_mv | AT benzmullerchristoph logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT farjamiali logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT fuenmayordavid logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT mederpaul logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT parentxavier logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT steenalexander logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT vandertorreleendert logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset AT zahoranskyvaleria logikeyworkbenchdeonticlogicslogiccombinationsandexpressiveethicalandlegalreasoningisabelleholdataset |