Deontic Logic and Normative Systems

From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B \X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ B”. We propose FC systems consisting of cumulative aggregation together with factual detachment, and we give a representation result for FC systems, as well as for FA systems consisting of simple aggregation together with factual detachment. We relate FC and FA systems to each other and to input/output logics recently introduced by Parent and van der Torre.

[1]  Guido Governatori,et al.  A Preference-Based Semantics for CTD Reasoning , 2014, DEON.

[2]  Piotr Kulicki,et al.  On deontic action logics based on Boolean algebra , 2015, J. Log. Comput..

[3]  Jörg Hansen.  Conflicting imperatives and dyadic deontic logic , 2005, J. Appl. Log..

[4]  Robert B. Hallborg,et al.  The Realm of Rights , 1995 .

[5]  J. Raz.  Practical Reason and Norms , 1975 .

[6]  Guido Governatori,et al.  Sequence Semantics for Modelling Reason-based Preferences , 2018, Fundam. Informaticae.

[7]  Tushnet Mark,et al.  An Essay on Rights , 2017 .

[8]  J. Raz,et al.  On the Nature of Rights , 1984 .

[9]  Guido Boella,et al.  Normative framework for normative system change , 2009, AAMAS 2009.

[10]  Henry Prakken,et al.  Logics for Defeasible Argumentation , 2001 .

[11]  Guido Governatori,et al.  The rationale behind the concept of goal , 2015, Theory and Practice of Logic Programming.

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

[13]  Henry Prakken,et al.  A study of accrual of arguments, with applications to evidential reasoning , 2005, ICAIL '05.

[14]  C. Wellman,et al.  A Theory of Rights: Persons Under Laws, Institutions, and Morals , 1985 .

[15]  J. Waldron,et al.  Theories of rights , 1984 .

[16]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[17]  Guido Governatori,et al.  Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments , 2015, ICAIL.

[18]  C. Wellman,et al.  An Approach to Rights: Studies in the Philosophy of Law and Morals , 1997 .

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

[20]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[21]  R. Harrison,et al.  The Nature of Rights , 2005 .

[22]  Piotr Kulicki,et al.  A systematics of deontic action logics based on Boolean algebra , 2010 .

[23]  Guido Governatori,et al.  Thou shalt is not you will , 2014, ICAIL.

[24]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.

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

[26]  Douglas Walton,et al.  An argumentation framework for contested cases of statutory interpretation , 2016, Artificial Intelligence and Law.

[27]  T. J. Smiley.  Review: Erik Stenius, The Principles of a Logic of Normative Systems , 1971 .

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

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

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

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

[32]  A. Sen,et al.  Elements of a Theory of Human Rights , 2004 .

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

[34]  Henry Prakken,et al.  An exercise in formalising teleological case-based reasoning , 2002, Artificial Intelligence and Law.

[35]  Guido Governatori,et al.  Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.

[36]  Krister Segerberg,et al.  A deontic logic of action , 1982 .

[37]  B. Hansson.  An analysis of some deontic logics , 1969 .

[38]  Piotr Kulicki,et al.  Jerzy Kalinowski’s Logic of Normative Sentences Revisited , 2015, Stud Logica.