Reference : Aqvist's Dyadic Deontic Logic E in HOL
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37014
Aqvist's Dyadic Deontic Logic E in HOL
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Farjami, Ali mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
17-Sep-2018
Yes
International
MIREL 2018 workshop on MIning and REasoning with Legal texts
17-09-2018
University of Luxembourg
Luxembourg
[en] Dyadic deontic logic E ; Preference models ; Classical higher-order logic ; Semantic embedding ; Automated reasoning
[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.
http://hdl.handle.net/10993/37014
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
System E final.pdfAuthor postprint607.5 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.