Abstract Normative Systems: Semantics and Proof Theory

In this paper we introduce an abstract theory of normative reasoning, whose central notion is the generation of obligations, permissions and institutional facts from conditional norms. We present various semantics and their proof systems. The theory can be used to classify and compare new candidates for standards of normative reasoning, and to explore more elaborate forms of normative reasoning than studied thus far.

[1]  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..

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

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

[4]  K. Fernow.  New York , 1896, American Potato Journal.

[5]  Alexander Bochman,et al.  Explanatory Nonmonotonic Reasoning , 2005, Advances in Logic.

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

[7]  Serena Villata,et al.  Attack Semantics for Abstract Argumentation , 2011, IJCAI.

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

[9]  Dov M. Gabbay,et al.  Handbook of deontic logic and normative systems , 2013 .

[10]  Fengkui Ju,et al.  Imperatives and Logic ∗ , 2010 .

[11]  John F. Horty,et al.  Deontic logic as founded on nonmonotonic logic , 1993, Annals of Mathematics and Artificial Intelligence.

[12]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[13]  Antonino Rotolo,et al.  On the Logical Nature of Count-as Conditionals , 2004 .

[14]  Guido Boella,et al.  A Logical Architecture of a Normative System , 2006, DEON.

[15]  Dov M. Gabbay,et al.  Reactive Kripke Models and Contrary to Duty Obligations , 2008, DEON.

[16]  Audun Stolpe.  Normative Consequence: The Problem of Keeping It Whilst Giving It up , 2008, DEON.

[17]  Guido Boella,et al.  Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.

[18]  A. Montefiore.  NORM AND ACTION , 1964 .

[19]  Leendert van der Torre,et al.  Reasoning about obligations: defeasibility in preference-based deontic logic , 1997 .

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

[21]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[22]  Serena Villata,et al.  Argumentation Patterns , 2011 .

[23]  Jörg Hansen,et al.  Deontic logics for prioritized imperatives , 2006, Artificial Intelligence and Law.

[24]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

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

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

[27]  Frank Dignum,et al.  Counts-as: Classification or Constitution? An Answer Using Modal Logic , 2006, DEON.

[28]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[29]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[30]  Leon van der Torre,et al.  Deontic Redundancy: A Fundamental Challenge for Deontic Logic , 2010, DEON.

[31]  Jan Odelstad,et al.  Normative Systems and their Revision: An Algebraic Approach , 2004, Artificial Intelligence and Law.