L’interface DebateWEL permet à deux joueurs d’échanger des formules logiques et des enthymèmes au cours d’un jeu de persuasion argumentée. Le protocole du jeu, assure que chaque joueur reste cohérent avec lui-même grâce à un solveur SAT qui est appelé à partir de l’interface SAToulouse.
Particularités du protocole de dialogue utilisé dans DebateWEL:
- seulement ce qui est publiquement dit est considéré
- les échanges utilisent la logique propositionnelle
- les arguments sont des paires support/conclusion (signifiant à la fois que l’on affirme la conclusion et qu’on affirme que cette conclusion est soutenue par les affirmations du support)
- les enthymèmes (arguments ayant un support incomplet ou une conclusion imprécise) sont autorisés.
- au début du dialogue les agents peuvent se mettre d’accord sur des connaissances communes (sous formes d’arguments ou d’affirmations)
- le protocole est totallement flexible un agent peut prendre la parole à tout moment et choisir de dire ce qu’il veut du moment qu’il reste cohérent, qu’il ne se répète pas et qu’il a encore du temps. Cependant avant de clore le débat tout agent devra avoir répondu aux demandes de son interlocuteur.
- Le dialogue se termine sur la victoire d’un agent (s’il a convaincu son adversaire) ou sur un échec (dû à la limite de temps atteinte avant que les joueurs n’aient pu se répondre). DebateWEL incite les agents à s’entendre en donnant le meilleur score à un agent qui persuade l’autre, un score moyen à l’agent persuadé et un score très bas aux deux joueurs en cas d’échec.
Références
- Julien Balax, Florence Dupin De Saint Cyr, David Villard. DebateWEL: An interface for Debating With Enthymemes and Logical formulas . In : European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, Vol. 7519, Andreas Herzig, Jérôme Mengin (Eds.), Springer, Lecture Notes in Computer Science, pp. 476-479, September 2012. (pdf)
- Florence Dupin De Saint Cyr. A first attempt to allow enthymemes in persuasion dialogs . In : DEXA International Workshop: Data, Logic and Inconsistency (DALI 2011), Toulouse, Philippe Besnard, Hendrik Decker, Andreas Herzig (Eds.), IEEE Computer Society – Conference Publishing Services, pp. 332-336, August 2011. (pdf)
- Florence Dupin De Saint Cyr. Handling enthymemes in time-limited persuasion dialogs . In : International Conference on Scalable Uncertainty Management (SUM 2011), Dayton, Ohio, Salem Benferhat, John Grant (Eds.), Springer-Verlag, LNAI 6929, pp. 149-162, October 2011. (pdf)