Reference : LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Lega...

	Document type :	Scientific journals : Other
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/45489

Title :	LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)
Language :	English
Author, co-author :	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Farjami, Ali [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
	Fuenmajor, David [Freie Universität Berlin > Department of Mathematics and Computer Science]
	Meder, Paul Joseph Yves [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
	Parent, Xavier [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
	Zahoransky, Valeria [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Publication date :	Dec-2020
Journal title :	Data in Brief
Publisher :	Elsevier
Volume :	33
Peer reviewed :	Yes (verified by ORBilu)
Audience :	International
ISSN :	2352-3409
e-ISSN :	2352-3409
City :	New York
Country :	NY
Keywords :	[en] Trustworthy and responsible AI ; Knowledge representation and reasoning ; Automated theorem proving ; Higher-Order Logic ; Normative reasoning ; Normative systems ; Semantical embedding
Abstract :	[en] 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.
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/45489
DOI :	10.1016/j.dib.2020.106409
Other URL :	https://www.sciencedirect.com/science/article/pii/S2352340920312919
Commentary :	Data set referring to the article available at: https://doi.org/10.1016/j.artint.2020.103348

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access 1-s2.0-S2352340920312919-main.pdf Under a Creative Commons license, see https://creativecommons.org/licenses/by/4.0/ Publisher postprint 3.29 MB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map