First Experiments with a Flexible Infrastructure for Normative Reasoning

Reference : First Experiments with a Flexible Infrastructure for Normative Reasoning


	Document type :	E-prints/Working papers : Already available on another site
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37466

Title :	First Experiments with a Flexible Infrastructure for Normative Reasoning
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)]
	Parent, Xavier [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Publication date :	2018
Publisher :	CoRR
Peer reviewed :	No
ISSN :	2331-8422
City :	Cornell University
Country :	USA
Keywords :	[en] own ; Higher Order Logic ; Deontic Logic Automated Reasoning ; Universal Reasoning
Abstract :	[en] A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach based on shallow semantical embeddings in meta-logic HOL. The need for such a flexible reasoning infrastructure is motivated and illustrated with a contrary-to-duty example scenario selected from the General Data Protection Regulation.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/37466
Other URL :	http://arxiv.org/abs/1804.02929
Commentary :	http://arxiv.org/abs/1804.02929
source URL :	http://arxiv.org/abs/1804.02929

There is no file associated with this reference.

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