CompuLaw

Computable Law

(descrizione)

Legal protection in the era of infosphere

The increasing proliferation of data is raising some ethical and philosophical questions regarding the impact of data on society. Until now, there are no adequate law and legal instruments to rule the 'hybrid infosphere': the huge and increasingly pervasive, autonomous and intelligent computational entities transforming almost every dimension of social life. These computations are so large, fast and ubiquitous that it is impossible for humans to monitor them and anticipate all possible illegal behaviours. The EU-funded CompuLaw project proposes to make law computation-oriented. The goal is to integrate, map and partially translate legal and ethical requirements into computable representations of legal knowledge and reasoning. Computational law will help society move more smoothly into a newly-created digital space.

(obbiettivo)

The project addresses the regulation of computations (processes and systems) through an innovative legal & technological framework: it provides epistemic, technical and normative guidance for the de-velopment of computable laws and law compliant computations.

The context is the ongoing transformation of the social world into a hybrid infosphere, populated by a huge and growing number of increasingly pervasive, autonomous and intelligent computational enti-ties. The scale, speed, ubiquity and autonomy of computations make it impossible for humans to di-rectly monitor them and anticipate all possible illegal computational behaviours. The law can hold the hybrid infosphere under its rule – providing protection, security and trust – only if it be-comes computation-oriented: legal and ethical requirements must be integrated with, mapped onto, and partially translated into, computable representations of legal knowledge and reasoning.

Current legal culture still has not adequately addressed risks and potentials of computable law. My project will fill this gap, providing concepts, principles, methods and techniques and normative guide-lines to support law-abiding computations. It has the normative purpose to uphold the principle of rule of law, translating legal norms and legal values into requirements for computable laws and legally-responsive computational agents. My project will provide major methodological and substantive breakthroughs. On the one hand, it pro-poses a socio-technical methodology for regulatory design and evaluation, integrating three discipli-nary clusters: a social-legal one, a philosophical-logical one and a computing-AI one. On the other hand, it develops a framework including: (a) norms, legal values and principles for developers, de-ployers and users; (b) languages and methods to specify requirements of computations and norms directed to them; (c) cognitive architectures for legally-responsive computational agents.

(aree scientifiche) law

Info

(funding body) EU Horizon 2020 Framework Programme (H2020)
(programme) H2020-EU.1.1. – EXCELLENT SCIENCE - European Research Council (ERC)
(topic) ERC-2018-ADG – ERC Advanced Grant
(call for proposal) ERC-2018-ADG – ERC Advanced Grant
(funding scheme) ERC-ADG - Advanced Grant

Partner

Alma Mater Studiorum – Università di Bologna (UNIBO) — coordinatore
- Giovanni Sartor (Principal Investigator), Roberta Calegari (Coordinator Subproject 2), Giuseppe Contissa (Coordinator Subproject 3), Andrea Omicini (Advisory Board Member), Paolo Torroni (Advisory Board Member), Giuseppe Pisano, Federico Galli
European University Institute (EUI)
- Francesca Lagioia (Coordinator Subproject 1), Andrea Loreggia, Hans W. Micklitz
altri partecipanti
- Kevin Ashley (Advisory Board Member), Henry Prakken (Advisory Board Member), Marco Lippi (Advisory Board Member), Emiliano Lorini (Advisory Board Member), Agata Ciabattoni (Advisory Board Member), Fosca Giannotti (Advisory Board Member)

28 pubblicazioni / CompuLaw

Multi-Agent Cooperative Argumentation in Arg2P (articolo in atti, 2023) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
The PSyKE Technology for Trustworthy Artificial Intelligence (articolo in atti, 2023) — Roberta Calegari, Federico Sabbatini
Probabilistic logic programming in 2P-Kt (articolo in atti, 2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Burden of Persuasion in Meta-argumentation (articolo in atti, 2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Modular logic argumentation in Arg-tuProlog (articolo in atti, 2022) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
How to model contrary-to-duty with GCP-nets (articolo su rivista, 2022) — Andrea Loreggia, Roberta Calegari, Emiliano Lorini, Francesca Rossi, Giovanni Sartor
Arg2P: An argumentation framework for explainable intelligent systems (articolo su rivista, 2022) — Roberta Calegari, Giuseppe Pisano, Andrea Omicini, Giovanni Sartor
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (articolo in atti, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burdens of Persuasion and Standards of Proof in Structured Argumentation (articolo in atti, 2021) — Roberta Calegari, Giovanni Sartor
Burden of persuasion in argumentation: A meta-argumentation approach (articolo in atti, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (articolo su rivista, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (articolo in atti, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (articolo in atti, 2021) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
The Burden of Persuasion in Structured Argumentation (articolo in atti, 2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo su rivista, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Argumentation and Defeasible Reasoning in the Law (articolo su rivista, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Towards cooperative argumentation for MAS: An actor-based approach (articolo in atti, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Explainability through argumentation in logic programming (articolo in atti, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (articolo in atti, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
A Model for the Burden of Persuasion in Argumentation (articolo in atti, 2020) — Roberta Calegari, Giovanni Sartor
Argumentation and Logic Programming for Explainable and Ethical AI (articolo in atti, 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Computable Law as Argumentation-based MAS (articolo in atti, 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (articolo in atti, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (articolo su rivista, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (articolo su rivista, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Arg-tuProlog: A tuProlog-based argumentation framework (articolo in atti, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of Persuasion in Argumentation (articolo in atti, 2020) — Roberta Calegari, Giovanni Sartor
Arg-tuProlog: a modular logic argumentation tool for PIL (articolo in atti, 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

14 presentazioni / CompuLaw

Modular logic argumentation in Arg-tuProlog (presentazione, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
Burden of persuasion in argumentation: A meta-argumentation approach (presentazione, 29/11/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Explainability through argumentation in logic programming (presentazione, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (presentazione, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
The Burden of Persuasion in Structured Argumentation (presentazione, 23/06/2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor)
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (presentazione, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (presentazione, 07/05/2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini)
A Model for the Burden of Persuasion in Argumentation (presentazione, 10/12/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
Arg-tuProlog: a modular logic argumentation tool for PIL (presentazione, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
Argumentation and Logic Programming for Explainable and Ethical AI (presentazione, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
Arg-tuProlog: a tuProlog-based argumentation framework (presentazione, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
Burden of Persuasion in Argumentation (presentazione, 20/09/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
2P-Kt: logic programming with objects & functions in Kotlin (presentazione, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
Computable Law as Argumentation-based MAS (presentazione, 14/09/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)