Meta-Argumentation Modelling I: Methodology and Techniques |
| |
Authors: | Guido Boella Dov M Gabbay Leendert van der Torre Serena Villata |
| |
Institution: | 1. Department of Computer Science, University of Turin, Torino, Italy 2. Department of Computer Science, King’s College, London, UK 3. Bar-Ilan University, Ramat Gan, Israel 4. University of Luxembourg, Luxembourg, Belgium 5. Faculty of Sciences, Technology and Communication, University of Luxembourg, L-1359, Luxembourg, Belgium 6. Department of Computer Science, University of Turin, Torino, Italy
|
| |
Abstract: | In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. We characterize the domain of instantiation using a representation technique based on soundness and completeness. Finally, we distinguish among various instantiations using the technique of specification languages. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|