237403

(2001) Synthese 127 (1-2).

Relating protocols for dynamic dispute with logics for defeasible argumentation

Henry Prakken

pp. 187-219

This article investigates to what extent protocols for dynamicdisputes, i.e., disputes in which the information base can vary at differentstages, can be justified in terms of logics for defeasible argumentation. Firsta general framework is formulated for dialectical proof theories for suchlogics. Then this framework is adapted to serve as a framework for protocols fordynamic disputes, after which soundness and fairness properties are formulated for such protocols relative to dialectical proof theories. It then turns out that certaintypes of protocols that are perfectly fine with a static information base, arenot sound or fair in a dynamic setting. Finally, a natural dynamic protocolis defined for which soundness and fairness can be established.

Publication details

DOI: 10.1023/A:1010322504453

Full citation:

Prakken, H. (2001). Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese 127 (1-2), pp. 187-219.

This document is unfortunately not available for download at the moment.