Reference : A bimodal simulation of defeasibility in thenormative domain
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/45478
A bimodal simulation of defeasibility in thenormative domain
English
Libal, Tomer mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Gabbay, Dov mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pascucci, Matteo [Central European University]
2020
CEUR Workshop Proceedings
2680
Yes
International
6th Workshop on Formal and Cognitive Reasoning
22-09-2020
[en] Bimodal Logic ; Contrary-to-duty Reasoning ; Deontic Logic ; Exceptions ; Non-monotonic Reasoning ; Violations
[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.
http://hdl.handle.net/10993/45478

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
fcr2020.pdfAuthor preprint311.2 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.