Intelligence Artificielle - Jacques Pitrat pionnier français

Pionnier de l'Intelligence Artificielle Forte

Jacques Pitrat est décédé le 14 octobre 2019. Diplômé de l'X, Ingénieur de l'Armement, Directeur de Recherche au CNRS, Jacques Pitrat a consacré sa vie à promouvoir et favoriser le développement de l'Intelligence Artificielle en France.

Pionnier de l'Intelligence Artificielle Forte et auteur de nombreuses publications, père de l'Intelligence Artificielle en France et formateur de nombreux collègues dans le domaine de l'IA, membre actif de l'Association Française pour l'Intelligence Artificielle, c'est à cet homme généreux, admirable et respecté de tous, que la communauté nationale en IA souhaite lui rendre hommage à travers de nombreux témoignages.

Retrouvez toutes les interventions des participants sous forme de vidéos : Hommage à Jacques Pitrat en Vidéos !

Ouverture de la journée par Bernadette Bouchon-Meunier (CNRS Paris –LIP6),Yves Demazeau (Président de l’AfIA).

Introduction de la Journée par Alain Berger (CA&CI AfIA - Ardans).

« Jacques Pitrat : ses activités de directeur de laboratoire »

par Bernadette Bouchon-Meunier (CNRS Paris – LIP6)

Jacques Pitrat a reçu la médaille IPMU 2006 pour les 50 années consacrées à l'Intelligence Artificielle.

« Jacques Pitrat : Directeur de recherches, directeur d’équipes en Intelligence Artificielle »

par Monique Grandbastien (Université Lorraine) & Monique Baron (Sorbonne Université)

Quatre périodes de l’Intelligence Artificielle à Jussieu avec Jacques Pitrat

1. Démarrage, le temps des pionniers (1967-1977) - Institut de Prog., GR22
2. Période « Pitrat-Laurière » (1977-1989) - GR22-CF Picard, puis LAFORIA
3. Equipe Métaconnaissances - Jacques Pitrat suite (1989-1997) - LAFORIA
4. Période LIP6 (à partir de 1997)

Eléments de contenu :

• Formation Intelligence Artificielle en 3è cycle, DEA & encadrement de thèses ;
• Vie d’équipe ;
• Développement/évolution des thèmes de recherches ;
• Contributions au développement et au rayonnement de l’Intelligence Artificielle en France et au delà.

Jacques Pitrat a eu une carrière bien remplie :

• Plus de 35 années de formation et d’encadrement de thèses en Intelligence Artificielle
• Plus de 60 années de recherche en Intelligence Artificielle.

Jacques Pitrat a formé à l’Intelligence Artificielle et accompagné en recherche, de 1967 à la première décennie 2000, plusieurs générations d’étudiants et de chercheurs (70 thèses), avec de très grandes qualités scientifiques et humaines unanimement reconnues et appréciées.

Certains de ses «disciples» ont poursuivi dans cette voie, parmi lesquels :

• C Lemaître au Mexique, MF Verdejoet F Garijoen Espagne .../...
• Anne Adam (Caen), JP Laurent (Chambéry), M Vivet(Le Mans), D Pastre(U Paris-Descartes), MO Cordier (Orsay, Rennes), JM Fouet et N Guin(Lyon), M Grandbastien(Nancy), B Bouzy et Y Parchemal(U Paris-Descartes), S Pinson et TCazenave(U Paris-Dauphine), J Courtois (EPITA) .../... [et les générations suivantes]

« Connaissance, Béchamel au chocolat »

par Marie-Odile Cordier (Université Rennes 1)

Commande d’un robot en langage naturel dans un domaine nécessitant des connaissances pragmatiques : les recettes de cuisine.

Le langage naturel suppose l’existence d’un contexte. C’est l’ensemble phrase et contexte qui contient l’information. La phrase seule est a priori ambiguë. Ce sont les connaissances de l’utilisateur qui lèvent les ambiguïtés. L’objectif de concision vise à la minimisation de la phrase tout en restant compréhensible.

Il faut donc transmettre au programme les connaissances supposées à l’interlocuteur sur le contexte.

Les langages de description de ces connaissances doivent être faciles à utiliser pour assurer l’adaptation à d’autres contextes. Ici langages procéduraux pour DICO1 et DICO2...

Langage de type commande de robot.

« Démonstration automatique, métathéorèmes, connaissances déclaratives »

par Dominique Pastre (Université Paris Descartes Honoraire)

En 1966, Jacques Pitrat publie une première thèse sur : "Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques".

Le but du travail étant d'écrire un programmae général qui découvre et ou démontre des théorèmes dans diverses axiomatiques de la logique des propositions.

« Jacques Pitrat - l'Intelligence Artificielle et les jeux »

par Tristan Cazenave (Université Paris-Dauphine)

Retour d'expérience sur la thèse avec Jacues Pitrat sur le thème : « Système d'apprentissage par auto-observation - Application au jeu de Go ».

Les idées originales de Jacques Pitrat sur L’Intelligence Artificielle et les jeux, Bootstrap et General Game Playing, sont au cœur des systèmes actuels de jeux qui ont des performances bien meilleures que les êtres humains. Les applications dépassent largement le cadre des jeux.

« La prise en compte des symétries dans CAIA »

par Jean-Yves Lucas (EDF Saclay)

Découvrir des symétries est essentiel pour réduire la combinatoire, ou pour prouver des propriétés du problème à résoudre (par exemple pas de solution unique...).

Les symétries sont extrêmement utiles pour résoudre intelligemment des problèmes combinatoires.

« Jacques Pitrat la métaconnaissance et le Bootstrap de l'IA »

par Marc Porcheron (EDF Saclay)

« Des systèmes doués d'une intelligence supérieure doivent être capables de connaître le domaine dans lequel ils travaillent, mais aussi d'examiner ce qu'ils doivent faire, ce qu'ils peuvent faire, ce qu'ils savent, ce qu'ils sont en train de faire.

Ils opèrent à un niveau "méta", au-dessus du niveau du problème à traiter ; la connaissance devient pour eux objet d'étude.

La métaconnaissance est précisément l'outil qui permet de travailler sur la connaissance et de réaliser de tels systèmes supérieurement intelligents. »

Jacques Pitrat a montré que ces principes pouvaient s'appliquer au bootstrap de la métaconnaissance, en utilisant un "moteur de démarrage".

Marc Porcheron, ingénieur sénior EDF R&D Saclay revient sur sa thèse dirigée en 1990 par Jacques Pitrat, abordant une meta-expertise de compilation de langages à base de règles de production.

« Conscience et Intelligence artificielle(s) Vues par Jacques Pitrat »

par Gérard Sabah (CNRS, directeur de recherche honoraire)

Pourquoi s’intéresser à la conscience ?

Edelman : "Les fonctionnalités nécessaires à une véritable intelligence sont celles qui, fondées sur l’inconscient, permettent l’émergence de la conscience chez l’homme".

Pourquoi pas chez les machines ?

Gérard Sabah (CNRS, directeur de recherche honoraire) revient sur quelques notions de base concernant l'Intelligence Artificielle mis en avant par Jacques Pitrat :

• L'Intelligence Artificielle est le problème le plus difficile auquel l'homme s'est attaqué.
• L’homme n’est peut-être pas assez intelligent pour le résoudre.
• Il faut s’aider des systèmes d'Intelligence Artificielle eux-mêmes à l'aide d'un amorçage.
• META : Après résolution pb, généraliser et apprendre.
• On ne copie pas l'intelligence humaine mais il est souvent bon de s'en inspirer.
• Cognition artificielle ≠ cognition humaine ;Certaines capacités cognitives artificielles sont inaccessibles aux humains (et vice versa
• N’oublions pas l’Intelligence Artificielle forte !

« From CAIA... To refpersys reflexive, introspective, meta-basedAI systems »

par Basile Starynkevitch

• What is AI ?
• Why AI systems are needed? hard problems.
• Why AI systems need to be free software?
• Pitrat’s thesis about intelligence and consequences.
• Engineering aspects of AI software systems
• What should really matter in an AI system?
• AI software and computers “are” semantics networks
• The staircase development model of bootstrapped AI.
• CAIA in practice.
• RefPerSys - a future successor to CAIA.

« L’oeuvre scientifique de Jacques Pitrat (1934-2019), une perspective historique »

par Jean-Paul Haton (Université Lorraine) & Henri Prade (CNRS Toulouse)

• Jacques Pitrat un pionnier de l’Intelligence Artificielle ... symbolique en France.
• Il a révelé une très grande continuité et cohérence dans ses recherches.
• Des recherches portées par une vision très ambitieuse qu’il avait du futur de l’Intelligence Artificielle.
• Jacques Pitrat était un partisan de l’Intelligence Artificielle forte (cf. son exposé d’il y a un an hnps://www.lip6.fr/colloquium/?guest=Pitrat).
• Jacques Pitrat a été un très grand formateur dans sa discipline avec l’encadrement de 70 thèses (toutes en Intelligence Artificielle).
• Premier français à avoir été membre du Comité Editorial de "Artificial Intelligence”.
• C’était un EuRAI, un AAAI fellow.
• Défenseur de l’Intelligence Artificielle française.
• Programmeur et expérimentateur jusqu’au bout !
• Un homme simple, charmant et passionné.

« Jacques Pitrat »

par Christian Lemaître (Université UAM Cuajimalpa Mexico)

« Jacques Pitrat, l’homme qui savait recoudre un bouton »

par Michel Buthion (Retraité des Transports Publics Lausannois)

L'intelligence Artificielle

Pourquoi

Une partie d'échec commencée au début de l'humanité entre deux ordinateurs qui seraient dix fois plus puissants que le plus puissant qui existe aujourd'hui et développeraient l'arborescence complète des coups possibles en serait aujourd'hui au 2e coup seulement.

Limite

Si je dis à un ordinateur "je prends l'avion demain", jamais il ne me répondra "alors, sors la machine à coudre". Mais un humain peut le faire : voilà plusieurs jours qu'un bouton de mon manteau est défait et si je pars en voyage, je ne peux plus attendre pour le recoudre.

Michel Buthion revient sur sa thèse de doctorat de troisième cycle dirigée par Jacques Pitrat et soutenue en 1975, sur le sujet : Un programme qui résout formellement des problèmes de construction géométriques.

« Jacques Pitrat : l'homme tel que je l'ai rencontré »

par Joël Courtois (Epita)

Joël Courtois présente SIAM ou Système Intelligent pour l'Assistance aux Manipulations, un système de diagnostic qui s'adapte aisément à de nouveaux domaines et qui enseigne sa méthode (1990).

Pour Joël Courtois, Jacques Pitrat était un Directeur de Recherche hors "norme" et redit sa sidération devant sa mémoire et sa puissance d'analyse.

Jacques Pitrat était un visionnaire au service de la science et de l'humanité, avec une gentillesse et une patience étonnante.

« Etait-ce une bonne idée de financer l’équipe Pitrat ? »

par Jean-Luc Dormoy (@jldormoy)

Le bootstrap

L'homme est trop limité pour construire une AGI seul.

Programer c'est trop dur

Machine Learning (par exemple Go) :

• Les limitations de l'homme dans la résolution de problèmes sont visibles.
• Les limitations de l'homme dans la programmation sont encore plus visibles

Conception générale de systèmes :

• Organe et fonction : appliquer l'un à l'autre et l'autre à l'un

La conscience

Vous êtes l'objet de mes pensées

Vérifier c'est trop dur

Machine Learning (par exemple Voiture autonome) :

• Les limitations de l'homme dans la conduite de systèmes sûrs sont visibles.
• Les limitations de l'homme dans la conception de systèmes sûrs encore plus visibles.

Conception générale de systèmes :

• Laisser la vérification au fonctionnement.
• (Apprendre la vérification).

Prochaine étapes en IA

Que faut-il financer ?

« 1970-1972 : bootstrapper l'IA auprès de Jacques Pitrat »

par Claude Roche (Consultant)

Clôture de cette journée par Yves Demazeau (Président de AfIA - CNRS)