Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A bimodal simulation of defeasibility in thenormative domain
Libal, Tomer; van der Torre, Leon; Gabbay, Dov M. et al.
2020In CEUR Workshop Proceedings
Peer reviewed
 

Files


Full Text
fcr2020.pdf
Author preprint (318.66 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Bimodal Logic; Contrary-to-duty Reasoning; Deontic Logic; Exceptions; Non-monotonic Reasoning; Violations
Abstract :
[en] In the present work we illustrate how two sorts of defeasiblereasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.
Disciplines :
Computer science
Author, co-author :
Libal, Tomer ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Gabbay, Dov M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Pascucci, Matteo;  Central European University
External co-authors :
yes
Language :
English
Title :
A bimodal simulation of defeasibility in thenormative domain
Publication date :
2020
Event name :
6th Workshop on Formal and Cognitive Reasoning
Event date :
22-09-2020
Audience :
International
Main work title :
CEUR Workshop Proceedings
Collection name :
2680
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 13 January 2021

Statistics


Number of views
75 (6 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu