(CONTRAT DOCTORAL) Argumentation pour la prise de décision

par Bruno Yun

Projet de thèse en Informatique

Sous la direction de Madalina Croitoru et de Rallou Thomopoulos.

Thèses en préparation à Montpellier , dans le cadre de I2S - Information, Structures, Systèmes , en partenariat avec Laboratoire d'Informatique, Robotique et Micro-électronique de Montpellier (laboratoire) et de Département Informatique (equipe de recherche) depuis le 01-10-2016 .


  • Résumé

    Cette thèse est dans le domaine de la représentation des connaissances incohérentes et l'argumentation et sera centrée autour de l'exploration d'une sémantique d'argumentation particulière (ranking semantics). Par opposition à la sémantique classique dans l'argumentation, où un argument est tué par une attaque, la sémantique ranking affaibli simplement l'argument. Ce cadre a des propriétés intéressantes pour les applications pratiques car il donne des résultats intuitifs. De nombreuses questions sont encore ouvertes: Comment expliquer le ranking sémantique à l'utilisateur? A quoi cette sémantique de ranking correspond pour un système d'argumentation instancié? Le candidat devra explorer des propriétés formelles des sémantiques de ranking et de leur pertinence dans les applications du monde reel.

  • Titre traduit

    Decision Making and Argumentation


  • Résumé

    The PhD position is within the general area of knowledge representation and reasoning with inconsistent knowledge and argumentation. Classic abstract argumentation considers a set of interacting arguments that are evaluated thanks to a semantics.The research focus of the thesis will be centered around the further exploration of a special kind of argumentation semantics and namely the ranking semantics. As opposed to classical semantics in argumentation, where an argument is killed by an attack, ranking semantics simply weaken the position of the argument. The framework has interesting properties and for practical application it leads to intuitive results. However many open questions still remain: how this impacts decision making when using argumentation? How to explain ranking semantics outputs to the user? What do ranking semantics correspond to in an instantiated argumentation framework? The candidate will explore formal properties of such semantics and their suitability in real world applications involving decision making and reasoning under inconsistency with existential rules. An important theoretical knowledge representation background is required. Implementation skills are a plus.