COMPULAW assumes that scale, ubiquity and autonomy of computations make it impossible for humans to directly monitor computational entities and anticipate their illegal or unethical behaviour.
To effectively govern the infosphere, the law must become computable, i.e., it must become an internal component of computational processes: legal norms, values and principles must be mapped onto, and partially translated into,
- computable representations of legal information and reasoning, that (b)
- are directly processed by computational entities.
COMPULAW aims to provide evidence-based and critical support, informed by both legal theory and computer science, to computable law: i.e., to the computable specification of legal requirements, and the engineering of Artificial Legal Agents able to comply with such requirements.
It will encompass different crucial aspects: what legal requirements in what domains and to what extent should be made computable; what technologies and architectures should be used; how to map legal information directed to humans and to computations; how to combine top-down compliance with predefined rules and learning from cases, how to addresses normative conflicts, how to apply rules according to legal values/principles, how to address compliance by machine learning systems, what formal and substantive legal constraints should govern the design and deployment of ALAs.