ODEC 9070 - Interactions droit, logique, informatique : formalisation du raisonnement et automatisation
Le développement de l'informatique, du raisonnement automatisé, celle de l'exploitation des données via par exemple l'explosion récente des applications d'intelligence artificielle génératives offrent des perspectives nouvelles aux sciences juridiques. Pour se concrétiser, celles-ci nécessitent toutefois une interaction étroite et une compréhension fine des méthodes et enjeux de chacune de ces disciplines.
La première partie du séminaire offrira, à travers deux interventions, une perspective comparée sur la nature des raisonnements juridiques et logiques et la façon dont les preuves se construisent dans les deux domaines. Le séminaire se poursuivra ensuite par la description d'approches récentes dans le domaine de l'automatisation (en un sens très large) et de la formalisation du droit : les processus de transformation de la loi en code, basé sur la programmation littéraire ; les méthodes formelles pour la codification et la consolidation des textes juridiques ; les approches logiques pour la formalisation du raisonnement.