Raisonnement qualitatif à base de relations binaires hétérogènes / Algorithmes pour jouer et apprendre à jouer aux jeux à information parfaite
Quentin Cohen-Solal
17 janv. 2019 - 14:00Dans une première partie, je présenterai les travaux de ma thèse qui se focalisent sur les formalismes qualitatifs (le raisonnement à base de relations qualitatives) dans le cadre du raisonnement (temporel) multi-échelle, du raisonnement spatio-temporel et des combinaisons de formalismes. J'exposerai les différentes formalisations effectuées (raisonner avec des points et des intervalles à différentes échelles de temps, raisonner avec des régions mobiles dont la taille est constante au cours du temps, …), mes résultats de NP-complétude concernant la décision de la cohérence dans certains de ces contextes, le cadre formel que j'ai développé, unifiant les raisonnements multi-échelles, spatio-temporels et combinés, permettant d'identifier des fragments traitables, ainsi que les résultats de complexité polynomiale qui en découlent.Dans une seconde et plus courte partie, je présenterai l'état courant de mes travaux récents sur les algorithmes de jeux et l'apprentissage d'heuristiques sans utilisation de connaissances (autres que les règles du jeu) ainsi que les perspectives de recherche associées.