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 条
  • [1] Relating Protocols For Dynamic Dispute With Logics For Defeasible Argumentation
    Henry Prakken
    Synthese, 2001, 127 : 187 - 219
  • [2] Local logics, non-monotonicity and defeasible argumentation
    Gustavo A. Bodanza
    Fernando A. Tohmé
    Journal of Logic, Language and Information, 2004, 14 (1) : 1 - 12
  • [3] Local logics, non-monotonicity and defeasible argumentation
    Bodanza G.A.
    Tohmé F.A.
    Journal of Logic, Language and Information, 2005, 14 (1) : 1 - 12
  • [4] Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation
    Maher, Michael J.
    FUNDAMENTA INFORMATICAE, 2017, 155 (03) : 233 - 260
  • [5] Dynamic epistemic logics for abstract argumentation
    Proietti, Carlo
    Yuste-Ginel, Antonio
    SYNTHESE, 2021, 199 (3-4) : 8641 - 8700
  • [6] Dynamic epistemic logics for abstract argumentation
    Carlo Proietti
    Antonio Yuste-Ginel
    Synthese, 2021, 199 : 8641 - 8700
  • [7] Defeasible Description Logics
    Varzinczak, Ivan
    KUNSTLICHE INTELLIGENZ, 2020, 34 (04): : 539 - 542
  • [8] Defeasible description logics
    Governatori, G
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 98 - 112
  • [9] Comparing Defeasible Logics
    Maher, Michael J.
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 585 - 590
  • [10] Defeasible Description Logics
    Ivan Varzinczak
    KI - Künstliche Intelligenz, 2020, 34 : 539 - 542