Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)

被引：0
|
作者：
Prakken, H
机构：
来源：
FORMAL MODELS OF AGENTS | 1999年 / 1760卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that fit a certain format. This format is the abstract theory developed by Dung, Kowalski and others. A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible. The proof theory could serve as the 'logical core' of protocols for dispute in multi-agent decision making processes.
引用
收藏
页码：202 / 215
页数：14
相关论文
共 50 条
  • [21] A THEORY OF DEFEASIBLE REASONING
    POLLOCK, JL
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1991, 6 (01) : 33 - 54
  • [22] An argumentation-theoretic characterization of defeasible logic
    Governatori, G
    Maher, MJ
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 469 - 473
  • [23] An Asymmetric Protocol for Argumentation Games in Defeasible Logic
    Lundstrom, Jenny Eriksson
    Governatori, Guido
    Thakur, Subhasis
    Padmanabhan, Vineet
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2009, 5044 : 219 - +
  • [24] Web Based System for Weighted Defeasible Argumentation
    Teresa, Alsinet
    Ramon, Bejar
    Guitart, Francesc
    Godo, Lluis
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, 2013, 8143 : 155 - 171
  • [25] 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
  • [26] 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
  • [27] 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
  • [28] Using argumentation theory to analyse software practitioners' defeasible evidence, inference and belief
    Rainer, Austen
    INFORMATION AND SOFTWARE TECHNOLOGY, 2017, 87 : 62 - 80
  • [29] Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation
    Maher, Michael J.
    FUNDAMENTA INFORMATICAE, 2017, 155 (03) : 233 - 260
  • [30] Local logics, non-monotonicity and defeasible argumentation
    Gustavo A. Bodanza
    Fernando A. Tohmé
    Journal of Logic, Language and Information, 2004, 14 (1) : 1 - 12
12345