Relating protocols for dynamic dispute with logics for defeasible argumentation

被引:62
|
作者
Prakken, H [1 ]
机构
[1] Univ Utrecht, Dept Comp Sci, NL-3508 TC Utrecht, Netherlands
关键词
D O I
10.1023/A:1010322504453
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
This article investigates to what extent protocols for dynamic disputes, i.e.. disputes in which the information base can vary at different stages, can be justified in terms of logics for defeasible argumentation. First a general framework is formulated for dialectical proof theories for such logics. Then this framework is adapted to serve as a framework for protocols for dynamic disputes. after which soundness and fairness properties are formulated for such protocols relative to dialectical proof theories. It then turns out that certain types of protocols that are perfectly fine with a static information base, are not sound or fair in a dynamic setting. Finally, a natural dynamic protocol is defined for which soundness and fairness san be established.
引用
收藏
页码:187 / 219
页数:33
相关论文
共 50 条
  • [21] Incremental Computation of Warranted Arguments in Dynamic Defeasible Argumentation: The Rule Addition Case
    Alfano, Gianvincenzo
    Greco, Sergio
    Parisi, Francesco
    Simari, Gerardo I.
    Simari, Guillermo R.
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 911 - 917
  • [22] Disjunctions and specificity in suppositional defeasible argumentation
    Bodanza, GA
    LOGIC JOURNAL OF THE IGPL, 2002, 10 (01) : 23 - 49
  • [23] A characterization of collective conflict for defeasible argumentation
    Alsinet, Teresa
    Bejar, Ramon
    Godo, Lluis
    COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 27 - 38
  • [24] Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)
    Prakken, H
    FORMAL MODELS OF AGENTS, 1999, 1760 : 202 - 215
  • [26] Argumentation Semantics for Temporal Defeasible Logic
    Riveret, Regis
    Governatori, Guido
    Rotolo, Antonino
    STAIRS 2006, 2006, 142 : 267 - +
  • [27] Maximal Specific Arguments in Defeasible Argumentation
    Andres Alessio, Claudio
    MANUSCRITO, 2016, 39 (02)
  • [28] Relative expressiveness of defeasible logics II
    Maher, Michael J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 579 - 592
  • [29] Practical Defeasible Reasoning for Description Logics
    Moodley, Kody
    Meyer, Thomas
    Sattler, Uli
    STAIRS 2014, 2014, 264 : 191 - +
  • [30] Rational Closure for Defeasible Description Logics
    Casini, Giovanni
    Straccia, Umberto
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 77 - 90