Add AI introduction course

config.toml

@@ -23,6 +23,7 @@ enableRobotsTXT = false
     toc = true
     post_navigation = true
     mainSections = [
+        "ia",
         "secu_systeme",
         "conception_formelle",
         "secu_logicielle",

content/ia/1_introduction/index.md

@@ -0,0 +1,80 @@
+---
+title: "IA : introduction"
+date: 2023-10-10
+tags: ["IA"]
+categories: ["Intelligence artiticielle", "Cours"]
+mathjax: true
+---
+
+En terme de prévisions autour de l'intelligence artificielle, on entend tout et
+n'importe quoi et pas depuis hier! Beaucoup de prévision se sont révélée fausse
+néanmoins des progrès existent dans la génération d'image ou encore les voitures
+autonomes.
+
+Nous pouvons citer [Herbert Simon][h_simon] (1965) :
+
+> Machines will be capable, within twenty years, of doing any work a man can do
+
+Ou encore [Marvin Minsky][m_minsky] (1970)
+
+> We solved the venerable mind/body problem, explaining how a system composed 
+> of matter can have the properties of mind
+
+Mais plusieurs limitation existants encore:
+
+ * Si dans certains domaines spécialisés elle surpasse les capacité humaines, on
+   est encore loin **d'une véritable IA générale**;
+ * Des attaques contre les modèles d'apprentissage existent comme l'ajout de
+   bruit, des **erreurs dans la détection** entrainent pourtant **une détection
+   confiante**;
+ * Les limites fondamentales, comme **morales** par exemple : que doit faire
+   une voiture autonome dans une situation critique. Nous avons aussi citer les
+   biais.
+
+[h_simon]: https://fr.wikipedia.org/wiki/Herbert_Simon
+[m_minsky]: https://fr.wikipedia.org/wiki/Marvin_Minsky
+
+## Un peu d'historique
+
+Tout commence en 1950 par une publication [d'Alan Turing][a_turing] : *Can
+machine think?*
+
+Le terme *intelligence artificielle* est utilise pour la première fois en 1956
+par [John McCarthy][j_mccarthy].
+
+En 1959, le MIT lance le projet *Intelligence Artificielle*. En 1997, *Deep
+Blue* bat Gary Kasparov aux échecs. À partir de là les choses s'accélèrent : en
+2011 *Watson* bat les champions de *Jéopardy!*, en 2015 un programme
+informatique jour à des jeux vidéo *Atari*, en 2016 *AlphaGo* bat les campions
+de jeu de Go, en 2017 *Libratus* bat des champions de poker.
+
+Les progrès récents commencent à ouvrir la porte au prévisions faites dès les
+années 60 par Minsky et Simon.
+
+[a_turing]: https://fr.wikipedia.org/wiki/Alan_Turing
+[j_mccarthy]: https://fr.wikipedia.org/wiki/John_McCarthy
+
+## Définir une IA
+
+Une définissions possible est  "*formalisation et une analyse de causalités 
+d'évènements*". Elle entraine beaucoup de fantasmes.
+
+Une première approche pourrait être "*discipline de l'informatique dont le but
+est de construire des programmes intelligents*". Dans ce cas qu'est-ce qu'un
+programme?
+
+Marvin Minsky de son côté la définie comme: *ce que l'homme ferait moyennant une
+certaine intelligence*. Donc relatif à ce que savent faire les hommes.
+
+Plus pragmatique et pratique, nous pourrions dire "*tous problèmes pour lesquels
+il n'existent pas d'algorithme connu ou avec un coût raisonnable*". Cette
+définition peut être résumée en "*problème que l'on ne sait pas résoudre
+efficacement*", elle est donc à relier avec **la théorie de la complexité**
+
+Plus adapté, "*l'intelligence artificielle doit  proposer des
+solutions logicielles permettant aux programmes de raisonner logiquement*". Cette
+définition est basée sur les formalismes logiques :
+
+ * Démonstration automatique des théorèmes;
+ * Utilisation des règles précises d'inférence;
+ * Qualités issues des mathématiques (preuves, explications).