Cours en anglais

Le module SD206 s’'inscrit dans la filière Science des Données (SD). Cette filière débouche naturellement sur le master Data & Knowledge de l’'Université Paris-Saclay.

L'’avenir de l’'Intelligence Artificielle se situe au-delà de l’'exploitation massive des données. L’'IA du futur demande la maîtrise des structures et des représentations symboliques. Le module SD206 (Logique et représentation des connaissances) propose une introduction à l’'IA symbolique. Il introduit une technique : la programmation en Prolog, et plusieurs concepts fondamentaux de l’'IA, relatifs à la résolution de problèmes, à la logique formelle, à l’'apprentissage automatique, à la représentation des connaissances, au traitement du langage naturel et à la complexité.

Prolog est un langage unique. Il s’'agit d’un langage déclaratif. Prolog permet de penser les problèmes en termes de contraintes plutôt qu'’en termes de procédure. Idéalement, le programmeur se contente de donner des connaissances à la machine, et celle-ci fait le reste. Prolog repose sur plusieurs notions fondamentales de la science informatique, comme la récursivité, la déclarativité, l’unification et le retour-arrière (backtracking). Prolog a été imaginé pour attaquer les problèmes de l’Intelligence Artificielle symbolique : gestion des connaissances, traitement du langage naturel, raisonnement. Ses principes de fonctionnement sont réutilisés dans les ontologies, dans les grammaires d’'unification et dans les systèmes de planification par contraintes.

Les thèmes de ce cours se rapportent à la partie ‘symbolique’ de l’'intelligence artificielle. Les modèles symboliques sont caractérisés par l’'emploi de structures et ils reposent sur l’'utilisation de la Logique. Les thèmes abordés seront pris dans la liste suivante :
- Le langage Prolog (Récursivité, backtracking, unification)
- Logique formelle (propositions et prédicats, démonstration, preuves par réfutation)
- Traitement du langage naturel (DCG, parsage par unification)
- Apprentissage (induction symbolique, minimum de complexité)
- Représentation des connaissances (logiques de description, ontologies, Web sémantique)
- Résolution de problèmes 

Basé sur un format MOOC innovant, ce module vous donnera les clés de compréhension de la révolution numérique qui bouleverse le monde des entreprises actuellement (la dernière révolution datait du début du XXème siècle…). Facebook, AirBnB, Tesla, Amazon, Uber,.. Autant d’entreprises qui ont révolutionné des pans entiers de l'’économie en quelques années (tourisme, commerce,..).
Moins visibles, des centaines de milliers de start-ups challengent de grands groupes industriels centenaires en ce qu’elles pourraient être porteuses d'’éléments de disruption de modèles économiques installés.
Quels sont les nouveaux mécanismes de l’innovation ?
En quoi les anciens secteurs sont impactés ?
Comment innover et entreprendre dans un monde numérique ?
Quels sont les nouveaux concepts et modèles centraux dans cette révolution ?
Le cours se base sur un format MOOC : vous avez du temps pour explorer les vidéos pédagogiques (proposées en version française et anglaise) et les ressources associées sur vos terminaux.
En présentiel : des séances de questions/réponses sur les contenus visionnés.

Examen: QCM ; Production d’'un contenu innovant (création d’un site web)