Journal of Philosophical Logic 42 (6):799-829 (2013)

Abstract
In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with a new operator representing ordered sequences of strong permissions. The logical system is studied from a computational standpoint and is shown to have linear computational complexity
Keywords Deontic logic  Defeasible logic  Permission  Computational complexity
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10992-013-9295-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,464
Through your library

References found in this work BETA

Norm and Action: A Logical Enquiry.Georg Henrik von Wright - 1963 - New York, NY, USA: Routledge and Kegan Paul.
Input/Output Logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.
Permission From an Input/Output Perspective.David Makinson & Leendert van der Torre - 2003 - Journal of Philosophical Logic 32 (4):391 - 416.
A Theory of Permission Based on the Notion of Derogation.Audun Stolpe - 2010 - Journal of Applied Logic 8 (1):97-113.

View all 9 references / Add more references

Citations of this work BETA

On the Complexity of Input/Output Logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.

View all 8 citations / Add more citations

Similar books and articles

A Computational Framework for Institutional Agency.Guido Governatori & Antonino Rotolo - 2008 - Artificial Intelligence and Law 16 (1):25-52.
Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
Contrary-to-Duty Obligations.Henry Prakken & Marek Sergot - 1996 - Studia Logica 57 (1):91 - 115.
Defeasible Reasoning and Logic Programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.

Analytics

Added to PP index
2013-09-17

Total views
34 ( #337,586 of 2,520,774 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,774 )

How can I increase my downloads?

Downloads

My notes