Towards a sound and complete dialogue system for handling enthymemes

<p>A common assumption for argumentation-based dialogues is that any argument exchanged is complete, in the sense that its premises entail its claim. However, in real world dialogues agents commonly exchange enthymemes — arguments with incomplete logical structure. In the work summarised here (Xydis et al. 2021) we formalised the dialogical exchange of enthymemes that are missing some constituent elements, such that it is not possible to directly entail the claim of the intended argument from the premises of the enthymeme exchanged. We also proved that, under certain conditions, the status of moves made during a dialogue conforming to our system, corresponds with the status of arguments in the Dung argument framework instantiated by the contents of the moves made at that stage in the dialogue. Here, we discuss our contributions and the significance of our results.</p>