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
来源
关键词
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] On Computing Explanations in Abstract Argumentation
    Fan, Xiuyi
    Toni, Francesca
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 1005 - 1006
  • [30] DECOMPOSING SEMANTICS IN ABSTRACT ARGUMENTATION
    Baroni, Pietro
    Cerutti, Federico
    Giacomin, Massimiliano
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (03):