Computing Strong and Weak Permissions in Defeasible Logic

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.

[1]  Guido Governatori,et al.  A defeasible logic for modelling policy-based intentions and motivational attitudes , 2009, Log. J. IGPL.

[2]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[3]  Leon van der Torre,et al.  Permission from an Input/Output Perspective , 2003, J. Philos. Log..

[4]  Guido Boella,et al.  Permission and authorization in normative multiagent systems , 2005, ICAIL '05.

[5]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[6]  Alf Ross,et al.  Directives and norms , 1968 .

[7]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[8]  Guido Governatori,et al.  Possible World Semantics for Defeasible Deontic Logic , 2012, DEON.

[9]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[10]  A. P. Carrillo.  Newcomb Hohfeld, Wesley: Fundamental Legal Conceptions as Applied in Judicial Reasoning , 1965 .

[11]  G. Governatori.  Chapter XX The Journey to Business Process Compliance , 2012 .

[12]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[13]  Guido Governatori,et al.  What Are the Necessity Rules in Defeasible Reasoning? , 2011, LPNMR.

[14]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[15]  Giovanni Sartor,et al.  Doing justice to rights and values: teleological reasoning and proportionality , 2010, Artificial Intelligence and Law.

[16]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[17]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[18]  Jörg Hansen,et al.  On a Fundamental Problem of Deontic Logic , 2008 .

[19]  Audun Stolpe.  Relevance, Derogation and Permission , 2010, DEON.

[20]  Frank Dignum,et al.  The logic of enactment , 1997 .

[21]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[22]  Guido Governatori,et al.  Rule Based Business Process Compliance , 2012, RuleML.

[23]  Guido Governatori,et al.  The Journey to Business Process Compliance , 2009, Handbook of Research on Business Process Modeling.

[24]  Michael J. Maher.  Propositional defeasible logic has linear complexity , 2001, Theory and Practice of Logic Programming.

[25]  Norberto Bobbio,et al.  Teoria della norma giuridica , 1958 .

[26]  Guido Boella,et al.  Permissions and Undercutters , 2003 .

[27]  Guido Governatori,et al.  Three Concepts of Defeasible Permission , 2011, JURIX.

[28]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[29]  C. E. Alchourrón,et al.  Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .

[30]  Jan Woleński,et al.  Normative Systems, Permission and Deontic Logic* , 1991 .

[31]  Robert Alexy,et al.  On balancing and subsumption: A structural comparison , 2003 .

[32]  Mark A. Brown.  Conditional obligation and positive permission for agents in time , 2000 .

[33]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

[34]  Guido Governatori,et al.  Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance , 2011, CLIMA.

[35]  G. Sartor.  Legal Reasoning: A Cognitive Approach to Law , 2005 .

[36]  Audun Stolpe,et al.  A theory of permission based on the notion of derogation , 2010, J. Appl. Log..

[37]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.