The purpose of this paper is to discuss some ways in which dialectical models can be put to computational use. In particular, we consider means of facilitating human-computer debate, means of catering for a wider range of dialogue types than purely debate and means of providing dialectical support for group dialogues. We also suggest how the computational use of dialectical theories may help to illuminate research issues in the field of dialectic itself.

This paper reports our research concerning dialogue strategies suitable for adoption by a human-computer debating system. We propose a set of strategic heuristics for a computer to adopt to enable it to function as a dialogue participant. In particular, we consider means of assessing the proposed strategy. A system involving two agents in dialogue with each other and a human-agent debate system are constructed and subsequently used to facilitate the evaluations. The evaluations suggest that the proposed strategy can enable the (...) computer to act as an effective dialogue participant. It is anticipated that this work will contribute towards the development of computerised dialogue systems and help to illuminate research issues concerning strategies in dialectical systems. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.