AAAI Publications, Twenty-First International Joint Conference on Artificial Intelligence

Font Size: 
A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation
PhanMinh Dung, PhanMinh Thang

Last modified: 2009-06-25


We present an unified methodology for representation and development of dialectical proof procedures in both abstract and assumption-based argumentation based on the notions of legal environments and dispute derivation. 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 its completeness depends on the proponent moves.


argumentation; Common-Sense Reasoning; non-monotonic reasoning

Full Text: PDF