Representation Equivalences Among Argumentation Frameworks

被引:1
|
作者
Liao, Beishui [1 ]
van der Torre, Leendert [2 ]
机构
[1] Zhejiang Univ, Hangzhou, Peoples R China
[2] Univ Luxembourg, Luxembourg, Luxembourg
关键词
Formal argumentation; abstract argumentation semantics; representation equivalence;
D O I
10.3233/978-1-61499-906-5-21
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In Dung's abstract argumentation theory, an extension can be represented by subsets of it in the sense that from each of these subsets, the extension can be obtained again by iteratively applying the characteristic function. Such so-called regular representations can be used to differentiate argumentation frameworks having the same extensions. In this paper we provide a full characterization of relations between seven different types of representation equivalence.
引用
收藏
页码:21 / 28
页数:8
相关论文
共 50 条
  • [21] Argumentation Frameworks with Justified Attacks
    Dyrkolbotn, Sjur K.
    Pedersen, Truls
    DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 49 - 63
  • [22] Extended Explanatory Argumentation Frameworks
    Dauphin, Jeremie
    Cramer, Marcos
    THEORY AND APPLICATIONS OF FORMAL ARGUMENTATION, TAFA 2017, 2018, 10757 : 86 - 101
  • [23] Abstract argumentation scheme frameworks
    Atkinson, Katie
    Bench-Capon, Trevor
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS, 2008, 5253 : 220 - 234
  • [24] Labeled Bipolar Argumentation Frameworks
    Escanuela Gonzalez, Melisa G.
    Budan, Maximiliano C. D.
    Simari, Gerardo, I
    Simari, Guillermo R.
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2021, 70 : 1557 - 1636
  • [25] Prudent semantics for argumentation frameworks
    Coste-Marquis, S
    Devred, C
    Marquis, P
    ICTAI 2005: 17TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, : 568 - 572
  • [26] Polyhedral labellings for argumentation frameworks
    Croitoru, Cosmina
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8720 : 86 - 99
  • [27] Moving Between Argumentation Frameworks
    Oren, Nir
    Reed, Chris
    Luck, Michael
    COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 379 - 390
  • [28] On the acceptance of loops in argumentation frameworks
    Arieli, Ofer
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (04) : 1203 - 1234
  • [29] On Input/Output Argumentation Frameworks
    Baroni, Pietro
    Boella, Guido
    Cerutti, Federico
    Giacomin, Massimiliano
    Van der Torre, Leendert
    Villata, Serena
    COMPUTATIONAL MODELS OF ARGUMENT, 2012, 245 : 358 - +
  • [30] Verification in incomplete argumentation frameworks
    Baumeister, Dorothea
    Neugebauer, Daniel
    Rothe, Joerg
    Schadrack, Hilmar
    ARTIFICIAL INTELLIGENCE, 2018, 264 : 1 - 26