The pragmatic oddity in a norm-based semantics

Parent, Xavier; van der Torre, Leon

Reference : The pragmatic oddity in a norm-based semantics


	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/31638

Title :	The pragmatic oddity in a norm-based semantics
Language :	English
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) >]
Publication date :	Jun-2017
Main document title :	16th International Conference on Artificial Intelligence & Law (ICAIL-17)
Editor :	Governatori, Guido
Publisher :	ACM
Peer reviewed :	Yes
On invitation :	No
Audience :	International
City :	New York
Country :	USA
Event name :	16th International Conference on Artificial Intelligence & Law (ICAIL-17)
Event date :	From 12-06-2017 to 16-06-2017
Event place (city) :	London
Event country :	UK
Keywords :	[en] 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.
Funders :	European Commission - EC
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/31638
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	33camera.pdf		Author preprint	548.69 kB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices