[en] Norm-based semantics to deontic logic typically come in an unconstrained and constrained version, where the unconstrained version comes with a proof system, and the constraints handle phenomena such as dilemmas, contrary-to-duty reasoning, uncertaintyanddefeasibility. Thisisanalogoustotheuseofrule-basedlanguagesin non-monotonic logic such as logic programming or default logic, but in contrast to the traditional modal framework. Traditionally, for example, specific modal deontic logics have been defined that make dilemmas inconsistent, as well as other modal deontic logics representing dilemmas in a consistent way. This issue was raised recently in the input/output logic framework, and weaker unconstrained logics have been defined handling phenomena like dilemmas and contrary-to-duty reasoning. In this paper we introduce a semantics and proof theory for a system with various desirable properties. We show that our new deontic logic satisfies a criterion posed several years ago by Broersen and van der Torre, allowing deontic detachment while preventing Prakken and Sergot’s pragmatic oddities as well as Sergot’s drowning problem.
Disciplines :
Computer science
Author, co-author :
PARENT, Xavier ; 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 Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Input/output logics with a consistency check
Publication date :
2018
Event name :
14th International Conference, DEON 2018
Event organizer :
Jan Broersen
Event place :
Utrecht, Netherlands
Event date :
From 03-07-2018 to 6-07-2018
Audience :
International
Main work title :
Deontic Logic and Normative Systems (DEON 2018)
Author, co-author :
Pigozzi, Gabriella
Editor :
Broersen, Jan
Condoravdi, Cleo
Nair, Shyam
Publisher :
College Publications, London, United Kingdom
ISBN/EAN :
978-1-84890-278-7
Collection name :
deon, Volume 14
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts