Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

In this paper, we propose to combine Input/Output logic, a well-known formalism for normative reasoning, with the reification-based approach of Jerry R. Hobbs. The latter is a wide-coverage logic for Natural Language Semantics able to handle a fairly large set of linguistic phenomena into a simple logical formalism. The result is a new framework that we will call ‘reified Input/Output logic’. This paper represents the first step of a long-term research aiming at filling the gap between Input/Output logic and the richness of Natural Language Semantics. We plan in our future work to use reified Input/Output logic as the underlying formalism for applications in legal informatics to process and reason on existing legal texts, which are available in natural language only.

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

[2]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[3]  Jerry R. Hobbs Deep Lexical Semantics , 2008, CICLing.

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

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

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

[7]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

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

[9]  Robert S. Summers,et al.  Interpreting Statutes: A Comparative Study , 1991 .

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

[11]  Jerry R. Hobbs,et al.  Elaborating a Knowledge Base for Deep Lexical Semantics , 2011, IWCS.

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

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

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

[15]  Livio Robaldo,et al.  Flexible Disambiguation and Expressive Completeness in Dependency Tree Semantics , 2014, J. Semant..

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

[17]  Leon van der Torre,et al.  "Sing and Dance!" - Input/Output Logics without Weakening , 2014, DEON.

[18]  Harry Bunt,et al.  Mass Terms and Model-Theoretic Semantics , 1985 .

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

[20]  Gary Peller,et al.  The Metaphysics of American Law , 1985 .

[21]  Livio Robaldo,et al.  Dependency Tree Semantics , 2006, ISMIS.

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

[23]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[24]  L. THORNE MCCARTY Ownership: A case study in the representation of legal concepts , 2004, Artificial Intelligence and Law.

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

[26]  Livio Robaldo,et al.  Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines , 2013, RuleML.

[27]  Pierre Jouvelot,et al.  Legivoc – connecting laws in a changing world , 2013 .

[28]  Doris Liebwald,et al.  Vagueness in law: a stimulus for 'artificial intelligence & law' , 2013, ICAIL.

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

[30]  Livio Robaldo,et al.  Sense Annotation in the Penn Discourse Treebank , 2008, CICLing.

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

[32]  Livio Robaldo,et al.  Logic and Games for Ethical Agents in Normative Multi-agent Systems , 2015, EUMAS/AT.

[33]  Michael Collins,et al.  Head-Driven Statistical Models for Natural Language Parsing , 2003, CL.

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

[35]  Tim Hunter,et al.  Conservativity and Learnability of Determiners , 2013, J. Semant..

[36]  Livio Robaldo,et al.  A system for classifying multi-label text into EuroVoc , 2013, ICAIL.

[37]  J. McCarthy Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

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

[39]  H. Alshawi,et al.  The Core Language Engine , 1994 .

[40]  Alexander Bochman,et al.  A causal approach to nonmonotonic reasoning , 2004, Artif. Intell..

[41]  Leon van der Torre,et al.  Combining Constitutive and Regulative Norms in Input/Output Logic , 2014, DEON.

[42]  Livio Robaldo,et al.  On the complexity of input/output logic , 2017, J. Appl. Log..

[43]  Xavier Parent,et al.  Moral particularism in the light of deontic logic , 2011, Artificial Intelligence and Law.

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

[45]  Jerry R. Hobbs Overview of the TACITUS Project , 1986, HLT.

[46]  Tommaso Caselli,et al.  From Italian Text to TimeML Document via Dependency Parsing , 2011, CICLing.

[47]  Livio Robaldo,et al.  Linking legal open data: breaking the accessibility and language barrier in european legislation and case law , 2015, ICAIL.

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

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

[50]  Jerry Hobbs The Language of Word Meaning: Syntax and Metonymy , 2001 .

[51]  Jerry R. Hobbs,et al.  Abductive Reasoning with a Large Knowledge Base for Discourse Processing , 2011, IWCS.

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

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

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

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

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

[57]  Livio Robaldo,et al.  The Penn Discourse TreeBank 2.0. , 2008, LREC.

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

[59]  Livio Robaldo,et al.  Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law , 2016, Artificial Intelligence and Law.

[60]  Carlo Strapparava,et al.  Corpus-based and Knowledge-based Measures of Text Semantic Similarity , 2006, AAAI.

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

[62]  R. Winkels The OpenLaws project: Big Open Legal Data , 2015 .

[63]  Greg N. Carlson,et al.  Generic terms and generic sentences , 1982, J. Philos. Log..

[64]  Livio Robaldo,et al.  Independent Set Readings and Generalized Quantifiers , 2010, J. Philos. Log..

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

[66]  Fabrizio Cariani Deontic logic and normative systems : 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings , 2014 .

[67]  Livio Robaldo,et al.  The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology , 2017, Appl. Ontology.

[68]  Jörgen Jörgensen,et al.  Imperatives and logic , 1937, Erkenntnis.

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

[70]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

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