The project ProLeMAS aimed at (1) using reification to fill the gap between the current formalizations in deontic logics and the richness of natural language semantics and (2) implementing tools for (semi-)automatically building machine-readable representations from legal texts via NLP. The supervisor of the project is Leon van der Torre.

The following two main limitations of current approaches in deontic logic were identified and addressed in ProLeMAS:

  1. Proposals in deontic logic are typically propositional, i.e. their basic components are whole propositions. A proposition basically refers to a whole sentence. On the other hand, NLS includes a wide range of fine-grained intra-sentence linguistic phenomena: named entities, anaphora, quantifiers, etc. It is then necessary to move beyond the propositional level, i.e. to enhance the expressivity of deontic logic to formalize the meaning of the phrases constituting the sentences.
  2. Few proposals in deontic logic have been implemented and tested on real legal text. Most of them are only promising methodologies, which overcome the limits of other approaches on the theoretical side. It is time to see whether the proposed formalizations are expressive enough to handle the fine-grained linguistic phenomena mentioned above.

In ProLeMAS, a new logical framework, called reified Input/Output logic, has been devised. Reified Input/Output logic integrates the reification-based logic defined by Jerry R. Hobbs, on which I gained expertise in the context of the PDTB (cf. (Robaldo and Miltsakaki, 2014)), within the Input/Output logic proposed and extensively studied by prof. van der Torre (for an introduction, cf. [Makinson and van der Torre, 2000]) Reified Input/Output logic was later used in the project DAPRECO to model norms from the upcoming General Data Protection Regulation (GDPR).

Furthermore, in ProLeMAS a suite of NLP tools based on SDFTagger have been developed in order to convert legal documents in Akoma Ntoso, a.k.a. LegalDocML, identify named entities (proper nouns of lawyers, judges, companies, institutions, etc., geo-entities, time expressions, quantities of money, etc.), obligations, rights, etc. In the project MIREL, these procedures have been implemented in the Eunomos legal information retrieval system within entity linking and concept mining tasks with respect to the European Legal Taxonomy Syllabus.

Publications in ProLeMAS I have authored are: (Robaldo and Sun, 2017), (Sun and Robaldo, 2017), (Robaldo and Sun, 2016), (Sun et al., 2017b) .