【摘 要】
:
随着计算机科学技术的快速发展,非经典逻辑成为人工智能领域中最具活力的研究方向之一。非经典逻辑研究的一个主要特点是逻辑学和代数学的相互渗透与相互融合,代数方法已成为
论文部分内容阅读
随着计算机科学技术的快速发展,非经典逻辑成为人工智能领域中最具活力的研究方向之一。非经典逻辑研究的一个主要特点是逻辑学和代数学的相互渗透与相互融合,代数方法已成为非经典逻辑研究的重要工具。伪拟多值代数作为拟多值代数的非交换推广,与量子计算逻辑和非交换多值逻辑有紧密关系。本论文从滤子理论和算子理论两方面对其进行研究,具体内容如下:第一章主要综述多值代数的推广研究和伪拟多值代数的提出、逻辑代数系统中不同类型的滤子研究和非常真算子的理论发展。第二章介绍了伪拟多值代数的定义和伪拟多值代数的滤子定义以及相关性质。第三章研究了伪拟多值代数上不同类型的滤子理论,包括蕴涵滤子、正蕴涵滤子、完美滤子、结合滤子和对合滤子等,讨论了这些不同类型的滤子的等价刻画、性质及相互关系。第四章研究了伪拟多值代数上的非常真算子理论。首先讨论了非常真算子的基本性质,建立了非常真算子与非常假算子之间的对应关系。其次研究了非常真伪拟多值代数的正规滤子和滤子同余之间的关系。最后讨论了(弱)滤子在非常真伪拟多值代数同态下的性质。本论文的研究工作既完善和丰富了伪拟多值代数理论,又推广了已有的研究成果,同时为后继开展其它相关的代数结构研究奠定了基础。
其他文献
智能优化算法是信息科学和计算机等领域的研究热点之一。如何有效地提高该类算法在复杂的环境中的搜索性能是关键问题之一。作为一种群体智能算法,粒子群算法(Particle Swarm
生物医学的快速发展,对化学分析提出了更高的要求,化学分析需要在微观尺度上实现对生物分子和细胞的高灵敏度、高选择性和高通量检测。纳米技术的发展为这一目标打开了一扇大
本文研究以炭黑作为改性剂对基质沥青进行改性,得到炭黑沥青。为了确定炭黑沥青的最佳配制温度、炭黑掺量、炭黑种类,对薄膜加热老化前后不同配制温度、炭黑掺量、炭黑种类配
在飞速发展的大数据时代下,图像资源所包含的信息量保持迅猛增长,因此提炼图像有效信息的技术具有重要的实用价值。视觉显著性检测算法旨在检测图像中最具有区分度的显著目标
癌症给正常人带来了极大的痛苦和危害,当下癌症病变已经成为我国甚至全世界居民死亡的重要因素。利用显微镜观察Ki-67玻片,计算其阳性率,并对其癌变症状分析,是至关重要的一
石墨烯,可看做单层的石墨片,是一种具有二维结构的碳纳米材料。自石墨烯出现以来,人们将零维的富勒烯、一维的碳纳米管、二维的石墨烯和三维的石墨统一并建构了一个完整的从
索穹顶是一种结构效率极高的自平衡张力结构体系,目前已成为工程研究和应用的热点之一。本文对Kiewitt型索穹顶的找力分析方法、预应力优化和索杆破断等问题进行了研究,主要
近年来,多智能体系统的研究引起了不同领域研究者的关注,其中分布式平均跟踪问题作为一致性问题和协同跟踪问题的扩展,有着其特有的挑战性。该问题假设有一组智能体,其中每一
大气气溶胶对地球辐射平衡、全球气候变化以及人类健康有着重要影响。新粒子生成(NPF)是大气气溶胶的主要来源,但由于全球大气环境的多样性和当前检测手段的局限性,人们对新
对称和模式重复在自然结构和人工结构中都十分常见,考虑对称和模式重复约束的结构优化设计具有重要的理论和实际意义。本文的工作主要是提出了考虑对称和模式重复约束的参数