Denna artikel genomför en formell studie av dialogspel för argumentation. En formell ram för sådana spel föreslås som inför en explicit svarsstruktur för dialoger, där varje dialog rör sig antingen attacker eller ger sig till något tidigare drag av den andra deltagaren. Ramen är flexibel i flera avseenden. Det möjliggör olika underliggande logiker, alternativa uppsättningar av lokutioner och mer eller mindre strikta regler för när de är tillåtna. Framför allt möjliggör det olika grad av samstämmighet och flexibilitet när det gäller att behålla fokus på en dialog. Dess formella karaktär stöder studier av formella egenskaper hos specifika dialogprotokoll, särskilt om hur de respekterar den underliggande logiken.
Prakken Ref presenterar bland annat en formell ram för en klass av diskussionsdialoger, där varje dialog antingen leder till attacker eller överlämnar sig till ett tidigare drag hos den andra deltagaren.
Coherence and flexibility in dialogue games for argumentation
{'venue': 'JOURNAL OF LOGIC AND COMPUTATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}