Some design guidelines for practical argumentation systems

被引：16

作者：

Phan Minh Dung ^{[2
]}

Toni, Francesca ^{[1
]}

Mancarella, Paolo ^{[3
]}

机构：

[1] Imperial Coll London, Dept Comp, London, England

[2] AIT, Bangkok, Thailand

[3] Univ Pisa, Dept Informat, I-56100 Pisa, Italy

来源：

COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010 | 2010年 / 216卷

关键词：

Formal and informal models for argumentation; LOGIC; PROOF;

D O I：

10.3233/978-1-60750-619-5-183

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We give some design guidelines for argumentation systems. These guidelines are meant to indicate essential features of argumentation when used to support "practical reasoning". We express the guidelines in terms of postulates. We use a notion of redundancy to provide a formal counterpart of these postulates. We study the satisfaction of these postulates in two existing argumentation frameworks: assumption-based argumentation and argumentation in classical logic.

引用

页码：183 / 194

页数：12

共 14 条

[1] [Anonymous], 1997, J. Appl. Non-class. Log., DOI DOI 10.1080/11663081.1997.10510900
[2] Bench-Capon T, 2009, ARGUMENTATION IN ARTIFICIAL INTELLIGENCE, P363, DOI 10.1007/978-0-387-98197-0_18
[3] BENTAHAR J, 2008, P 4 IEEE INT C INN I, P506
[4] Besnard P., 2008, Elements of Argumenta- tion
[5] An abstract, argumentation-theoretic approach to default reasoning
Bondarenko, A
Dung, PM
Kowalski, RA
Toni, F
[J]. ARTIFICIAL INTELLIGENCE, 1997, 93 (1-2) : 63 - 101
[6] On the evaluation of argumentation formalisms
Caminada, Martin
Amgoud, Leila
[J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (5-6) : 286 - 310
[7] Computing ideal sceptical argumentation
Dung, P. M.
Mancarella, P.
Toni, F.
[J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (10-15) : 642 - 674
[8] Dung PM, 2009, ARGUMENTATION IN ARTIFICIAL INTELLIGENCE, P199, DOI 10.1007/978-0-387-98197-0_10
[9] ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES
DUNG, PM
[J]. ARTIFICIAL INTELLIGENCE, 1995, 77 (02) : 321 - 357
[10] Dialectic proof procedures for assumption-based, admissible argumentation
Dung, PM
Kowalski, RA
Toni, F
[J]. ARTIFICIAL INTELLIGENCE, 2006, 170 (02) : 114 - 159

← 1 2 →