The DebateWEL G.U.I. allows two players to exchange logical formulas and enthymemes in a persuasion debate game. DebateWEL protocol ensures consistencey of each player wrt himself and common knowledge thanks to a SAT solver which is called directly from the SAToulouse interface.

Here are the particularities of  DebateWEL protocol:

  • there is no information about the state of mind of the agents, only what is publicly said is considered
  • the exchange pieces of information are in propositional logic
  • arguments are pairs support/conclusion (meaning both that the user asserts the conclusion and that he asserts that cho conclusion is due to the support)
  • enthymemes (arguments with incomplete support or imprecise conclusion) are allowed.
  • at the beginning of the dialog the agents agree on a common knowbledge (expressed by arguments or assertions) on which they can base their future statements
  • the protocol is totally flexible: any agent can take his turn as soon as the previous turn is finished (even by himself) and can choose freely any move if it induces no self-contradiction, no repetition and do not exceed his speaking time. However before closing the debate, any agent has to fulfill his commitments induced by the moves of the other player.
  • The dialog ends either with the victory of one agent (if the other agent has agreed with him) or with a failure (due to remaining commitments unfulfilled within the time limit). DebateWEL is designed for inciting agents to agree: a high score rewards an agent who has persuaded the other, a medium score is given to a conceding agent and a low score is given to both players if the dialog fails.


  • 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)