Colloque du
Département d'Informatique et de Recherche Opérationnelle
Planification
avec des connaissances stratégiques pour les
systèmes autonomes
Je présenterai des approches
récentes auxquelles j’ai contribué au niveau des
techniques de planification et leurs applications. Je commencerai par
expliquer l’algorithme de planification TLPLAN, basé sur
la planification avec des connaissances stratégiques
exprimées dans la logique temporelle linéaire
(LTL). Je décrirai ensuite les travaux en cours pour
l’intégration de cette approche dans une architecture
d’intelligence pour des robots mobiles. Je parlerai enfin d’une
autre architecture pour un système de simulation du bras-robot
canadien visant à former les astronautes sur les manipulations
dans l’espace.
Bio: Froduald Kabanza est professeur titulaire au
département d’informatique à l’Université de
Sherbrooke. Il a obtenu un baccalauréat en informatique
à l’Université de Liège en 1988 et un
doctorat (toujours à Liège) 1992. Fin 1992, il
commençait un post-doctorat à l’Université de
Waterloo (Ontario). Mi-1993, il devenait professeur adjoint
à l’Université de Sherbrooke; professeur
agrégé en 1998; et professeur titulaire en 2002.
Ses recherches visent essentiellement à développer
des systèmes informatiques ayant la capacité du
raisonnement humain. En intelligence artificielle, il a largement
contribué au développement de nouveaux algorithmes de
planification (notamment les méthodes TLPLAN et SIMPLAN) et des
architectures d’intégration d’intelligence utilisant la
planification.
Jeudi le 13 octobre 2005, 15h30, pavillon
Aisenstadt,
salle 6214
Information : Pierre L'Ecuyer
(lecuyer@iro.umontreal.ca)