A logical account of formal argumentation

被引：1
|
作者：
Caminada M.W.A. [1 ,4 ]
Gabbay D.M. [2 ,3 ,4 ]
机构：
[1] Interdisciplinary Lab for Intelligent and Adaptive Systems, University of Luxembourg
[2] King's College, London
[3] Bar-Alan University, Ramat Gan
来源：
Studia Logica | 2009年 / 93卷 / 2-3期
关键词：
Abstract argumentation; Argument labellings; Grounded semantics; Modal logic;
D O I：
10.1007/s11225-009-9218-x
中图分类号：
学科分类号：
摘要：
In the current paper, we re-examine how abstract argumentation can be formulated in terms of labellings, and how the resulting theory can be applied in the field of modal logic. In particular, we are able to express the (complete) extensions of an argumentation framework as models of a set of modal logic formulas that represents the argumentation framework. Using this approach, it becomes possible to define the grounded extension in terms of modal logic entailment. © Springer 2009.
引用
收藏
页码：109 / 145
页数：36
相关论文
共 50 条
  • [41] A Logical Theory about Dynamics in Abstract Argumentation
    Booth, Richard
    Kaci, Souhila
    Rienstra, Tjitze
    van der Torre, Leendert
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, SUM 2013, 2013, 8078 : 148 - 161
  • [42] On the Formal Assessment of Argumentation Support Systems
    Karacapilidis, Nikos
    Peppas, Pavlos
    [J]. SMART DIGITAL FUTURES 2014, 2014, 262 : 182 - 189
  • [43] Modular orders on defaults in formal argumentation
    Pardo, Pere
    Strasser, Christian
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2022, 34 (04) : 665 - 697
  • [44] LOGICAL FOUNDATIONS OF FORMAL REALISM
    Ladov, Vsevolod A.
    [J]. TOMSK STATE UNIVERSITY JOURNAL, 2010, (341): : 48 - +
  • [45] A Uniform Account of Realizability in Abstract Argumentation
    Linsbichler, Thomas
    Puehrer, Joerg
    Strass, Hannes
    [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 252 - 260
  • [46] Prioritized Norms and Defaults in Formal Argumentation
    Liao, Beishui
    Oren, Nir
    van der Torre, Leendert
    Villata, Serena
    [J]. DEONTIC LOGIC AND NORMATIVE SYSTEMS, 2016, : 139 - 154
  • [47] Text Summarization using Formal Argumentation
    Sukprapa, Isada
    Hung, Nguyen Duy
    Supnithi, Thepchai
    [J]. 16TH INTERNATIONAL JOINT SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND NATURAL LANGUAGE PROCESSING (ISAI-NLP 2021), 2021,
  • [48] The relevance in argumentation: possibility of a formal approach
    Vigano, Mauro
    [J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2010, 1 (01) : 12 - 24
  • [49] Approximating agreements in formal argumentation dialogues
    Nieves, Juan Carlos
    [J]. AI COMMUNICATIONS, 2019, 32 (04) : 335 - 346
  • [50] An executable specification of a formal argumentation protocol
    Artikis, Alexander
    Sergot, Marek
    Pitt, Jeremy
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 776 - 804
12345