Theory of computation; Logic; Legal knowledge representation
Abstract :
[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.
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 :
The pragmatic oddity in a norm-based semantics
Publication date :
June 2017
Event name :
16th International Conference on Artificial Intelligence & Law (ICAIL-17)
Event place :
London, United Kingdom
Event date :
From 12-06-2017 to 16-06-2017
Audience :
International
Main work title :
16th International Conference on Artificial Intelligence & Law (ICAIL-17)
Editor :
Governatori, Guido
Publisher :
ACM, New York, United States
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts