A unified framework for representation and development of dialectical proof procedures in argumentation
Phan Minh Dũng, Phan Minh Thang · 2009
We present an unified methodology for representation and development of dialectical proof procedures in abstract argumentation based on the notions of legal environments and dispute derivations. A legal environment specifies the legal moves of the dispute parties while a dispute derivation describes the procedure structure. A key insight of this paper is that the opponent moves determine the soundness of a dispute while the completeness of a dispute procedure depends on the proponent moves. 1