Orateur
Description
Cet exposé retrace mon expérience au sein d'un projet en ``Computational
Law'': une tentative de formaliser la loi avec des méthodes informatiques. Je
décris les ambitions initiales, sur-dimensionnées, qui ont été réduites pour se
concentrer sur des contrats. Je discute quels mécanismes logiques sont utilisés pour
formaliser des règles et des systèmes de règles (avec des notions de
coordination entre règles comme des priorités), et comment on peut raisonner
avec des règles (pour explorer un scénario spécifique) et sur des ensembles de
règles (pour assurer leur complétude et leur cohérence). J'aborde la
formalisation de processus qui se déroulent dans le temps, et comment des
aspects déontiques sont traités - ou plutôt esquivés. Dans un domaine comme la
loi, l'interaction avec un public non spécialiste est essentiel. Je décris
l'interfaçage avec un outil de traitement du langage naturel, et les
bouleversements induits par l'arrivée de l'intelligence artificielle générative.
