Les recherches portent sur des domaines tres varies, mais leur unite vient de l'utilisation de metaconnaissances pour utiliser ou decouvrir des connaissances. Les theses recentes s'orientent de plus en plus vers le probleme de la decouverte des connaissances.
Poursuit la realisation d'un systeme capable de creer de nouveaux problemes dans des domaines varies, en particulier en geometrie, en chimie, en electricite, en mecaniqueÐIl est important d'avoir de tels systemes en EIAO de facon a pouvoir proposer a l'eleve des problemes adaptes aux domaines que l'on souhaite lui faire approfondir et d'un niveau de difficulte que l'on peut controler. Les connaissances du domaine d'application sont donnees independamment de l'expertise de creation de problemes qui est generale. Le systeme peut proposer des problemes faisant intervenir plusieurs exercices couples; en effet, deux exercices peuvent avoir des traits de surface voisins (probleme de poulies ou probleme de plan incline) et des methodes de resolution differentes ou l'inverse. En proposant aux eleves de tels couples de problemes, on espere qu'ils seront amenes a mieux comprendre le domaine etudie: cela les entraine a reflechir aux phenomenes physiques plutot que d'essayer de resoudre les problemes en combinant aveuglement les donnees dans les formules connues.
Système d'apprentissage par auto-observation.
Application au jeu de Go.
Thèse de l'université Paris 6. 13/12/96
Acheve l'experimentation d'un programme capable d'apprendre a jouer au Go. L'enseignant donne des commentaires au systeme sur les coups joues. Le systeme en tire parti pour l'avenir. Il a joue de nombreuses parties et son niveau est des a present tres honorable aux autres programmes de Go (aux environs de 17 kyu); il est classe dans l'echelle programmes de Go. Il essaye actuellement de mieux analyser les raisons d'un 'un echec en utilisant formellement les regles du jeu.
La conception et la realisation d'un
generateur automatique de commentaires : le systeme GeneCom. Application au jeu
du Tarot.
These de l'Universite Paris 6. 12-1-1995.
Dans le cadre de cette these, J-M.Nigro a realise et experimente un programme commentant une partie de tarot. Ce jeu de cartes est a information incomplete, les methodes combinatoires sont donc inutilisables. Pour faire des commentaires senses, il est naturellement capable de jouer tres correctement aussi bien dans le role des attaquants que dans celui du defenseur. Un sous-produit de ce travail a ainsi ete le systeme Bateleur capable de jouer une excellente partie de tarot.Pour engendrer automatiquement les commentaires, il ne suffit pas de donner des explications pour chaque coup joue ; il faut choisir les coups que l'on va expliquer, et aussi pour quels coups non joues on va donner une explication du type "Pourquoi pas ?". Il faut egalement se rendre compte si un coup qui a conduit a un bon resultat ne serait pas quand meme foncierement mauvais : son succes ne serait du qu'a une repartition des cartes hautement improbable. Le systeme est capable de deviner les plans et les buts du joueur et peut ainsi lui expliquer pourquoi un coup a ete joue a tort. Il fait des commentaires aussi bien au niveau strategique qu'au niveau tactique. Ce commentaire est adapte au niveau du lecteur.De tels systemes sont interessants pour l'EIAO, car ils permettent de donner spontanement une explication adaptee a chaque eleve. Ils sont egalement utilses pour l'apprentissage, l'explication qu'ils donnent pouvant donner lieu ulterieurement a un apprentissage intelligent.
Modelisation cognitive du joueur de Go.
These de l'Universite Paris 6. 13-1-1995.
B.Bouzy, qui a ete vice-champion de France de Go, a realise un programme jouant au Go. Accessoirement, il a realise le premier programme francais complet de Go, qui joue dans la classe des meilleurs programmes existants. Ces derniers ont demande une dizaine d'annees d'effort de developpement. Son but essentiel a ete d'etudier en la modelisant la facon dont les joueurs humains jouent ; pour cela, il s'est observe et il a tire parti de son experience d'enseignant du Go. Il a programme un nombre considerable de concepts utiles pour bien jouer au Go ; certains de ces concepts ne sont pas apparents dans les ouvrages du domaine, les joueurs les utilisant inconsciemment. Il a introduit des methodes venant de disciplines variees, en particulier de la morphologie mathematique et de la theorie des jeux de Conway, pour modeliser de facon satisfaisante les methodes que les joueurs humains semblent employer.
GOBELIN. Une approche pragmatique de l'abstraction appliquee a
la modelisation de la strategie elementaire du jeu de Go.
These de l'Universite Paris 6. 16-12-95.
Le but de ce travail est d'etudier l'abstraction qui permet d'analyser les caracteristiques essentielles d'une situation sans avoir a faire face a une explosion combinatoire. On neglige en effet de nombreuses caracteristiques secondaires et on fusionne plusieurs actions voisines en une seule action abstraite. Le nombre d'actions abstraites est donc bien plus faible et leurs consequences sont a mesurer sur un nombre plus restreint de criteres. Un tel systeme passe par trois etapes: abstraction de la situation reelle, puis decision dans l'univers abstrait, puis precision de la decision abstraite dans l'univers reel. Le jeu de Go est particulierement interessant dans cette optique, car le nombre de coups possibles est tres eleve et les parties comprennent un grand nombre de coups; la combinatoire tactique chere a beaucoup de programmes de jeu est inapplicable pratiquement et une reflexion strategique s'avere indispensable. Le systeme contruit une abstraction du goban, il y joue un coup et il s'en sert pour selectionner le coup qu'il jouera dans le goban reel. Cette methode est particulierement bien adaptee au debut de partie. Cette analyse sert aussi a expliquer les coups joues.
DIACODEX: Un langage et un systeme pour
effectuer un diagnostic a l'aide de connaissances declaratives expertes.
These de l'Universite Paris 6. 18-12-95.
Le but principal de cette these est de montrer l'interet d'un systeme qui recoive toutes ses connaissances sous forme totalement declarative et toutes ses methodes de raisonnement egalement sous forme declarative. Il est important d'avoir un formalisme de representation des connaissances d'un domaine plus declaratif que les regles d'un systeme expert. En effet, a partir du moment où le nombre de regles devient important, l'utilisateur y insere des aspects proceduraux pour avoir une efficacite acceptable ; mais alors les modifications ou les ajouts deviennent difficiles. Par ailleurs, les specialistes d'un domaine ne peuvent pas toujours utiliser uniquement les outils de la logique classique; il est important de pouvoir decrire des methodes de raisonnement adaptees a chaque domaine.Pour experimenter ces idees, le systeme a ete teste sur le diagnostic de maladies, ce travail ayant ete fait en collaboration avec des medecins. On ne part pas de regles de diagnostic, mais de la description des maladies. Les concepts du raisonnement medical, comme "evoque" ou "renforce", ont ete formalises. Le systeme dispose de metaconnaissances pour utiliser efficacement ces connaissances declaratives sur le domaine ou sur le raisonnement; elles sont parfaitement generales et ne contiennent rien qui soit lie a la medecine.