Combining Input/Output Logic and Reification for Representing Real-World Obligations

In this paper, we propose a new approach to formalize real-world obligations that may be found in existing legislation. Specifically, we propose to formalize real-world obligations by combining insights of two logical frameworks: Input/Output logic, belonging to the literature in deontic logic and normative reasoning, and the Reification-based approach of Jerry R. Hobbs, belonging to the literature in Natural Language Semantics. The present paper represents the first step of the ProLeMAS project, whose main goal is the one of filling the gap between the current logical formalizations of legal text, mostly propositional, and the richness of Natural Language Semantics.

[1]  Martin Bichler,et al.  SLA representation, management and enforcement , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[2]  David Evans,et al.  Deontic logic for modelling data flow and use compliance , 2008, MPAC '08.

[3]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[4]  Marek J. Sergot,et al.  The British Nationality Act as a logic program , 1986, CACM.

[5]  Livio Robaldo,et al.  Interpretation and inference with maximal referential terms , 2010, J. Comput. Syst. Sci..

[6]  Antony Galton,et al.  Operators vs. Arguments: The Ins and Outs of Reification , 2006, Synthese.

[7]  Murray Shanahan,et al.  Linkk Oping Electronic Articles in the Event Calculus in Classical Logic { Alternative Axiomatisations Linkk Oping Electronic Articles in Computer and Information Science , 1999 .

[8]  Dan Flickinger,et al.  Minimal Recursion Semantics: An Introduction , 2005 .

[9]  Livio Robaldo,et al.  Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality , 2011, J. Log. Lang. Inf..

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

[11]  L. Thorne McCarty.  Deep semantic interpretations of legal texts , 2007, ICAIL.

[12]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[13]  Emmon Bach.  Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .

[14]  L. T. McCarty.  A language for legal discourse , 1989 .

[15]  L. Thorne McCarty,et al.  A language for legal Discourse I. basic features , 1989, ICAIL '89.

[16]  Jerry R. Hobbs.  Monotone Decreasing Quantiers in a Scope-Free Logical Form , 1996 .

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

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

[19]  Benedikt Löwe,et al.  Foundations of the Formal Sciences II , 2003 .

[20]  Cesare Bartolini,et al.  Reconciling Data Protection Rights and Obligations: An Ontology of the Forthcoming EU Regulation , 2015 .

[21]  Livio Robaldo,et al.  Conservativity: a necessary property for the maximization of witness sets , 2013, Log. J. IGPL.

[22]  Moe Thandar Wynn,et al.  Modeling Obligations with Event-Calculus , 2014, RuleML.

[23]  Livio Robaldo,et al.  Corpus-driven Semantics of Concession: Where do Expectations Come from? , 2014, Dialogue Discourse.

[24]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[25]  Livio Robaldo,et al.  Learning from syntax generalizations for automatic semantic annotation , 2014, Journal of Intelligent Information Systems.

[26]  Marco Colombetti,et al.  Specifying Artificial Institutions in the Event Calculus , 2009, Handbook of Research on Multi-Agent Systems.

[27]  Yasuko Obana,et al.  Co-authorship of Joint utterances in Japanese , 2015, Dialogue Discourse.

[28]  Xin Sun.  How to Build Input/Output Logic , 2014, CLIMA.

[29]  Livio Robaldo,et al.  On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences , 2014, J. Log. Lang. Inf..

[30]  Xin Sun,et al.  On the complexity of input/output logic , 2015, J. Appl. Log..