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 |
![]() ![]() ![]() ![]() |
Download options
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
Computing Strong and Weak Permissions in Defeasible Logic.Guido Governatori, Francesco Olivieri, Antonino Rotolo & Simone Scannapieco - 2013 - Journal of Philosophical Logic 42 (6):799-829.
On the Complexity of Input/Output Logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni & Gabriele Lenzini - 2020 - Journal of Logic, Language and Information 29 (4):401-449.
RuleRS: A Rule-Based Architecture for Decision Support Systems.Mohammad Badiul Islam & Guido Governatori - 2018 - Artificial Intelligence and Law 26 (4):315-344.
Patterns for Legal Compliance Checking in a Decidable Framework of Linked Open Data.Enrico Francesconi & Guido Governatori - forthcoming - Artificial Intelligence and Law:1-20.
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.
Two Approaches to the Formalisation of Defeasible Deontic Reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
Well-Founded Semantics for Defeasible Logic.Frederick Maier & Donald Nute - 2010 - Synthese 176 (2):243 - 274.
Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.
Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments.Guido Boella & Leendert van der Torre - 2008 - Artificial Intelligence and Law 16 (1):53-71.
Free Choice and Contextually Permitted Actions.F. Dignum, J. -J. Ch Meyer & R. J. Wieringa - 1996 - Studia Logica 57 (1):193 - 220.
Defeasible Reasoning and Logic Programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.
The Computational Complexity of Quantified Reciprocals.Jakub Szymanik - 2009 - In Peter Bosch, David Gabelaia & Jérôme Lang (eds.), Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. Springer.
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 )
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