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 条
  • [41] On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
    Alsinet, Teresa
    Bejar, Ramon
    Godo, Lluis
    Guitart, Francesc
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2013, 2013, 8078 : 71 - 77
  • [42] On the Relationship of Defeasible Argumentation and Answer Set Programming
    Thimm, Matthias
    Kern-Isberner, Gabriele
    COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 393 - 404
  • [43] DAQAP: Defeasible Argumentation Query Answering Platform
    Leiva, Mario A.
    Simari, Gerardo, I
    Gottifredi, Sebastian
    Garcia, Alejandro J.
    Simari, Guillermo R.
    FLEXIBLE QUERY ANSWERING SYSTEMS, 2019, 11529 : 126 - 138
  • [44] GRADED LOGICS - A FRAMEWORK FOR UNCERTAIN AND DEFEASIBLE KNOWLEDGE
    CHATALIC, P
    FROIDEVAUX, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 479 - 489
  • [45] Defeasible inheritance-based description logics
    1600, AI Access Foundation (48):
  • [46] Defeasible Inheritance-Based Description Logics
    Casini, Giovanni
    Straccia, Umberto
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2013, 48 : 415 - 473
  • [47] Argument construction and reinstatement in logics for defeasible reasoning
    Horty J.F.
    Artificial Intelligence and Law, 2001, 9 (1) : 1 - 28
  • [48] A family of defeasible reasoning logics and its implementation
    Antoniou, G
    Billington, D
    Governatori, G
    Maher, MJ
    Rock, A
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 459 - 463
  • [49] Towards Defeasible Mappings for Tractable Description Logics
    Sengupta, Kunal
    Hitzler, Pascal
    SEMANTIC WEB - ISWC 2015, PT I, 2015, 9366 : 237 - 252
  • [50] Equipping Sequent-Based Argumentation with Defeasible Assumptions
    Borg, AnneMarie
    COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2018), 2018, 305 : 129 - 136