A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation
Abstract
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. PhanMinh Dung, PhanMinh Thang
Cite
Text
Dung and Thang. "A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation." International Joint Conference on Artificial Intelligence, 2009.Markdown
[Dung and Thang. "A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/dung2009ijcai-unified/)BibTeX
@inproceedings{dung2009ijcai-unified,
title = {{A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation}},
author = {Dung, Phan Minh and Thang, Phan Minh},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {746-751},
url = {https://mlanthology.org/ijcai/2009/dung2009ijcai-unified/}
}