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

Logical modelisation of intentionality in epistemic games

• Auteur / Autrice : Alix Goudyme
• Direction : Salem Benferhat, Sylvain Lagrue
• Type : Thèse de doctorat
• Discipline(s) : Informatique et applications
• Date : Soutenance le 16/06/2022
• Etablissement(s) : Artois
• Ecole(s) doctorale(s) : École doctorale Sciences, technologie et santé (Amiens)
• Partenaire(s) de recherche : Laboratoire : Centre de recherche en informatique (Lens, Pas-de-Calais ; 2008-....)
• Jury : Président / Présidente : Gilles Audemard
• Jury : Examinateurs / Examinatrices : Salem Benferhat, Sylvain Lagrue, Gilles Audemard, Frédéric Maris, Odile Papini, Thomas Polacsek
• Jury : Rapporteur / Rapporteuse : Frédéric Maris, Odile Papini

Mots clés

Mots clés contrôlés

Logique épistémique

Représentation des connaissances

Mots clés libres

Intelligence artificielle

Représentation des connaissances et raisonnement

Intention

Logique épistémique dynamique

Jeux à information incomplète

Artificial intelligence

Knowledge representation and reasoning

Intention

Dynamic epistemic logic

Imperfect information games

Résumé

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'intention.

Rational agents’ decisions are driven by their intentions, in the sense that agents execute actions that most probably lead to situations where their intentions are achieved.Using that insight, this thesis proposes a method for ‘intention checking’: let a description of a game, a state and the action executed by the agent at given state, the method checks whether the agent acted with the intention to reach a situation where some proposition ‘p’ is true.We use logics with epistemic and temporal operators to reason about games more and more complex and extend it with intention operators.We show that these operators satisfy the principles of Bratman’s Asymmetry Thesis, and we also compare it to other theories of intention.