When logic lays down the law
Bj{\o}rn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz,, Juan Jos\'e Conejero Rodr\'iguez, Eric Sancho Adamson, Aleix Sol\'e, S\'anchez, Nika Pona, Joost J. Joosten
TL;DR
This paper examines the concept of computable laws enforced by automatic procedures, highlighting issues of ambiguity, and proposes criteria and a framework for designing clearer, logically consistent laws, exemplified through road transport regulation.
Contribution
It introduces a set of desiderata for computable laws and offers a critical platform for evaluating and designing logically consistent legal regulations.
Findings
Identified ambiguities in existing computable laws
Proposed criteria for logically perfect laws
Provided a framework for assessing and designing computable laws
Abstract
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. We use a regulation on road transport to illustrate this issue, and show what some fragments of this regulation would look like if rewritten in the image of logic. We further propose desiderata to be fulfilled by computable laws, and provide a critical platform from which to assess existing laws and a guideline for composing future ones.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies