辩论的逻辑模型研究综述

被引:17
作者
熊才权 [1 ]
孙贤斌 [2 ]
欧阳勇 [1 ]
机构
[1] 湖北工业大学计算机学院
[2] 湖北工业大学土木工程与建筑学院
关键词
非单调推理; 辩论; 辩论模型; 争议评价;
D O I
10.16451/j.cnki.issn1003-6059.2010.03.017
中图分类号
TP181 [自动推理、机器学习];
学科分类号
140502 [人工智能];
摘要
辩论的逻辑模型是哲学、逻辑学和人工智能等多个领域的研究课题,在非单调推理、法律推理、决策支持和多Agent交互等领域有广泛应用.文中首先简要阐述辩论及辩论模型的基本概念.然后从对辩论建模和用辩论建模两个方面对目前的研究进行总结,分析现有的有影响的辩论模型特点及其存在的问题.最后,指出今后的研究方向和发展趋势.
引用
收藏
页码:362 / 368
页数:7
相关论文
共 10 条
[1]
Agents that argue and explain classifications [J].
Amgoud, Leila ;
Serrurier, Mathieu .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2008, 16 (02) :187-209
[2]
On the evaluation of argumentation formalisms.[J].Martin Caminada;Leila Amgoud.Artificial Intelligence.2007, 5
[3]
The Carneades model of argument and burden of proof.[J].Thomas F. Gordon;Henry Prakken;Douglas Walton.Artificial Intelligence.2007, 10
[4]
Modular representation of agent interaction rules through argumentation [J].
Kakas, A ;
Maudet, N ;
Moraitis, P .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2005, 11 (02) :189-206
[5]
A reasoning model based on the production of acceptable arguments [J].
Amgoud, L ;
Cayrol, C .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2002, 34 (1-3) :197-215
[6]
Inferring from inconsistency in preference-based argumentation frameworks [J].
Amgoud, L ;
Cayrol, C .
JOURNAL OF AUTOMATED REASONING, 2002, 29 (02) :125-169
[7]
Computer supported argumentation and collaborative decision making: the HERMES system [J].
Karacapilidis, N ;
Papadias, D .
INFORMATION SYSTEMS, 2001, 26 (04) :259-277
[8]
Supporting argumentation practices in urban planning and design.[J].C. Tweed.Computers; Environment and Urban Systems.1998, 4
[9]
A dialectical model of assessing conflicting arguments in legal reasoning.[J].H. Prakken;G. Sartor.Artificial Intelligence and Law.1996, 3-4
[10]
ON THE ACCEPTABILITY OF ARGUMENTS AND ITS FUNDAMENTAL ROLE IN NONMONOTONIC REASONING, LOGIC PROGRAMMING AND N-PERSON GAMES [J].
DUNG, PM .
ARTIFICIAL INTELLIGENCE, 1995, 77 (02) :321-357