Tech Reports

ULCS-01-005

Two Party Immediate Response Disputes: Properties and Efficiency

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

Abstract

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.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.