Reference : The pragmatic oddity in a norm-based semantics
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/31638
The pragmatic oddity in a norm-based semantics
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) >]
Jun-2017
16th International Conference on Artificial Intelligence & Law (ICAIL-17)
Governatori, Guido
ACM
Yes
No
International
New York
USA
16th International Conference on Artificial Intelligence & Law (ICAIL-17)
From 12-06-2017 to 16-06-2017
London
UK
[en] Theory of computation ; Logic ; Legal knowledge representation
[en] The ideal worlds of a possible worlds semantics may satisfy both a primary obligation and an associated secondary obligation, for example the obligation to keep a promise and the obligation to apologise for not keeping it. This is known as the pragmatic oddity introduced by Prakken and Sergot. We argue that an adequate treatment of the pragmatic oddity within a norm-based semantics can be obtained, by not allowing primary and secondary obligations to aggregate, because they are obligations of a di erent kind. On the basis of this conceptual analysis, we introduce two logics, depending on the stance taken on the representation of normative con icts, and we present sound and complete proof systems for these logics. We then give a formal analysis, discuss extensions, and highlight various topics for further research.
European Commission - EC
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/31638
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
33camera.pdfAuthor preprint548.69 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.