绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
万方知识发现服务平台
获取范围
  • 1 / 1
  (已选择0条) 清除 结果分析
找到 8 条结果
摘要:论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统DLA,为结构化论辩的进一步探索提供思路.
摘要:“道德悖论”是近年来伦理学家关注的热点问题.在对其进行深入讨论前,先对“道德悖论”概念加以考证,确定其是否属于悖论范畴是一个具有极为重要现实意义的步骤,因为这将影响我们如何选择破解此类问题的方法和路径.立足于逻辑学角度对“道德悖论”进行分析后可.得出结论:“道德悖论”并非悖论,而是由二难推理构成的道德困境.
[期刊论文] 金立 应腾
-
北大核心 CSSCI CASS
-
摘要:在认知科学的背景下,论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题.然而不同学科在这一课题上却未能实现有效的交叉研究.本文立足于人工智能领域的论辩理论,对依据新论辩术理论所选择的最接近理想模型的辩论赛实例进行分析,以期为逻辑学与人工智能在论辩领域的交叉研究打下基础.
[期刊论文] 黄华新 应腾 廖备水
-
CSTPCD CSSCI 北大核心
-
摘要:论辩行为体现了人类在认知情境中处理不一致信息的能力,逻辑学致力于为这一能力建立可计算的推理模型.论辩框架理论作为当前论辩研究的主流工具,并不能满足理解论辩和刻画论辩的所有要求,在现实应用上有所限制.论辩的结构化研究试图为抽象理论与现实论辩提供桥梁式解决方案,是论辩研究中的新兴热点.文章介绍了当前论辩结构化研究中三个典型系统,从语言表达、论辩语义、系统性质和哲学立场四个方面对比分析这些系统,并对结构化论辩系统的设计特性做出评述,为现有系统的进一步研究或新系统的设计提供基础.
[博士论文] 应腾
逻辑学 浙江大学 2015(学位年度)
摘要:在现实世界中,人们经常需要在信息不一致和不完全的情况下进行非单调推理。经典逻辑以及传统非单调逻辑在这类推理的刻画上并不令人满意,而论辩理论为此提供了新的思路。在论辩理论中,完整的推理过程被分解为多个相互冲突的论证,命题的正当性既依赖于论证中的推理也依赖于论证间的冲突。近二十年来,得益于Dung所给出的极简模型和外延语义,论辩理论在冲突的计算方面取得了长足的发展,但相对忽略了论证中推理的作用。这既影响了论辩扩展模型的构建,也限制了论辩理论的应用前景,更与逻辑学渐行渐远。论辩的结构化研究通过分析和刻画论证内部要素实现论证冲突的描述,不仅揭示了抽象研究未能涉及的部分论辩基本性质,也为论辩理论的现实应用搭建了桥梁,并确立了逻辑在论辩研究中的基础作用,其相应模型被称为结构化论辩系统。相对于目前已有典型系统的高效计算或抽象倾向,本文所构建的可废止逻辑论辩系统(DLA)更关注如何自然地刻画现实推理。全文一共分为六章,具体如下:
  第一章首先从逻辑学视角回顾了论辩研究的历史,然后介绍了论辩研究领域的发展现状,并结合两者梳理出一条“逻辑与论辩混合—逻辑研究剥离论辩—论辩引入逻辑研究—论辩研究剥离逻辑—逻辑引入论辩研究”的历史脉络,指出论辩的结构化研究代表着“逻辑引入论辩研究”的新趋势,最后给出本文的选题意义和架构。
  第二章重点介绍了现有的形式论辩模型,包括抽象论辩框架和结构化论辩系统。通过对各个模型的述评,我们考察了系统构建的各个要素,包括语言选择、论证构造、冲突定义、击败评估等,为新系统构造做理论上的铺垫。
  第三章构建了基于可废止逻辑的结构化论辩模型DLA,主要分为基本设定、计算机制和系统性质三个部分。在基本设定中我们严格定义了DLA的可废止逻辑语义和语法,并在其基础上定义论证的结构、攻击和击败。在计算机制中,我们在Dung的论辩框架中定义论证状态计算,并借用框架划分理论提高计算性。在系统性质中,我们探讨了DLA逻辑语言的认识论,并从理性公设角度对系统的元性质做出检验。
  第四章通过实际案例考察DLA的刻画表达能力。一方面,我们使用DLA刻画辩论赛和法律论辩中的现实案例,并在分析中指出DLA的优点和不足;另一方面,我们对以往研究中较少关注的“助产术”式论辩进行了分析,并在DLA中对其形式化。
  第五章将DLA与典型的结构化论辩系统进行对比,系统地考察DLA的在语言表达、论证生成、优先关系定义、冲突计算等方面的优势与缺陷。
  第六章是对全文的归纳和总结,指出论文的创新点,分析存在的问题并对今后的研究作出展望。
[硕士论文] 应腾
逻辑学 浙江大学 2010(学位年度)
摘要:辩论是人类生活中一种常见的言语行为。自逻辑学诞生之初,辩论就与其有着密切的联系,但是随着逻辑学的形式化倾向,辩论的研究却慢慢被排除出主流研究领域。20世纪后半叶,随着非形式逻辑的兴起以及批判性思维运动的蓬勃开展,辩论的研究重新获得了生命力,成为一个多学科交叉研究的领域。本文即以辩论研究的兴起为背景,立足于逻辑学的角度对大学生辩论实践进行较为深入的分析,在此基础上引入计算机领域的论辩理论作为分析实际辩论的新的方法。全文从以下四个方面展开论述:第一,概述了辩论与逻辑学的历史渊源以及辩论研究近年来的理论成果和国内研究现状。第二,探讨了辩论的性质与构造,尝试甄别在学界易引起混淆的术语,并尝试总结现实生活中的辩论类型。第三,综合运用形式逻辑和非形式逻辑理论对辩论进行了较为全面的分析,这一部分是全文主体,分别从准确性、有效性、合理性和得体性四个维度来探讨辩论的逻辑要求以及有说服力的论证所应具备的条件。第四,介绍论辩理论并尝试将其应用到实例分析中,为实现逻辑学与计算机学在论辩领域的交叉研究打下基础。
  (已选择0条) 清除
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部