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...

Descripción completa

Detalles Bibliográficos
Autores principales: Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria
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