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 条
  • [1] Kettle logic in abstract argumentation
    Kampik, Timotheus
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (03) : 528 - 556
  • [2] A logic of argumentation for specification and verification of abstract argumentation frameworks
    Serena Villata
    Guido Boella
    Dov M. Gabbay
    Leendert van der Torre
    Joris Hulstijn
    Annals of Mathematics and Artificial Intelligence, 2012, 66 : 199 - 230
  • [3] A logic of argumentation for specification and verification of abstract argumentation frameworks
    Villata, Serena
    Boella, Guido
    Gabbay, Dov M.
    van der Torre, Leendert
    Hulstijn, Joris
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 199 - 230
  • [4] A Dynamic Logic Framework for Abstract Argumentation
    Doutre, Sylvie
    Herzig, Andreas
    Perrussel, Laurent
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 62 - 71
  • [5] The Relative Expressiveness of Abstract Argumentation and Logic Programming
    Strass, Hannes
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1625 - 1631
  • [6] Bridging the Gap between Abstract Argumentation Systems and Logic
    Amgoud, Leila
    Besnard, Philippe
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 12 - 27
  • [7] On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Trubitsyna, Irina
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (05) : 703 - 718
  • [8] Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic
    Herzig, Andreas
    Yuste-Ginel, Antonio
    LOGIC AND ARGUMENTATION, CLAR 2021, 2021, 13040 : 190 - 208
  • [9] Are My Arguments Trustworthy? Abstract Argumentation with Subjective Logic
    Santini, Francesco
    Josang, Audun
    Pini, Maria Silvia
    2018 21ST INTERNATIONAL CONFERENCE ON INFORMATION FUSION (FUSION), 2018, : 1982 - 1989
  • [10] A formalization of abstract argumentation in higher-order logic
    Steen, Alexander
    Fuenmayor, David
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 34 (02) : 229 - 260
12345