Abstract FR:

Ces travaux de thèse étendent le modèle logique d'agents rationnels proposé par Sadek, notamment au niveau du calcul des plans d'action de l'agent par rapport à ses intentions, et de l'action réellement exécutée par ses effecteurs. Ils étudient également la mise en oeuvre de ces nouveaux principes au sein de la technologie d'agents rationnels Artimis développée à France Télécom R&D, qui implémente la théorie. Nous distinguons trois notions chez l'agent rationnel. (1) Ses buts sont les états de faits vers lesquels il souhaite évoluer. Les principes originaux proposés par Sadek permettent de les dériver (notamment les principes de rationalité et de coopération). (2) Son savoir-faire englobe, indépendamment de ses buts, l'ensemble des plans d'action qu'il juge réalisables à un instant donné. Nous formalisons un jeu d'axiomes pour exprimer logiquement la recherche de ces plans par régression, à la fois dans l'espace des états et dans l'espace des abstractions (extension de l'algorithme de planification Shop). (3) Sa stratégie sélectionne parmi les plans d'action de son savoir-faire celui qu'il juge optimal. Nous donnons un cadre axiomatique général pour cette sélection, en laissant ouvert le calcul d'optimalité (pouvant intégrer le nombre de buts atteints, la durée d'exécution, etc. ). Nous esquissons également un calcul de régression d'un état par une action. Ce calcul détermine la précision du raisonnement sur l'action induit par l'axiomatique précédente pour la planification. Il étend le prédicat de causalité proposé par Lin, ainsi que l'axiome de l'état successeur correspondant, à notre logique multimodale du premier ordre. Nous proposons en outre quelques principes pour l'écriture des lois du domaine dans ce cadre. Enfin, nous montrons que les principes de planification précédents peuvent être mis en oeuvre par des mécanismes tels que la résolution unitaire sous contexte modal, la factorisation de modalités et le raisonnement défaisable implémentant les défauts normaux.