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 条
  • [41] A Fully Rational Argumentation System for Preordered Defeasible Rules
    Heyninck, Jesse
    Strasser, Christian
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 1704 - 1712
  • [42] Relational databases as a massive information source for defeasible argumentation
    Deagustini, Cristhian A. D.
    Fulladoza Dalibon, Santiago E.
    Gottifredi, Sebastian
    Falappa, Marcelo A.
    Chesnevar, Carlos I.
    Simari, Guillermo R.
    KNOWLEDGE-BASED SYSTEMS, 2013, 51 : 93 - 109
  • [43] Computing dialectical trees efficiently in possibilistic defeasible logic programming
    Chesñevar, CI
    Simari, GR
    Godo, L
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2005, 3662 : 158 - 171
  • [44] A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics
    Alsinet, Teresa
    Bejar, Ramon
    Godo, Lluis
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, 2010, 6433 : 40 - 49
  • [45] Using Answer Set Programming for an scalable implementation of Defeasible Argumentation
    Alsinet, Teresa
    Bejar, Ramon
    Godo, Luis
    Guitart, Francesc
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 1016 - 1021
  • [46] Defeasible-argumentation-based multi-agent planning
    Pajares Ferrando, Sergio
    Onaindia, Eva
    INFORMATION SCIENCES, 2017, 411 : 1 - 22
  • [47] Defeasible reasoning in web-based forms through argumentation
    Alejandro Gomez, Sergio
    Ivan Chesnevar, Carlos
    Ricardo Simari, Guillermo
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, 2008, 7 (01) : 71 - 101
  • [48] Assumption-based argumentation for closed and consistent defeasible reasoning
    Toni, Francesca
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 2008, 4914 : 390 - 402
  • [49] Defeasible Reasoning in Islamic Legal Theory
    Komath, Muhammed
    INFORMAL LOGIC, 2024, 44 (03): : 431 - 467
  • [50] Proof explanation for the Semantic Web using defeasible logic
    Antoniou, Grigoris
    Bikakis, Antonis
    Dimaresis, Nikos
    Genetzakis, Manolis
    Georgalis, Giannis
    Governatori, Guido
    Karouzaki, Efie
    Kazepis, Nikolas
    Kosmadakis, Dimitris
    Kritsotakis, Manolis
    Lilis, Giannis
    Papadogiannakis, Antonis
    Pediaditis, Panagiotis
    Terzakis, Constantinos
    Theodosaki, Rena
    Zeginis, Dirnitris
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 186 - +
12345