Ce cours s’intéresse au domaine de l’éthique computationnelle ainsi qu’à l’usage de l’IA pour modéliser des raisonnements légaux (juris-informatics), présentant des approches qui visent à garantir la conformité éthique et légale de systèmes intégrant des IAs. L’accent est mis sur les approches formelles, permettant de modéliser ou d’apprendre des normes de conduite à travers notamment l’apprentissage symbolique relationnel (ou Programmation Logique Inductive), aussi très utilisé pour la découverte de connaissance scientifique, en particulier en bioinformatique. Ce cours abordera aussi les mécanismes de raisonnement causaux et leurs usages pour formaliser des notions de responsabilité, avant de proposer une initiation à ProLeg, extension du langage de programmation logique prolog adaptée aux raisonnements légaux. Ce cours pourra être donné en anglais s’il y a des étudiants non-francophones.
Équipe pédagogique
- Gauvain Bourgne
- Nicolas Maudet
Prérequis
- Ce cours s’adresse à des étudiants ayant des connaissances en logique (idéalement logiques classiques et modales). Des connaissances préalables en programmation logique (prolog, Answer Set Programming ou Programmation Logique Inductive) sont utiles.
Évaluation
- 20 % contrôle continu (rendus de TP ou mini-projets)
- 30 % présentation orale d’article
- 50 % examen
Informations
- Période: M2 S1
- Langue: français
- Crédits: 3 ECTS
- Code UE: UM5IN871