A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 746-750.
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
@inproceedings{ijcai2009p129,
title = {A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation},
author = {Dung, Phan Minh and Thang, Phan Minh},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {746--750},
year = {2009},
url = {https://ijcai.org/proceedings/2009/129},
}
TY - CPAPER TI - A Unified Framework for Representation and Development of Dialectical Proof Procedures in Argumentation AU - Dung, Phan Minh AU - Thang, Phan Minh T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 746 EP - 750 UR - https://ijcai.org/proceedings/2009/129 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
