Bonjour à tous
Les équipes ADRIA et LILaC du laboratoire IRIT à l’Université Paul Sabatier de Toulouse proposent un sujet de thèse sur l’argumentation abstraite et la logique (voir le sujet précis en fin de mail).
Le financement sera attribué sur concours (bourses ministérielles), les auditions ayant lieu lors de la première quinzaine de juin.
Nous cherchons donc un très bon candidat motivé par la recherche académique en Intelligence Artificielle.
Attention, la date limite pour candidater est le 05 mai. Les personnes intéressées doivent contacter directement les encadrants (MC Lagasquie-Schiex, lagasq@irit.fr, ou S. Doutre, doutre@irit.fr).
Cordialement,
MCL
————————————————————————–
Le sujet précis est le suivant :
Les modèles formels d’argumentation sont étudiés et utilisés dans des domaines très variés (philosophie, linguistique, sociologie, communication) et tout particulièrement en Intelligence Artificielle.
L’argumentation abstraite permet de prendre en compte des arguments et leurs interactions dans le but de sélectionner des arguments jugés acceptables. Un argument abstrait peut représenter par exemple une position dans un débat, indépendamment de la manière dont elle a été construite. Cela permet une vision de haut niveau du processus argumentatif et de la manière dont il conduit à une conclusion.
L’argumentation abstraite exploite essentiellement des graphes orientés dans lesquels les sommets représentent des arguments et les arcs représentent des interactions. Dans le cadre original de Dung proposé en 1995, un arc représente une attaque, mais d’autres types d’interaction ont depuis été considérés : un argument peut supporter un autre argument, plusieurs arguments peuvent conjointement attaquer un autre argument.
Les travaux les plus récents (voir par exemple [1,2,3]) considèrent que ces supports ou attaques peuvent eux-mêmes être l’objet de support ou d’attaque ; on parle alors d’interactions récursives.
L’objectif de cette thèse est de proposer un cadre théorique et pratique complet permettant de traiter de tels graphes (dits enrichis) allant de la justification d’une telle représentation jusqu’à son exploitation pour obtenir des conclusions. On pourra notamment exploiter, voire développer, les codages logiques des interactions dans le graphe d’argumentation enrichi.
Le travail consistera donc à :
justifier l’intérêt d’une telle représentation en identifiant des champs d’utilisation et des applications précis,
définir les modes de sélection des arguments en termes de sémantiques d’acceptabilité et/ou d’étiquetages,
établir un lien avec l’approche consistant à traduire en terme logique le graphe d’argumentation (voir [4]),
exploiter ce lien pour proposer des algorithmes efficaces pour calculer les ensembles d’arguments acceptables,
implémenter ces algorithmes (par exemple à l’aide de prouveurs logiques existants) pour calculer les résultats de l’argumentation.
Les résultats obtenus dans la thèse permettront de participer aux compétitions du domaine.
Connaissances et compétences requises : Théorie des Graphes, Logique,
[2] Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García, Guillermo Ricardo Simari: On the Acceptability Semantics of Argumentation Frameworks with Recursive Attack and Support. COMMA 2016: 231-242
[3] Andrea Cohen, Sebastian Gottifredi, Alejandro Javier García, Guillermo Ricardo Simari: An approach to abstract argumentation with recursive attack and support. J. Applied Logic 13(4): 509-533 (2015)
[4] Claudette Cayrol, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex. A logical vision of abstract argumentation systems with bipolar and recursive interactions. Rapport de recherche, RR–2016–02–FR, IRIT, février 2016.
—
——————————————————————–
UNIVERSITÉ PAUL SABATIER
IRIT – Équipe ADRIA Fax. (+33) 5 61 55 62 39
Marie-Christine LAGASQUIE-SCHIEX
118 route de Narbonne Tel. (+33) 5 61 55 64 51
F-31062 TOULOUSE Cedex 9 FRANCE
email: Marie-Christine.Lagasquie@irit.fr
http: http://www.irit.fr/~Marie-Christine.Lagasquie-Schiex
——————————————————————–