• Laurent Orseau (AgroParisTech - Paris)

Titre : Universal Artificial Intelligence ; Description et quelques conséquences de la première équation formelle de l'Intelligence Artificielle

En 2000, Hutter a proposé la toute première définition formelle complète de l'Intelligence Artificielle, en incorporant l'Induction de Solomonoff dans l'Apprentissage par Renforcement. L'équation qui en résulte, incroyablement simple, est pourtant lourde de conséquences. Notamment, choisir la meilleure action en toutes circonstances ne peut se faire qu'avec un temps de calcul infini, ce qui est à la fois intuitivement logique et problématique. Mais avoir une équation sous la main permet néanmoins de déterminer la manière dont un tel agent se comporterait dans certaines situations, avec parfois des résultats étonnants. Après un état de l'art sous forme de tutoriel, nous présenterons nos propres travaux des trois dernières années dans ce domaine, portant notamment sur certains cas où un tel agent aurait la possibilité de modifier son propre code source, ou s'il avait la possibilité de modifier ses propres observations.