A logic of abstract argumentation

被引:0
|
作者
Boella, Guido [1 ]
Hulstijn, Joris
van der Torre, Leendert
机构
[1] Univ Turin, I-10124 Turin, Italy
[2] Vrije Univ Amsterdam, Amsterdam, Netherlands
[3] CWI, NL-1009 AB Amsterdam, Netherlands
[4] Delft Univ Technol, NL-2600 AA Delft, Netherlands
来源
ARGUMENTATION IN MULTI-AGENT SYSTEMS | 2006年 / 4049卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we introduce a logic of abstract argumentation capturing Dung's theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung's theory and define variants of it. Moreover, we use the logic to relate Dung's theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation.
引用
收藏
页码:29 / 41
页数:13
相关论文
共 50 条
  • [21] Perfection in Abstract Argumentation
    Spanring, Christof
    COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 : 439 - 446
  • [22] On the semantics of abstract argumentation
    Kakas, A. C.
    Mancarella, P.
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (05) : 991 - 1015
  • [23] Support in Abstract Argumentation
    Boella, G.
    Gabbay, D. M.
    van der Torre, L.
    Villata, S.
    COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 111 - 122
  • [24] LOGIC AND ARGUMENTATION
    Graham, Gladys Murphy
    QUARTERLY JOURNAL OF SPEECH EDUCATION, 1924, 10 (04): : 350 - 363
  • [25] Argumentation Logic
    Kakas, Antonis
    Toni, Francesca
    Mancarella, Paolo
    COMPUTATIONAL MODELS OF ARGUMENT, 2014, 266 : 345 - 356
  • [26] On Argumentation Logic and Propositional Logic
    Kakas, Antonis C. l
    Mancarella, Paolo
    Toni, Francesca
    STUDIA LOGICA, 2018, 106 (02) : 237 - 279
  • [27] On Argumentation Logic and Propositional Logic
    Antonis C. Kakas
    Paolo Mancarella
    Francesca Toni
    Studia Logica, 2018, 106 : 237 - 279
  • [28] Argumentation Context Systems: A Framework for Abstract Group Argumentation
    Brewka, Gerhard
    Eiter, Thomas
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 44 - +
  • [29] The Burden of Persuasion in Abstract Argumentation
    Kampik, Timotheus
    Gabbay, Dov
    Sartor, Giovanni
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 224 - 243
  • [30] Abstract argumentation and the rational man
    Kampik, Timotheus
    Nieves, Juan Carlos
    JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (02) : 654 - 699