Practical Normative Reasoning with Defeasible Deontic Logic

We discuss some essential issues for the formal representation of norms to implement normative reasoning, and we show how to capture those requirements in a computationally oriented formalism, Defeasible Deontic Logic, and we provide the description of this logic, and we illustrate its use to model and reasoning with norms with the help of legal examples.

[1]  Davide Grossi,et al.  Constitutive Norms and Counts-as Conditionals , 2013 .

[2]  Michael J. Maher,et al.  Argumentation Semantics for Defeasible Logic , 2004, J. Log. Comput..

[3]  Michael J. Maher,et al.  An inclusion theorem for defeasible logics , 2010, TOCL.

[4]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

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

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

[7]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[8]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[9]  Guido Governatori,et al.  The Regorous Approach to Process Compliance , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop.

[10]  J. Searle.  The Construction of Social Reality , 1997 .

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

[12]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[13]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

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

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

[16]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[17]  Guido Governatori,et al.  Evaluation of Logic-Based Smart Contracts for Blockchain Systems , 2016, RuleML.

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

[19]  Guido Governatori.  On the relationship between Carneades and Defeasible Logic , 2011, ICAIL.

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

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

[22]  Guido Governatori,et al.  Burdens of Proof in Monological Argumentation , 2010, JURIX.

[23]  Xiwei Xu,et al.  On legal contracts, imperative and declarative smart contracts, and blockchain systems , 2018, Artificial Intelligence and Law.

[24]  Guido Governatori,et al.  No Time for Compliance , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Conference.

[25]  Michael J. Maher,et al.  Annotated defeasible logic , 2017, Theory Pract. Log. Program..

[26]  Arend Soeteman,et al.  Logic in Law , 1989 .

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

[28]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[29]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

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