Het formaliseren van kritische discussie ter voorbereiding op geautomatiseerde argumentatieanalyse

In contribution to the research on the intersection of argumentation theory and computer science, in this paper a formal approximation is developed of the discussion model that is at the core of the pragma-dialectical analytical method. The aim of the project is to prepare a foundation for the development of software to support the pragma-dialectical analysis of texts. The formal approximation takes the form of a dialogue game for critical discussion. The dialogue game is systematically developed by starting from a simplified foundation to which more complexity is cumulatively added. In the current paper a basic dialogue game for critical discussion is presented to serve as the simplified foundation. After an introduction of the overarching research project, the simplifications are explained that form the starting point of the basic dialogue game. Next, the dialogue game rules for starting and ending a dialogue are specified, as well as the rules for the available moves, the sequences in which these can be made, and the resulting commitments. Finally, the dynamics of the basic dialogue game are illustrated by visualising the sequential structure, and by discussing an example dialogue in accordance with the rules.