A bimodal simulation of defeasibility in thenormative domain

Libal, Tomer; van der Torre, Leon; Gabbay, Dov M.; Pascucci, Matteo

Reference : A bimodal simulation of defeasibility in thenormative domain


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/45478

Title :	A bimodal simulation of defeasibility in thenormative domain
Language :	English
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]
Publication date :	2020
Main document title :	CEUR Workshop Proceedings
Collection and collection volume :	2680
Peer reviewed :	Yes
Audience :	International
Event name :	6th Workshop on Formal and Cognitive Reasoning
Event date :	22-09-2020
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/45478

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	fcr2020.pdf		Author preprint	311.2 kB	Request a copy

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

University of Luxembourg Library | Feedback | Legal notices