When logic lays down the law
Artificial Intelligence
2018-10-09 v1 Computation and Language
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.
Cite
@article{arxiv.1810.03002,
title = {When logic lays down the law},
author = {Bjørn Jespersen and Ana de Almeida Borges and Jorge del Castillo Tierz and Juan José Conejero Rodríguez and Eric Sancho Adamson and Aleix Solé Sánchez and Nika Pona and Joost J. Joosten},
journal= {arXiv preprint arXiv:1810.03002},
year = {2018}
}
Comments
26 pages