检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

模糊论辩框架中的相对攻击强度及其应用

模糊论辩框架中的相对攻击强度及其应用

作者：赵双燕山东师范大学

学位级别：硕士

形式论辩理论是一个涉及到哲学、数学、语言学等多门学科交叉的研究主题.论辩框架是对论辩中论证及其攻击的形式化研究.因信息的不完全性,论证及攻击往往只能被部分地信任.模糊论辩框架以模糊集理论为基础,以代数中的三角模等运算为工具... 详细信息

形式论辩理论是一个涉及到哲学、数学、语言学等多门学科交叉的研究主题.论辩框架是对论辩中论证及其攻击的形式化研究.因信息的不完全性,论证及攻击往往只能被部分地信任.模糊论辩框架以模糊集理论为基础,以代数中的三角模等运算为工具,可以较好地解决在现实论辩情境中的决策问题.在模糊论辩框架中,当论证及攻击被赋予模糊度时,本质冲突是论证模糊度之间的相对冲突.在通过修改模糊度建立语义的过程中,这种相对冲突起着隐含但关键的作用.然而,这方面的现有研究却是分散的、不成体系的.本研究的目的,正是通过专门研究这种相对冲突,为模糊论辩框架语义研究,奠定一定的基础.第一章主要介绍模糊论辩框架及语义的研究背景与本文研究的主要内容.第二章对本文所需的一些知识进行了回顾,包括模糊集理论、三角模理论、论辩框架理论.第三章在模糊论辩框架中定义了模糊论证之间的相对攻击强度,给出了它的数学表达式,进而,定量地探索它的性质.最后研究了在其他相关工作中的相对攻击强度.第四章基于模糊论证之间的相对攻击强度,定义了可容忍攻击和充分攻击,引入了新的无冲突集与可接受性,建立了涵盖可容许集、基外延、优选外延、完全外延、稳定外延在内的模糊语义体系.最后讨论了新语义与其他语义的关系.第五章总结了本文工作,并展望未来.本篇论文的主要贡献如下.首先,模糊论证之间相对攻击强度形式化定义的引入,为模糊论证的评估提供了新工具,丰富了模糊论辩框架的研究手段和研究方法.利用模糊论证之间的相对攻击强度定义充分攻击和可接受性的方式,可以有效地解决因论证模糊度或信任度发生变化而导致相对冲突程度发生变化而带来的问题.其次,基于相对攻击强度建立的模糊语义体系是模糊语义的理论方面的延申和拓展.这进一步印证了相对攻击强度是研究模糊论辩语义的有用工具.

关键词：论辩框架模糊集模糊论辩框架模糊论证模糊语义

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

模糊论辩框架的数学表示

山东师范大学学报（自然科学版） 2021年第2期36卷 162-167页

作者：王宗顺吴家超山东师范大学数学与统计学院济南250358

随着形式论辩理论的快速发展,论辩框架已经逐渐成为人工智能领域的一个重要分支.近年来,为了刻画自然语言中的不确定性,不确定性理论开始广泛应用于论辩框架,进而产生了各种不确定性论辩框架.模糊论辩框架便是其中的一个重要分支.本文... 详细信息

随着形式论辩理论的快速发展,论辩框架已经逐渐成为人工智能领域的一个重要分支.近年来,为了刻画自然语言中的不确定性,不确定性理论开始广泛应用于论辩框架,进而产生了各种不确定性论辩框架.模糊论辩框架便是其中的一个重要分支.本文通过梳理相关的研究,基于模糊集理论提出了模糊论辩框架的两种数学表示形式;对具有有限个论证的模糊论辩框架,提出了模糊有向图和矩阵的数学表示方法.这些工作为模糊论辩框架的深入研究奠定了一定的数学基础.

关键词：模糊论辩框架论辩框架论辩语义学模糊集

在线全文

学校读者我要写书评

暂无评论

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

安徽大学学报（哲学社会科学版） 2013年第6期37卷 24-30页

作者：雷丽赟浙江大学语言与认知研究中心

推理在我们的生活和工作中不可或缺。日常推理最大的特点在于它的非单调性。当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一。用来证明各种论辩语义的... 详细信息

推理在我们的生活和工作中不可或缺。日常推理最大的特点在于它的非单调性。当今良好发展的经典单调逻辑仍无法有效处理非单调性日常类推,而抽象论辩理论则是对各种非单调推理进行形式化研究最有力的理论之一。用来证明各种论辩语义的争议树很好地结合了抽象的论辩框架与具体的推理过程,是研究自然语言论辩推理的有力工具。目前大多数的争议树证明都从论证作为过程的角度出发,对实时的论辩推理具有十分现实的指导意义,但仍存在一些问题。而从论证作为结果的新角度出发,我们给出了优先语义和基语义下的争议树证明理论。

关键词：论证作为过程论证作为结果论辩框架语义证明

在线全文

学校读者我要写书评

暂无评论

论辩理论及其应用

浙江社会科学 2011年第12期32卷 119-125,158页

作者：金立应腾浙江大学语言与认知研究中心副教授博士杭州310028

在认知科学的背景下,论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题。然而不同学科在这一课题上却未能实现有效的交叉研究。本文立足于人工智能领域的论辩理论,对依据新论辩术理论所选择的最接近理想模型的辩论... 详细信息

在认知科学的背景下,论辩研究已经成为了逻辑学、语言学、计算机和人工智能等共同关注的问题。然而不同学科在这一课题上却未能实现有效的交叉研究。本文立足于人工智能领域的论辩理论,对依据新论辩术理论所选择的最接近理想模型的辩论赛实例进行分析,以期为逻辑学与人工智能在论辩领域的交叉研究打下基础。

关键词：论辩理论论辩框架论辩语义可废止逻辑

在线全文

学校读者我要写书评

暂无评论

模糊论辩理论系统中的标签语义学

模糊论辩理论系统中的标签语义学

作者：王宗顺山东师范大学

学位级别：硕士

形式论辩理论是数学、哲学以及计算机科学等多门学科交叉的研究主题.论辩框架是形式论辩理论的一个中心概念,该理论首先应用逻辑语言将自然语言论辩情境建模为抽象的论辩系统,进而在这个系统中进行推理并产生决策.当前论辩框架已经成为... 详细信息

形式论辩理论是数学、哲学以及计算机科学等多门学科交叉的研究主题.论辩框架是形式论辩理论的一个中心概念,该理论首先应用逻辑语言将自然语言论辩情境建模为抽象的论辩系统,进而在这个系统中进行推理并产生决策.当前论辩框架已经成为人工智能领域的一个热门研究话题.在论辩框架的研究中,数学是重要而基本的研究工具,如图论、拓扑、代数、概率论、数理逻辑等理论均已被大量应用.当涉及到含数值的论辩框架,如模糊论辩框架时,代数的三角模运算以及模糊数学则是常见的研究工具.本文即是以模糊集为基础,以代数中的三角模等运算为工具,建立模糊论辩框架的标签语义.近些年来,随着论辩框架理论的发展,为了更准确的对自然语言论辩情境进行建模及推理,不确定理论开始在论辩框架中被广泛应用,如概率、权重以及模糊集.不确定理论的应用使得论辩框架对于自然语言情境中的不确定性知识的表达更具有效力.当抽象论辩框架中的论证或攻击关系涉及到模糊性时被称为模糊论辩框架.在模糊论辩框架中,论证及攻击关系被赋予模糊度来表示信任度,然后进一步的工作是对框架中的论证进行合理性的评估.在Dung的常规论辩框架的研究中,标签理论被广泛用于论证的评估、寻找新语义以及设计求解语义的算法.区别于传统的外延理论(特定准则下合理论证的集合)只能对论证的可接受性状态进行评估,标签理论为论证提供了更详细的状态,包括接受性、拒绝性以及未决性.然而,作为一种主流的论证评估手段,标签理论在不确定论辩框架的语义研究中却是被忽视的.因此,本文以模糊论辩框架作为基本论辩系统,以代数三角模等运算为工具建立模糊标签语义.本文主要分为五个章节,主要内容如下:?第一章阐明了本文的研究目标与思路,介绍了本文相关主题的研究现状.并且通过现有研究来说明建立模糊论辩框架上的模糊标签理论对模糊论证评估的意义.?第二章介绍了一些与本文相关的基础知识,包括代数三角模、模糊集理论、论辩框架以及模糊论辩框架.?第三章在模糊论辩框架中引入模糊标签来表示论证的接受程度、拒绝程度以及未决定程度.进一步以代数三角模等运算为基础,通过模糊标签建立模糊论辩框架上的模糊标签语义,包括基本的无冲突语义、可容许语义、完全语义、优先语义、基语义、稳定语义,并且介绍了一些尚未在模糊论辩框架中定义的语义,包括JV-可容许语义、VJ-可容许语义、理想语义、半稳定语义.?第四章刻画了模糊论辩框架中的外延语义与模糊标签语义间的关系,以及Dung的论辩框架中的标签语义与模糊论辩框架中的模糊标签语义间的关系.?第五章总结了本文中的工作,并对未来进一步的研究做出了展望.本文的贡献如下:首先,本文的模糊标签理论为模糊论辩框架的语义提供了标签形式的定义,为模糊论证提供了更加准确的评估方式,并且使得一些语义更加符合直觉;其次,模糊标签理论仅用代数三角模等运算就可以验证是否满足各种语义的准则,这使得模糊论辩框架的语义求解更加容易;除此之外,本文的工作为其它的量化论辩框架提供一定的启示,如权重论辩框架、概率论辩框架的标签语义的探索等.

关键词：模糊集理论论辩框架模糊论辩框架三角模标签语义

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

非单调推理与论辩系统

重庆理工大学学报（社会科学） 2013年第9期27卷 36-41页

作者：谢凯博廖备水浙江大学哲学系杭州310028

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越... 详细信息

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。

关键词：非单调推理论辩系统论辩框架

在线全文

学校读者我要写书评

暂无评论

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