Tech Reports


Two Party Immediate Response Disputes: Properties and Efficiency

Paul E. Dunne and Trevor J. M. Bench-Capon


Two Party Immediate Response Disputes (TPI-disputes) are one class of dialogue or argument game in which the protagonists take turns producing counter arguments to the 'most recent' argument advanced by their opponent. Argument games have been found useful as a means of modelling dialectical discourse and in providing semantic bases for proof theoretic aspects of reasoning. In this article we consider a formalisation of TPI-disputes in the context of finite Argument Systems. Our principal concern may, informally, be phrased as follows: given a specific argument system, H and argument, x within H, what can be stated concerning the number of rounds a dispute might take for one of its protagonists to accept that Hhas some defence respectively cannot be defended?

Keywords: Argument Systems, Dialogue Game, Gentzen System, Proof Complexity.

[Full Paper]