Newsgroups: fr.announce.seminaires
Distribution: fr
To: fr-sem@frmug.org
From: Hugo.Herbelin@inria.COUPER-CECI.fr
Organization: INRIA-Rocquencourt
Subject: SEM - INRIA : Coq - 07/04/2000 - Paris - FR

           http://pauillac.inria.fr/bin/calendar/Seminaires


                             S E M I N A I R E

   ____              ____    .                   
  /   _   _        /    ___   __  /_  _   /     /| /|  _   __ __ _       _ 
 /   / \ / \  _   /    /   / /_  /   __| /  _  / |/ | / \ /_ /  / \ | / __|
|___ |_/ |_/     |___ /   / __/ |_  |_/ |_    /     | |_/__/ |_ |_/ |/ |_/
          /                                                                 
         /                                                                  
                          I N R I A - Rocquencourt, 
                       Salle de conference du Bat 11

                          Vendredi 7 avril, 10h30

                             ------------------
                             Jean-Vincent Loddo
                             ------------------

                                    PPS

     ==================================================================
     Alpha-Beta, un algorithme polyvalent pour jouer aux échecs et pour
          résoudre (efficacement) un but dans un programme logique
     ==================================================================

   La caractérisation sémantique d'un langage logique (pur ou avec
   contraintes) en terme d'un jeu à deux joueurs, permet de recycler un
   des algorithmes les plus utilisés dans la théorie des jeux combinatoire,
   Alpha-Beta, comme moteur de résolution pour les langages logiques.
   
   Les récents et spectaculaires résultats obtenus par les programmes
   d'échecs (défaite du champion du monde Kasparov contre le programme
   Deep Blue d'IBM) témoignent d'une sorte d'intelligence artificielle
   acquise par ces programmes qui peut être transposée et exploitée dans
   la résolution des langages logiques. La résolution d'interrogations
   existentielles conjonctives dans une théorie de clauses de Horn du
   premier ordre est donc, en particulier, concerné.
   
   On verra dans cet exposé que la capacité d'Alpha-Beta à simplifier le
   calcul ou, en d'autres termes, sa capacité d'élaguer les coups
   inintéressants, n'est pas intimement liée à un type de jeu ou à un
   type de gain particuliers, mais demande juste un ordre partiel entre
   les valeurs calculées et quelques propriétés algébriques aux fonctions
   associées aux joueurs, le "min" et le "max". Les valeurs calculées
   pourront être ainsi des naturels, comme dans le cas des échecs, ou des
   substitutions ou contraintes, comme dans le cas des langages logiques.