对含子论证的论辩框架的分析

发布时间：2020-11-04 18:58

　　 目前大部分抽象论辩框架都将论证之间的关系限制在攻击关系上,但在日常生活中,只关注论证之间的攻击关系是不够的。一方面,此类抽象论辩框架的表达能力有限,它处理动态性问题时产生的结果容易与现实不符;另一方面,在计算论辩框架的语义外延时,抽象论辩框架理论只能利用论证之间攻击关系的拓扑结构,不能进一步提高计算效率。为了处理这些问题,本文定义了论证之间的子论证关系,接着对带有子论证关系的论辩框架(AFwS)进行两个层面的分析。第一,从结构化层面来看动态性问题,含子论证的论辩框架与抽象论辩框架在动态性问题上有显著不同。抽象论辩框架没有论证之间的支持关系,因此在对框架作出改变时,增加论证或删除论证是随意性的。但是,当在框架中加入了子论证关系后,论证的活跃性依赖于其子论证,若删除了一个论证的子论证,那么这个论证将丧失它的活跃性。因此,在对含子论证的论辩框架进行改变时,必须考虑到更多的限制条件。第二,从抽象层面来看论辩语义的计算问题,在AFwS中,论证的状态由其子论证决定,不涉及攻击关系的论证并不参与处理冲突的过程之中。廖备水提出了一种分层的AFwS(LAFwS),将论证区分为冲突处理论证和状态独立论证,这样就可以集中解决论证中的冲突。本文基于廖备水的分层理论来计算AFwS优先外延,设计了相关算法,包括分层计算的算法和传统方式(利用拓扑结构)的算法,用JAVA语言实现算法,最后通过得到的实验数据证明了分层算法比传统算法更高效。
【学位单位】：浙江大学
【学位级别】：硕士
【学位年份】：2018
【中图分类】：B844.2
【部分图文】：

图１．２－１论辩系统的基本工作机制??

图１．?３－１全文结构??

?相关的基础理论??不能击败我们的信念，因此我们接受自己的信念。如图２．１－１，其中硬性推理用??实线表示，可废止推理用虚线表示，攻击关系用带箭头的实线表示：??约梅当天ｓ雇在＞约？当天早展在??伦Ｒ?、?＾?ＢＳ??＜?汤？有ａ由说谎??约《在荷兰公？?荷兰公西在伦《ｔ?Ｉ?丨??汤姆和约輅是萠??友??我们在荷兰公困??＊见了约Ｋ??图２．?１－１非形式化例子??在ＡＳＰ／Ｃ＋中论证可以通过演绎规则或硬性规则从前提得到结论。在这个例??子中，有不同的方式支持“约翰当天早晨在伦敦”这一主张：首先我们通过演绎??推理得到此主张。然而，在例子中有另外两种情况，由前提“我们在荷兰公园看??见了约翰”得到结论“约翰在荷兰公园”则是通过感官感知进行推理；由前提‘‘汤??姆和约翰是朋友”得到结论“汤姆有理由说谎”则是通过常识进行推理。这样的??推理方式就不能被构造成演绎推理。??在结构化论辩系统中，论证是从底层知识库通过逻辑语言表迗的。在过去二??十年里，许多建造结构化论辩系统的方法被提出。用不同的逻辑语言，或者对前??提和结论之间的关系的不同定义，都会产生不同的结构化论证的定义。在这里，??我们将介绍在ＪＳ７ＶＣ＋中关于结构化论证的基本概念。??定义２．１．１【论辩系统】论辩系统一个论辩系统是一个三元组又ｒ＝ｆ厶灭，ｗ，??其中：??？?Ｚ?在否定下封闭的逻辑语言。??１１??
【参考文献】

相关博士学位论文 前1条

1 应腾;论辩的结构化研究[D];浙江大学;2015年

本文编号：2870476