【摘 要】
:
模糊蕴涵是模糊集理论中一类主要的逻辑连接词,在模糊逻辑、近似推理、模糊控制、模糊专家系统、模糊神经网络、图像处理和数据挖掘中发挥着重要的作用。一方面,广泛的应用推动着模糊蕴涵理论的研究。另一方面,随着人工智能的发展,模糊蕴涵在不确定性知识表示与推理中发挥着不可或缺的作用。因此,在过去十几年中,关于模糊蕴涵的性质、刻画、构造方法与应用一直是模糊逻辑中的研究热点。本文主要围绕几类新型模糊蕴涵的性质、构
论文部分内容阅读
模糊蕴涵是模糊集理论中一类主要的逻辑连接词,在模糊逻辑、近似推理、模糊控制、模糊专家系统、模糊神经网络、图像处理和数据挖掘中发挥着重要的作用。一方面,广泛的应用推动着模糊蕴涵理论的研究。另一方面,随着人工智能的发展,模糊蕴涵在不确定性知识表示与推理中发挥着不可或缺的作用。因此,在过去十几年中,关于模糊蕴涵的性质、刻画、构造方法与应用一直是模糊逻辑中的研究热点。本文主要围绕几类新型模糊蕴涵的性质、构造方法与应用来展开研究,主要包括模糊蕴涵的广义交错输入律与α-迁移性,FIφ-蕴涵及其在构造模糊包含度中的应用,区间值模糊蕴涵的O-条件律和新型模糊蕴涵序和。本文的研究不仅丰富了不确定性理论,同时也为工程技术人员在实际应用中提供了更大的算子选择空间。本文的主要工作分为以下四个部分:1.研究了模糊蕴涵的广义交错输入律与α-迁移性。首先,发现广义交错输入律可以由α-迁移的R-蕴涵关于α-迁移的三角模导出。然后通过充分的讨论发现二元组(C,I1)和/或(C,I2)满足输入律不一定导致三元组(C,I1,I2)满足广义交错输入律,反之亦然。与此同时,给出了广义交错输入律成立的必要条件。最后,从三个不同的视角研究了模糊蕴涵的广义交错输入律。特别地,引入了模糊蕴涵的双输入律的概念,并讨论了双输入律与广义(交错)输入律的关系。2.构造了一个新型模糊蕴涵——FIφ-蕴涵。首先,给出了FIφ-蕴涵的定义和一些例子,然后对FIφ-蕴涵进行了刻画,发现所有的FIφ-蕴涵族与模糊蕴涵族相等。接着研究了FIφ-蕴涵的性质以及如何使用FIφ-构造修正蕴涵以满足期望的性质。有趣的是,在FIφ-构造中使用一致模U和零模V时,产生了两类新的模糊蕴涵——UIφ-蕴涵和VpIφ-蕴涵,并且研究了其额外的性质。最后,通过FIφ-蕴涵的聚合,提供了一种生成模糊PB-包含度的新方法。3.研究了区间值模糊蕴涵的O-条件律。首先,在研究O-条件律的相关性质时,发现区间值模糊蕴涵的先行边界条件和左序性对于O-条件律的分析是至关重要的。其次,发现在广义Modus Ponens规则中使用区间值模糊蕴涵的O-条件律可以提供更好的灵活性和普适性。最后,研究了由区间值重叠函数和区间值分组函数生成的区间值模糊蕴涵(也即,区间值RO-蕴涵、区间值(G,N)-蕴涵、区间值(O,G,N)-蕴涵和区间值(G,O,N)-蕴涵)的先行边界条件,并进一步研究了它们的O-条件律。4.进一步研究了 Baczyński等学者提出的“新型模糊蕴涵序和”。一方面,讨论了新型模糊蕴涵序和与R-蕴涵、(S,N)-蕴涵、(T,N)-蕴涵、QL-蕴涵、D-蕴涵、Yager的f-蕴涵和g-蕴涵的关系。发现新型模糊蕴涵序和族与常见的蕴涵族不相交。另一方面,研究了新型模糊蕴涵序和在三角模和三角余模上的分配性,完整地刻画了新型模糊蕴涵序和关于三角模和三角余模的四个分配性方程,并给出了分配性方程成立的充分和必要条件。
其他文献
基于重构的异常检测方法是指使用重构误差作为异常得分的异常检测方法,在其训练阶段,训练集仅由正常数据构成,当训练数据较为充分时,它在该训练集上能够取得较小的重构误差。在测试阶段,正常数据的重构误差和异常数据的重构误差会出现较大的差异,因此可以利用重构误差将待测数据判定为正常数据或异常数据。作为常用的基于重构的异常检测方法,基于生成式对抗网络(generative adversarial nets,G
在计算机硬件性能提升的基础上,深度学习算法被广泛应用,人工智能技术不断有新的突破。其中图像和文本领域的技术创新尤为显著,主要体现在问答系统、目标检测、情感识别等研究方向上。本文主要研究的是计算机视觉与自然语言处理的交叉领域——视觉问答系统。视觉问答系统是多模态领域的一项热门研究问题,该系统的主要任务是分析与识别图像和文本两种模态下的表征数据,并对多个模态下的数据进行特征融合处理,以便获得相应问题的
目前,Top-N查询处理和优化的研究主要是针对Top-N选择查询,而Top-N连接查询相关研究仍然较少。传统Top-N查询处理方法通常未整合实体解析技术,对于包含重复元组的脏数据集,这些方法可能检索出重复的Top-N结果,难以得到足够多的有效元组,查询效率低下。此外,对于大型数据集,实时实体解析是一个具有挑战性的问题。因此,如何将实时实体解析与Top-N连接查询有效融合,是一个有待深入研究的重要课
鲁棒极限学习机因其较高的泛化能力和较快的学习速度。已经成为比较常用的机器学习工具之一,并在现实中的许多方面得到应用。然而,传统的鲁棒极限学习机还有不足之处:一、大多数鲁棒极限学习机以2L范数为损失函数。众所周知,2L范数对于异常值非常敏感,更容易受到极端异常值的影响,当数据中含有过多极端异常值时,大多数算法将崩溃。二、鲁棒极限学习机对于神经元数量非常敏感,当神经元数量过多时,可能会发生过拟合,导致
物联网技术的不断发展极大的改善了人们的生活质量,同时也带来了一些新的挑战。万物互联时代离不开数据的交互,访问控制被认为是实现数据安全交互的一种重要方式,然而现有的访问控制方案大多都是基于集中式服务器构建的,存在单点故障问题。区块链应用了多种技术实现了去中心化,被认为是一个很有前途的分布式解决方案,能够有效提高访问控制系统的可靠性。因此,本文对基于区块链的访问控制机制展开研究,主要工作如下:针对传统
基于云计算平台的云存储系统为用户提供了海量、可弹性扩展、低成本和低能耗的远程存储服务,因此越来越多的人选择将自己的数据外包给云服务器,进而不受本地有限存储空间的约束。然而,用户一旦将数据存储到云服务器,将失去对数据的物理控制,存储在云服务器中的数据便面临着泄露、恶意删除和被篡改的风险。随着云存储安全的问题日益凸显,审计云数据完整性的持有性证明方案成为研究者们关注的重点,学术界提出了多种数据持有性证
随着机器视觉在三维领域的发展,点云以其便于采集、数据量小和信息丰富准确的优点得到了大量关注,相比于其他数据表现形式,诸如体素、mesh网格等,点云的特性使其更适用于自动驾驶、机器人视觉等需要快速处理的应用。点云通常由激光传感器或深度相机扫描获取,会出现物体不完整和坐标系不统一的情况。点云补全是从不完整的点云中挖掘信息,补全点云的缺失信息,构成一个完整对象,常用于解决扫描物体不完整的问题,点云配准是
车辆再识别是在海量车辆图像或视频中检索目标车辆的过程,属于图像检索的子问题。在交通系统中引入车辆再识别技术,既能提高交通管理自动化程度又能保证对车辆定位追踪的准确性,传统的车辆图像处理技术不能很好的提取车辆特征,从而影响后续车辆再识别的效果。本文针对车辆特点及其所处复杂外界环境的特点,研究有效的车辆图像再识别算法。主要工作有:(1)基于MAPANet的车辆图像特征提取。依靠车辆图像中具有区分性的局
软件漏洞导致了许多系统攻击和数据泄露,软件安全问题逐渐引起关注,软件漏洞检测现已成为一个重要的研究方向。近年来,深度学习技术已应用于漏洞检测,基于深度学习的漏洞检测方法不需要手动定义特征,实现了低漏报和低误报。深度学习技术依赖于数据集,最近的研究发现,不同的漏洞数据集对基于深度学习的智能漏洞检测方法的效果有不同的影响。漏洞数据集的真实性、不平衡性和重复率会影响基于深度学习的智能漏洞检测方法的有效性
近年来,随着大数据、人工智能、高速网络等技术的发展,入网的物联网设备数量迅猛增长。物联网设备在智能家居、智能电网、智慧城市等应用场景下为人们生活生产带来便利的同时,也给网络带来了潜在的威胁。为了保证物联网网络的安全,需要对物联网设备进行高效,准确的管理和识别。针对物联网设备进行管理时,时效性要求较高,这意味着在网关处进行设备识别和管理具有十分重要的意义。然而目前提出的物联网设备识别方案普遍开销较高