Reference : Input/output logics with a consistency check
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/37887
Input/output logics with a consistency check
English
Parent, Xavier 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 Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2018
Deontic Logic and Normative Systems (DEON 2018)
Pigozzi, Gabriella mailto
Broersen, Jan mailto
Condoravdi, Cleo mailto
Nair, Shyam mailto
College Publications
deon, Volume 14
Yes
No
International
978-1-84890-278-7
London
UK
14th International Conference, DEON 2018
From 03-07-2018 to 6-07-2018
Jan Broersen
Utrecht
Netherlands
[en] Normative reasoning ; Deontic logic ; I/O logic
[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.
European Commission - EC
http://hdl.handle.net/10993/37887
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Pages from DEON2018.pdfAuthor postprint425.26 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.