论辩的结构化研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:zhangwz2005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在现实世界中,人们经常需要在信息不一致和不完全的情况下进行非单调推理。经典逻辑以及传统非单调逻辑在这类推理的刻画上并不令人满意,而论辩理论为此提供了新的思路。在论辩理论中,完整的推理过程被分解为多个相互冲突的论证,命题的正当性既依赖于论证中的推理也依赖于论证间的冲突。近二十年来,得益于Dung所给出的极简模型和外延语义,论辩理论在冲突的计算方面取得了长足的发展,但相对忽略了论证中推理的作用。这既影响了论辩扩展模型的构建,也限制了论辩理论的应用前景,更与逻辑学渐行渐远。论辩的结构化研究通过分析和刻画论证内部要素实现论证冲突的描述,不仅揭示了抽象研究未能涉及的部分论辩基本性质,也为论辩理论的现实应用搭建了桥梁,并确立了逻辑在论辩研究中的基础作用,其相应模型被称为结构化论辩系统。相对于目前已有典型系统的高效计算或抽象倾向,本文所构建的可废止逻辑论辩系统(DLA)更关注如何自然地刻画现实推理。全文一共分为六章,具体如下:第一章首先从逻辑学视角回顾了论辩研究的历史,然后介绍了论辩研究领域的发展现状,并结合两者梳理出一条"逻辑与论辩混合—逻辑研究剥离论辩—论辩引入逻辑研究—论辩研究剥离逻辑—逻辑引入论辩研究"的历史脉络,指出论辩的结构化研究代表着"逻辑引入论辩研究"的新趋势,最后给出本文的选题意义和架构。第二章重点介绍了现有的形式论辩模型,包括抽象论辩框架和结构化论辩系统。通过对各个模型的述评,我们考察了系统构建的各个要素,包括语言选择、论证构造、冲突定义、击败评估等,为新系统构造做理论上的铺垫。第三章构建了基于可废止逻辑的结构化论辩模型DLA,主要分为基本设定、计算机制和系统性质三个部分。在基本设定中我们严格定义了 DLA的可废止逻辑语义和语法,并在其基础上定义论证的结构、攻击和击败。在计算机制中,我们在Dung的论辩框架中定义论证状态计算,并借用框架划分理论提高计算性。在系统性质中,我们探讨了 DLA逻辑语言的认识论,并从理性公设角度对系统的元性质做出检验。第四章通过实际案例考察DLA的刻画表达能力。一方面,我们使用DLA刻画辩论赛和法律论辩中的现实案例,并在分析中指出DLA的优点和不足;另一方面,我们对以往研究中较少关注的"助产术"式论辩进行了分析,并在DLA中对其形式化。第五章将DLA与典型的结构化论辩系统进行对比,系统地考察DLA的在语言表达、论证生成、优先关系定义、冲突计算等方面的优势与缺陷。第六章是对全文的归纳和总结,指出论文的创新点,分析存在的问题并对今后的研究作出展望。
其他文献
本文以兴奋在神经纤维上传导模型构建一课为例,论述通过引导学生构建模型,是一种培养理性思维的有效教学模式;对于不同层次的知识,采取不同形式的模型:物理模型以实物或画图形
<正>特发性面神经麻痹又称Bell麻痹,是因茎乳突孔内面神经非特异性炎症所致的周围性面瘫。本病可发生于任何年龄,但以青壮年为多见,无明显的季节性。本病发病急速,为单纯性的
随着我国的不断发展,我国的法律也在不断进步,取得了很多新进展。当前我国人民对于刑事法律的要求越来越高,公安机关加快推进新刑事诉讼法的贯彻落实是当前工作的重点。针对
用八个字概括编辑工作和校对工作的关系:同源、分流、合作、同归。校对工作与编辑工作是同时出现的,校对工作历来是编辑工作的重要组成部分。
2013年3月29日,我省第一个县(市、区)级法学会--佛山市顺德区法学会在顺德社会创新中心挂牌成立。省法学会专职副会长兼秘书长陈瑞光出席揭牌仪式并致贺词,顺德区委副书记、政法
目的研究下流式固定床反应器的脱氮效果及反硝化细菌群落结构。方法采用多孔陶粒作反硝化细菌固定化载体,研究下流式固定床生物反应器的适宜脱氮条件;扫描电子显微镜观察反硝化
政府规制模式的转型是我国当代社会管理创新的重要内容.“从公权力到公共事务”以及“规制缓和与政府职能强化”标志着主体与行为的两种规制变迁路径。法治水平作为行政法实施
11月22日,为期三天的2014年中国上海国际童书展在上海世博展览馆落下帷幕。与2013年首届中国上海国际童书展相比,本届展会不仅展会面积和展商数量大幅增加,而且与展会同期举办的
各位代表、同志们:中国法学会第七次全国会员代表大会今天隆重开幕了。这是全国法学界、法律界的一次盛会。开好这次大会,对深入贯彻党的十八大和十八届三中全会精神,对学习贯彻
智能家居从一个只存在于部分企业实验构建阶段的超前概念,已经变为步入现实、正席卷世界的新兴发展潮流。相较于发达国家,我国的智能家居研究起步较晚,正处于追赶阶段。因此,