ProLeMAS
ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0ProLeMAS project word cloud
Explore the words cloud of the ProLeMAS project. It provides you a very rough idea of what is the project "ProLeMAS" about.
Project "ProLeMAS" data sheet
The following table provides information about the project.
| Coordinator |
UNIVERSITE DU LUXEMBOURG
Organization address contact info |
| Coordinator Country | Luxembourg [LU] |
| Project website | http://www.liviorobaldo.com/prolemas.html |
| Total cost | 160˙800 € |
| EC max contribution | 160˙800 € (100%) |
| Programme |
1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility) |
| Code Call | H2020-MSCA-IF-2014 |
| Funding Scheme | MSCA-IF-EF-ST |
| Starting year | 2015 |
| Duration (year-month-day) | from 2015-06-01 to 2017-05-31 |
Partnership
Take a look of project's partnership.
| # | ||||
|---|---|---|---|---|
| 1 | UNIVERSITE DU LUXEMBOURG | LU (ESCH-SUR-ALZETTE) | coordinator | 160˙800.00 |
Map
Project objective
Existing technologies usually represent norms as formal rules involving deontic operators. Such a rule-based representation of norms is not suitable to handle real data. Norms emerge from laws via an interpretation process. The methodology of Normative Multi-agent Systems (NorMas) by prof. Boella and prof. van der Torre has been conceived to overcome these limits. Nevertheless, the current formalization of NorMas features two main limitations. Firstly, its models are based on deontic logic such as input/output logic. Deontic logic is typically propositional, i.e. its basic components are propositions connected by modal operators. A proposition basically refers to a whole sentence. On the other hand, natural language semantics includes a wide range of fine-grained intra-sentence linguistic phenomena: named entities, scope-sensitive operators, etc. It is then necessary to move beyond the propositional level, i.e. to enhance the expressivity of NorMas fit to formalize the meaning of the phrases constituting the sentences (noun phrases, verbal phrases, named entities, etc.). Secondly, NorMas has never been implemented and tested on real legal text. Currently, NorMas is only a promising logical theory, but it is time to see how it behaves on real data, in order to make it suitable for commercial applications. Drawing from my past experience in natural language semantics, parsing, and corpora building, I propose a project for extending NorMas in that sense, leading to ProLeMAS: (Processing Legal language in normative Multi-Agent Systems), a new logic for normative reasoning in multi-agent systems. In particular, the present project aims at (1) filling the gap between the current formalization of NorMas and the richness of natural language semantics (2) Implementing a pipeline from legal text to ProLeMAS formulae, passing through parsing and reasoning.
Publications
| year | authors and title | journal | last update |
|---|---|---|---|
| 2016 |
Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido Textual Inference with Deep Learning Technique published pages: , ISSN: , DOI: |
2019-07-24 | |
| 2016 |
Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law published pages: 245-283, ISSN: 0924-8463, DOI: 10.1007/s10506-016-9184-3 |
Artificial Intelligence and Law 24/3 | 2019-07-24 |
| 2016 |
Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation published pages: , ISSN: , DOI: 10.3233/978-1-61499-609-5-41 |
2019-07-24 | |
| 2017 |
Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri Combining Input/Output Logic and Reification for Representing Real-World Obligations published pages: 217-232, ISSN: , DOI: 10.1007/978-3-319-50953-2_16 |
2019-07-24 | |
| 2017 |
Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology published pages: 325-375, ISSN: 1570-5838, DOI: 10.3233/AO-170174 |
Applied Ontology 11/4 | 2019-07-24 |
| 2017 |
Xin Sun, Livio Robaldo On the complexity of input/output logic published pages: , ISSN: 1570-8683, DOI: 10.1016/j.jal.2017.03.002 |
Journal of Applied Logic | 2019-07-24 |
| 2017 |
Livio Robaldo, Xin Sun Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation published pages: , ISSN: 0955-792X, DOI: 10.1093/logcom/exx009 |
Journal of Logic and Computation | 2019-07-24 |
| 2016 |
Xin Sun, Livio Robaldo Logic and Games for Ethical Agents in Normative Multi-agent Systems published pages: 367-375, ISSN: , DOI: 10.1007/978-3-319-33509-4_29 |
2019-07-24 | |
| 2016 |
Livio Robaldo and Xin Sun Reified Input/Output logic - a position paper published pages: , ISSN: , DOI: |
2019-07-24 | |
| 2016 |
X. Sun, L. Robaldo Ali Baba and Thief, Norm Emergence in Games published pages: , ISSN: , DOI: |
Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016) | 2019-07-24 |
| 2016 |
Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, and Livio Robaldo Framework to Reason about the Legal Compliance of Security Standards published pages: , ISSN: , DOI: |
2019-07-24 | |
| 2016 |
X. Sun, L. Robaldo Norm Creation in Proposition Control Games published pages: , ISSN: , DOI: |
2019-07-24 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "PROLEMAS" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "PROLEMAS" are provided by the European Opendata Portal: CORDIS opendata.