Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Aqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
2018MIREL 2018 workshop on MIning and REasoning with Legal texts
 

Files


Full Text
System E final.pdf
Author postprint (622.08 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Dyadic deontic logic E; Preference models; Classical higher-order logic; Semantic embedding; Automated reasoning
Abstract :
[en] We devise a shallow semantical embedding of \AA{}qvist's dyadic deontic logic {\bf E} in classical higher-order logic. This embedding is encoded in Isabelle/HOL, which turns this system into a proof assistant for deontic logic reasoning. The experiments with this environment provide evidence that this logic \textit{implementation} fruitfully enables interactive and automated reasoning at the meta-level and the object-level.
Disciplines :
Computer science
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 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)
External co-authors :
yes
Language :
English
Title :
Aqvist's Dyadic Deontic Logic E in HOL
Publication date :
17 September 2018
Event name :
MIREL 2018 workshop on MIning and REasoning with Legal texts
Event organizer :
University of Luxembourg
Event place :
Luxembourg
Event date :
17-09-2018
Audience :
International
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 25 October 2018

Statistics


Number of views
196 (28 by Unilu)
Number of downloads
177 (13 by Unilu)

Bibliography


Similar publications



Contact ORBilu