计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
11期
179-186
,共8页
辩论%主体可信度%联合论证%辩论框架
辯論%主體可信度%聯閤論證%辯論框架
변론%주체가신도%연합론증%변론광가
辩论框架是计算机利用辩论机制来解决实际问题的基础,如商务谈判、法律纠纷和劳动争议等.传统的辩论框架时辩论机制和论证方法作了具体的形式化描述,但忽略了辩论主体及其对辩论结果影响的描述,而且在辩论过程中一个论点通常需要多个论据的联合论证.针对以上问题,在传统辩论框架的基础上,提出了一种基于主体可信度的联合辩论框架(STUAF).首先引入了辩论主体的概念,并对观点和论据之间的联合论证进行形式化定义；其次给出了完整的框架结构和语义描述,证明了该辩论框架满足Dung提出的标准辩论框架的基本定理；然后结合辩论树给出了语义计算的算法；最后给出一个具体的应用实例,实例分析表明STUAF及其语义算法是有效的.
辯論框架是計算機利用辯論機製來解決實際問題的基礎,如商務談判、法律糾紛和勞動爭議等.傳統的辯論框架時辯論機製和論證方法作瞭具體的形式化描述,但忽略瞭辯論主體及其對辯論結果影響的描述,而且在辯論過程中一箇論點通常需要多箇論據的聯閤論證.針對以上問題,在傳統辯論框架的基礎上,提齣瞭一種基于主體可信度的聯閤辯論框架(STUAF).首先引入瞭辯論主體的概唸,併對觀點和論據之間的聯閤論證進行形式化定義；其次給齣瞭完整的框架結構和語義描述,證明瞭該辯論框架滿足Dung提齣的標準辯論框架的基本定理；然後結閤辯論樹給齣瞭語義計算的算法；最後給齣一箇具體的應用實例,實例分析錶明STUAF及其語義算法是有效的.
변론광가시계산궤이용변론궤제래해결실제문제적기출,여상무담판、법률규분화노동쟁의등.전통적변론광가시변론궤제화론증방법작료구체적형식화묘술,단홀략료변론주체급기대변론결과영향적묘술,이차재변론과정중일개론점통상수요다개론거적연합론증.침대이상문제,재전통변론광가적기출상,제출료일충기우주체가신도적연합변론광가(STUAF).수선인입료변론주체적개념,병대관점화론거지간적연합론증진행형식화정의；기차급출료완정적광가결구화어의묘술,증명료해변론광가만족Dung제출적표준변론광가적기본정리；연후결합변론수급출료어의계산적산법；최후급출일개구체적응용실례,실례분석표명STUAF급기어의산법시유효적.
