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

作     者：王宗顺 

作者单位：山东师范大学 

学位级别：硕士

导师姓名：吴家超

授予年度：2021年

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 

主      题：模糊集理论 论辩框架 模糊论辩框架 三角模 标签语义 

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