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

• Co-directeurs de thèse :
• Salem Benferhat
• Tiago de Lima
• Sylvain Lagrue

• Co-encadrant de thèse :
• Nathalie Chetcuti-Sperandio

• Financement : Artois

• Représentation des connaissances et raisonnements

• Thèse soutenue le :
• 16 juin 2022 • salle des thèses de la Faculté des Sciences Jean Perrin à Lens

• Accéder au document

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és.

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 temporelles 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’intention.

Composition du jury

• Frederic Maris, Université de Toulouse III Paul Sabatier (rapporteur)
• Odile Papini, Université Aix-Marseille (rapporteur)
• Gilles Audemard, Université d’Artois (examinateur)
• Thomas Polacsek, ONERA (examinateur)
• Salem Benferhat, Université d’Artois (directeur)
• Sylvain Lagrue, Université de Technologie de Compiègne (co-directeur)
• Nathalie Chetcuti-Sperandio, Université d’Artois (encadrant)
• Tiago de Lima, Université d’Artois (encadrant)