Modélisation logique de l’intentionnalité dans les jeux épistémiques

The decisions of rational agents are directed by their intentions, in the sense that the agent executes the action that is most likely to lead it to the situation whose properties were intentionally sought. Using this vision, this thesis proposes several models of intention that can be used to check an intention: given a description of a game, a state and the action performed by a given agent, the method checks whether the agent intended to reach a situation where a certain property "p" is verified. We use logics with epistemic and temporal operators to reason about increasingly complex games and we extend it with intention operators. We show that these operators satisfy the principles of Bratman's asymmetry thesis and we compare them with other theories of intention.Les décisions des agents rationnels sont dirigées par leurs intentions, dans le sens que l'agent exécute l'action qui va le mener le plus probablement vers la situation dont les propriétés étaient intentionnellement recherchées. En utilisant cette vision, cette thèse propose plusieurs modélisations de l'intention permettant de vérifier une intention : soit une description d'un jeu, un état et l'action exécutée par un agent donné, la méthode vérifie si l'agent avait l'intention d'atteindre une situation ou une certaine propriété "p" est vérifiée. Nous utilisons des logiques avec des opérateurs épistémiques et temporels pour raisonner sur des jeux de plus en plus complexes et nous l'étendons avec des opérateurs d'intentions. Nous montrons que ces opérateurs satisfont les principes de la thèse d'asymétrie de Bratman et nous les comparons à d'autres théories de l'intentio