De Saint-Xxx Sample Clauses

De Saint-Xxx. ‌ In her work [24], Xx Xxxxx-Xxx develops a persuasion dialogue protocol which handles en- thymemes. De Saint-Xxx formalises arguments and enthymemes (based on [41] and [16]), presents the locutions used in her dialogue and provides the rules governing a persuasion dialogue. Additionally, she introduces time limit for persuasion dialogues where each participant is given a fixed speech-time which must be taken into account when uttering arguments and enthymemes. Xx Xxxxx-Xxx formalises arguments using a deductive approach, since she grounds her work on on [41] and [16] (recall that we discussed arguments’ representation of [16] in 2.3.2). As we have explained, by choosing this deductive representation (where an argu- ment is a pair ⟨Φ, α⟩, where Φ is a consistent subset of a set of formulas ∆ that supports the claim α of A, and minimal in the sense that there is no subset of Φ that concludes α), De Saint-Cyr’s model disregards defeasible inferences that are commonly used in knowledge representation formalisms for non-monotonic logic. As a result, her model does not capture all the cases of arguments that may be generated, thus it can neither capture all the cases of enthymemes that can be constructed based on an argument (see Figure 2.5). On the contrary, we ground our formalisation of arguments and enthymemes in the ASPIC+ framework which takes into account defeasible rules and which captures other logic-based argumentation systems (such as [1, 2, 13, 14, 18, 34, 35, 78]) as well as providing argumentative formalisations of well known non-monotonic logics. To the best of our knowledge, Xx Xxxxx-Xxx was the first one to address forward ex- tension of enthymemes in a dialogical setting. In her work [24], an enthymeme E is rep- resented as pair ⟨Φ, α⟩ where Φ is just a subset of a set of formulas ∆ and α is the claim of E, but without the restriction that Φ concludes α. This enthymeme E is part of an ar- gument A and it is not necessarily the case that α is the claim of A. So, E can be forward extended by another enthymeme E′ which essentially contains the missing information between the elements of E and the claim of A, including the claim of A. Additionally, Xx Xxxxx-Xxx introduces the locutions Quizlink and Complete which allow an agent to re- quest and provide a forward extension of an enthymeme, respectively. In [24], backward extension of enthymemes is also handled during persuasion dialogues with the locutions Quiz,Challenge, Argue (where Quiz is used ...