Colloquium d’Informatique de Sorbonne Université
Jacques Pitrat
Mardi 20 novembre 2018 18 h
Amphi 25 Sorbonne Université - Faculté des Sciences
L'IA forte
Jacques Pitrat est l'un des pionniers français de l'intelligence artificielle symbolique. Polytechnicien, ingénieur militaire des fabrications d'armement depuis 1957, nommé en 1959 adjoint au chef du service des Machines à Calculer du Laboratoire Central de l'Armement, il a obtenu son doctorat d'état en 1966, sur un sujet d'IA autour des démonstrateurs de théorèmes et de méta-théorèmes. Il a travaillé en tant que chercheur CNRS à Paris 6 de 1967 à 2000 et a dirigé 70 thèses sur la thématique de l'IA. Il poursuit sa carrière en tant que chercheur à plein temps en IA sans affiliation. Ses travaux se concentrent autour des systèmes à bases de connaissances, les démonstrateurs de théorèmes, et les méta-connaissances. Il a écrit six livres sur l'IA et a reçu le Special award "Fifty years of Artificial Intelligence" de l'IPMU. Il est également fellow de l'AAAI et de l'ECCAI, et membre d’Honneur de l'AFIA.
Résumé
Nous allons voir d'abord pourquoi l'intelligence humaine n'atteint pas le maximum absolu de l'intelligence. L'IA forte a justement pour but de créer des intelligences supérieures à la nôtre. Il est donc important de considérer les raisons de nos limites et les avantages que les systèmes artificiels ont sur nous. Développer une IA forte est un problème extraordinairement difficile, justement à cause des limites de notre intelligence : pour atteindre ce but, elle fait face à des difficultés qui peuvent la dépasser. Aussi, nous avons besoin d'aide et l'IA peut justement nous l'apporter : il s'agit de bootstrapper l'IA, c'est à dire de se faire aider par ce que l'on a déjà réalisé. Nous examinerons comment cela peut se faire pratiquement ainsi que quelques-unes des difficultés que nous allons rencontrer. Malheureusement, un minimum d'intelligence est quand même nécessaire pour réussir un tel bootstrap. Il n'est pas sûr que nous atteignons ce minimum. Dans ce cas, nous n'arriverons jamais au but final, la singularité, où l'IA se développerait toute seule ; toutefois, nous pourrons quand même aller bien plus loin que ce que permettra l'IA faible. Par contre, si nous atteignons la singularité, les conséquences dépasseront tout ce que nous pouvons imaginer.
Autres informations
Comité de Pilotage
Annonce des Colloquium
Si vous souhaitez être informé des prochains événements, vous pouvez souscrire à la liste de diffusion.
Si vous ne souhaitez plus être informé des événements, vous pouvez vous désinscrire de la liste de diffusion
- Année 2024 – 2025
- Année 2023 – 2024
-
Maurice Herlihy
25 juin 2024
Further Decentralizing Decentralized Finance -
Jean-Marc Jézéquel
04 avril 2024
Comment dompter la variabilité du logiciel ? -
Claire Mathieu
24 janvier 2024
Vehicle routing and approximation algorithms -
David Bol
21 novembre 2023
Six of the nine planetary boundaries are transgressed – How we do research in the Anthropocene?
-
Maurice Herlihy
- Année 2022 – 2023
- Année 2021 – 2022
- Année 2020 – 2021
- Année 2019 – 2020
- Année 2018 – 2019
-
Cláudio T. Silva
11 juin 2019
Urban Data Science -
Sébastiano Vigna
06 mai 2019
Four degrees of separation (and how we did it) -
Hugo Gimbert
19 mars 2019
Les algorithmes de Parcoursup -
Julie Grollier
05 février 2019
Nanodevices for Bio-inspired Computing -
Jacques Pitrat
20 novembre 2018
L'IA forte -
James Larus
23 octobre 2018
Programming Non-Volatile Memory
-
Cláudio T. Silva
- Année 2017 – 2018
-
Eric Horvitz
20 juin 2018
AI Aspirations and Advances -
Justine Cassell
15 mai 2018
Designing Bots, Virtual Humans, and Other Systems that Can Hold up Their End of the Conversation -
Léon Bottou
06 mars 2018
Une approche géométrique de l'apprentissage non supervisé -
Jean-Luc Schwartz
16 janvier 2018
Modélisation cognitive des unités de la parole -
Timothy Roscoe
30 novembre 2017
The Trouble with Hardware
-
Eric Horvitz
- Année 2016 – 2017
-
Simon Peyton Jones
23 mai 2017
Escape from the ivory tower: the Haskell journey -
Maria Chudnovsky
25 avril 2017
Induced subgraphs and coloring -
Philippa Gardner
28 mars 2017
Understanding and Verifying JavaScript Programs -
Michel Beaudoin-Lafon
28 février 2017
Interfaces Homme-Machine -
Marie-Paule Cani
22 novembre 2016
Modélisation 3D expressive -
Richard Stallman
11 octobre 2016
What Makes Digital Inclusion Good Or Bad? -
Patrick Cousot
29 septembre 2016
Abstract interpretation
-
Simon Peyton Jones
- Année 2015 – 2016
-
Patrick Flandrin
16 juin 2016
« Chirps » everywhere -
Aude Billard
12 avril 2016
Robots that exceed human capabilities -
Willy Zwaenepoel
22 mars 2016
Really Big Data -
Jon Crowcroft
19 janvier 2016
Cybersecurity and network measurement -
Isabelle Collet
24 novembre 2015
Les informaticiennes, de la dominance de classe aux discriminations de sexe -
Xavier Leroy
20 octobre 2015
Desperately seeking software perfection
-
Patrick Flandrin
- Année 2014 – 2015
-
Silvio Micali
26 mai 2015
Proofs, Secrets, and Computation -
Alessandra Carbone
14 avril 2015
The new era of biology is computational -
Serge Abiteboul
24 février 2015
Toward personal knowledge bases -
Manuel Silva
25 novembre 2014
Fluidization of discrete event models or a marriage between the discrete and the continuous -
Andrew S. Tanenbaum
28 octobre 2014
MINIX 3: A Reliable and Secure Operating System
-
Silvio Micali
- Année 2013 – 2014
-
Donald Knuth
17 juin 2014
Computer Science: All Questions Answered -
Jeannette Wing
20 mai 2014
Toward a Theory of Trust in Networks of Humans and Computers -
David Patterson
06 mai 2014
Myths about MOOCs and Software Engineering Education -
Claude Berrou
25 mars 2014
L'information mentale -
Vint Cerf
04 mars 2014
On the Preservation of Digital Information -
C.A.R. (Tony) Hoare
26 novembre 2013
Laws of concurrent system design -
Gilles Dowek
22 octobre 2013
Are formal methods the future of air traffic control?
(Is there an autopilot on board?)
-
Donald Knuth
- Année 2012 – 2013
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
25 juin 2013
Espoirs : Winners of the 2012 Gilles Kahn prize -
Robert Sedgwick
23 mai 2013
Taking Education Online: A Unique Opportunity for the New Millenium -
Frans Kaashoek
18 avril 2013
The multicore evolution and operating systems -
Stuart Russell
22 janvier 2013
Unifying logic and probability: A “New Dawn” for Artificial Intelligence? -
Georges Gonthier
27 novembre 2012
Le génie mathématique, du théorème des quatre couleurs à la classification des groupes -
Gérard Berry
24 octobre 2012
Le temps et les événements en informatique
-
Mathieu Feuillet, Camille Couprie, Mathilde Noual
- Année 2011 – 2012