Towards a Sound and Complete Dialogue System for Handling Enthymemes

TY - JOUR

T1 - Towards a Sound and Complete Dialogue System for Handling Enthymemes

AU - Xydis, Andreas

AU - Hampson, Christopher

AU - Modgil, Sanjay

AU - Black, Elizabeth

N1 - Publisher Copyright: © 2021, Springer Nature Switzerland AG.

PY - 2021/10/15

Y1 - 2021/10/15

N2 - 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. This paper formalises 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. This can lead to misunderstandings between agents; we provide a rich set of locutions for identifying and resolving such misunderstandings, and a protocol that governs the use of these. We show 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. This is significant since it ensures that the use of enthyememes does not prevent the agents from reaching the appropriate decision according to the information they have shared.

AB - 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. This paper formalises 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. This can lead to misunderstandings between agents; we provide a rich set of locutions for identifying and resolving such misunderstandings, and a protocol that governs the use of these. We show 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. This is significant since it ensures that the use of enthyememes does not prevent the agents from reaching the appropriate decision according to the information they have shared.

KW - Argumentation

KW - Dialogue

KW - Enthymemes

KW - Framework

UR - http://www.scopus.com/inward/record.url?scp=85118142632&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-89391-0_24

DO - 10.1007/978-3-030-89391-0_24

M3 - Conference paper

AN - SCOPUS:85118142632

SN - 0302-9743

SP - 437

EP - 456

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 4th International Conference on Logic and Argumentation, CLAR 2021

Y2 - 20 October 2021 through 22 October 2021

ER -