作为过程的论证和作为结果的论证

发布时间：2017-08-10 02:18

  本文关键词：作为过程的论证和作为结果的论证

  更多相关文章： 论证作为过程 论证作为结果 论辩框架 语义证明

【摘要】：推理在我们的生活和工作中不可或缺。日常推理最大的特点在于它的非单调性。当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一。用来证明各种论辩语义的争议树很好地结合了抽象的论辩框架与具体的推理过程,是研究自然语言论辩推理的有力工具。目前大多数的争议树证明都从论证作为过程的角度出发,对实时的论辩推理具有十分现实的指导意义,但仍存在一些问题。而从论证作为结果的新角度出发,我们给出了优先语义和基语义下的争议树证明理论。
【作者单位】： 浙江大学语言与认知研究中心;
【关键词】： 论证作为过程 论证作为结果 论辩框架 语义证明
【基金】：国家自然科学基金(61175058、60773177) 国家重点基础发展计划(973)(2012CB316400) 浙江省自然科学基金(Y1100036)
【分类号】：B812.4
【正文快照】： 一、引言推理在我们的生活和工作中不可或缺。日常推理最大的特点在于它的非单调性。当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的工具之一。抽象论辩理论①很好地捕捉了日常推理的不同特征:有时我

【共引文献】

中国期刊全文数据库 前3条

1 谢凯博;廖备水;;非单调推理与论辩系统[J];重庆理工大学学报(社会科学版);2013年09期

2 廖备水;黄华新;;不一致问题与论辩逻辑[J];学术月刊;2013年06期

3 梁庆寅;魏斌;;法律论证适用的人工智能模型[J];中山大学学报(社会科学版);2013年05期

中国重要会议论文全文数据库 前1条

1 Wei Zhang;Yongquan Liang;;A Temporal Based Multilateral Argumentation Dialogue Framework[A];2012年计算机应用与系统建模国际会议论文集[C];2012年

中国硕士学位论文全文数据库 前2条

1 王春侠;基于Agent的辩论谈判中的辩论机制研究[D];北京工业大学;2013年

2 余U，

本文编号：648394