Logique, droit, IA : penser les algorithmes
Le colloque est co-organisée par Alberto Naibo (Univ. Paris 1, IHPST) et Pierre-Yves Quiviger (Univ. Paris 1, ISJPS), dans le cadre du groupe de réflexion Normes, animé aussi par Jean-Yves Girard, Jean-Baptiste Joinet, Michele Abrusci et Luc Pellissier, avec le soutien du projet CAPES-COFECUB « Logique et intelligibilité des processus computationnels » et du projet ANR « La géométrie des algorithmes » (GoA).
Descriptif :
La notion d'algorithme est aujourd'hui omniprésente, non seulement dans le discours scientifique, mais aussi dans celui de la vie quotidienne, grâce à la place centrale que l'informatique occupe désormais dans notre société. Les algorithmes deviennent alors l'objet d'une réflexion qui n'est plus seulement formelle et mathématique, mais également juridique et éthique, visant à réglementer leurs usages. Toutefois, lorsque l'on parle d'algorithmes dans ces différents contextes (mathématiques, juridique, éthique, sociale, etc.), parle-t-on toujours de la même notion ? Faut-il considérer l'algorithme comme une notion ouverte à différents usages et à des interprétations multiples, ou bien s’agit-il d'un concept qui devrait être normé d’un point de vue logico-épistémologique ?