导读:本文包含了类逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,代数,中国古代,科学,中国,同态,谓词。
类逻辑论文文献综述
周荧[1]（2019）在《一类逻辑网络系统最优控制问题的研究》一文中研究指出布尔网络是描述基因调控、细胞分化等系统生物学中基因之间相互作用的有力工具.近年来,随着系统生物学的快速发展,布尔网络系统的研究成为广大学者研究的热点问题之一.本文主要研究布尔网络动态系统最优控制问题的求解.论文首先应用矩阵半张量积的方法,将布尔动态网络系统最优控制问题转换为等价的离散控制系统最优控制问题,从而应用经典的动态规划方法研究问题的求解.其次,研究有限时域上最优控制问题的求解,通过引入一个新变量,将带约束的优化问题转换为无约束的优化问题,给出求解该问题的一种新算法;进而,在证明无穷时域上最优控制问题可解性和逼近定理的基础上,给出求解无穷时域上布尔网络动态系统最优控制问题近似解的方法.最后,分别用有限时域和无穷时域上最优控制问题的新算法求解具体的算例.论文充分利用矩阵半张量积转换后的问题具备系统和目标泛函均为状态与控制双线性表达形式的优势,以及布尔网络系统逻辑变量取值只能为0和1的特征,针对有限时域上问题的求解,所设计的算法与经典的动态规划方法相比,可以节省存储空间和计算量,且易于计算机编程实现.算法有一定的创新.同时,论文的结论丰富了布尔网络动态控制系统和最优控制理论的研究内容,还可为布尔网络系统最优控制的实际应用提供一类计算方法.(本文来源于《贵州大学》期刊2019-06-01）
张玉梅[2]（2019）在《国土调查中地类逻辑不一致的处理方法》一文中研究指出外业核实调查工作是第叁次全国国土调查(原称为第叁次全国土地调查)的前期工作,是确保数据库数据与实地情况相符的重要环节。文章通过对外业核实调查时容易出现的地类逻辑不一致的主要情况进行分析,并将第二次全国土地调查时类似情况的处理方法应用于此次调查中,提高了外业核实调查的工作效率,保证了数据的真实性、准确性。(本文来源于《地矿测绘》期刊2019年01期）
金志刚,苏菲[3]（2018）在《基于FSVM与多类逻辑回归的两级入侵检测模型》一文中研究指出针对多类分类训练样本少、多类样本分布不均导致的入侵检测分类模型准确率低的问题,提出采用模糊支持向量机与多类逻辑回归相结合的2级入侵检测模型.模糊支持向量机(FSVM)1级检测模型将数据分为正常型和攻击型,多类逻辑回归(MLR)2级检测模型给出攻击型数据的具体类别.在模型设计中,给出了隶属度函数的计算方式,数据离散化、标准化和归一化的计算过程,以及MLR模型流程分析.实验证明,MLR模型比多种分类器分类准确率高,且耗时较短.FSVM-MLR 2级模型比MLR 1级模型准确率高.(本文来源于《南开大学学报(自然科学版)》期刊2018年03期）
王军涛[4]（2018）在《MTL-代数的稳定化子及两类逻辑算子研究》一文中研究指出独异点叁角模逻辑(monoidal triangular norm based logic),简记为MTL,是一类非常重要的模糊逻辑,它是所有左连续叁角模及其剩余的模糊逻辑的共同公理化.随着对基于叁角模逻辑研究的不断深入,各种逻辑代数作为其语义系统被相继提出,其中MTL-代数是一类最重要、最基本的逻辑代数,因为几乎所有基于叁角的模逻辑系统都是以它为基础来建立相应代数语义.本文主要研究了MTL-代数上的稳定化子、真值算子以及相似算子理论,尝试刻画几类特殊MTL-代数的代数结构,为研究MTL-逻辑系统中命题变元的真假程度提供代数方法,为证明相似MTL-逻辑系统的完备性奠定了代数基础.研究的主要内容如下:1.第二章引入了MTL-代数上的稳定化子.首先,研究了几类特殊稳定化子的性质,给出了左,右蕴涵稳定化子相等的刻画,并刻画了IMTL-代数,整MTL-代数,MV-代数以及(线性)G¨odel代数.其次,讨论了MTL-代数中稳定化子与零化子之间的关系,得到了MTL-代数中的蕴涵稳定化子和零化子是等价的.最后,讨论了几类稳定化子之间的关系,得到了MTL-代数中任意非空子集的右蕴涵稳定化子和右乘稳定化子是序同构的,IMTL-代数中任意非空子集的蕴含稳定化子与对合稳定化子是等价的.应用本章的主要结论解决了文献[Motamed S.,Torkzadeh L..A new class of BL-algebras[J].Soft Computing,2017,21:687-698]中的2个公开问题.2.第叁章研究了MTL-代数上的真值算子.首先,建立了真值MTL-代数的公理化系统,通过研究真值算子刻画了G¨odel代数和MV-代数.其次,着重研究了真值MTL-代数上的真值滤子,利用真值滤子刻画了次直不可约真值MTL-代数,单真值MTL-代数以及可表示的真值MTL-代数,并讨论了全体真值滤子构成集合VF[L]的代数结构,得到了VF[L]关于包含关系构成了一个完备Heyting代数.最后,建立了真值MTL-代数对应的逻辑系统,证明了真值MTL-逻辑系统的线性完备性和可靠性.3.第四章引入了MTL-代数上的相似算子.首先,建立了相似MTL-代数的公理化系统,通过研究相似算子的性质,给出了保序相似算子的刻画,讨论了相似算子和等价算子的关系,并建立了真值MTL-代数和相似MTL-代数相互构造的方法.其次,研究了相似MTL-代数上的相似滤子,利用相似滤子刻画了可表示的相似MTL-代数.最后,引入了(可表示)相似MTL-代数对应的逻辑系统并证明其线性完备性和自然扩张性.(本文来源于《西北大学》期刊2018-06-01）
刘慧珍[5]（2017）在《Hoop代数上两类逻辑算子的研究》一文中研究指出Hoop代数最先由B.Bosbach于20世纪60年代作为一种自然序的可换剩余正半群而提出的.modal逻辑是非经典逻辑范畴的一个重要分支,modal算子是直觉命题逻辑的代数语义.微分的思想源于分析学.monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.本文将研究Hoop代数上的modal算子以及W-Hoop代数上的monadic微分算子.所做的工作如下:首先,我们在Hoop代数H上引入了 modal算子,并讨论了相关性质.进一步研究了H上的叁个特殊映射,并给出这叁个映射成为modal算子的等价刻画.接下来,又从闭包算子的角度对modal算子进行了深入研究,证明了两个modal算子的复合是可换的的等价刻画.此外,定义并研究了moda 可表示滤子,并得出在任何一个Hoop代数丑上,区间[a,1]是一个modal可表示滤子,其中a ∈ dmm(H).进进步,引入了modda同态与modal同余,并证明了两个ModalHoop代数(H,f)与([0,a],fa)之间存在一个满同态,其中fa(x)=f(x)∧a,a ∈ Idm(H).最后,定义并研究了对偶modal算子,对偶modal滤子,并且证明了在Modal Hoop代数中,modal算子f和对偶modal算子f*之间可形成一个Galois联结.其次,我们在W-Hoop代数上将monadic算子和微分算子相结合进行了研究,也就是在W-Hoop代数上研究了monadi 微分算子.具体来说就是在Monadic-Hoop代数(M,(?))上引入并研究了 M-微分.定义并研究了Monadic W-Hoop代数(M,(?))上的叁类特殊微分——强M-微分,正则M-微分和可加M-微分,并利用这叁类微分得到W-Hoop代数成为布尔代数的等价刻画以及正则M-微分成为保序微分的等价刻画.最后,在微分Monadic W-Hoop代数(M,(?),d)上定义了 monadic微分理想,并对其进行了刻画,而且研究了(M,(?),d)上所有monadic微分理想组成的集合LD(M)的代数结构,得到(ID(M),∧,∨,(?),M)是一个有界分配格.最后,我们在W-Hoop代数上研究了 moda算子和monadic微分算子之间的关系。(本文来源于《西北大学》期刊2017-05-01）
何向东,王玲玉[6]（2016）在《横一本从推类逻辑研究中国古代科学逻辑的着作——评《中国推类逻辑对中国古代科学之影响》》一文中研究指出李约瑟曾提出一个问题:"中国古代科学为什么在近代以后落后于西方科学?这个问题就是李约瑟难题。很多人对此进行了回答,很多人认为原因就是中国古代科学缺乏演绎推理。是否真的就是中国古代科学缺乏演绎推理性质导致了中国古代科学的现代落伍呢?对此难题的进一步解答,一直困惑着无数的学者。多年来,刘邦凡长期从中国推类逻辑的视域去思考中国古代科学的演绎推理问题,《中国推类逻辑对中国古代科学之影响》一书就是从这个重要角度系统回答了李约瑟难题的开创性专着,对当今我国科技创新方法论文也有重要启示。(本文来源于《安徽文学(下半月)》期刊2016年04期）
王克喜,段晓宏[7]（2016）在《一本十分值得品评的书——评《中国推类逻辑对中国古代科学之影响》》一文中研究指出《中国推类逻辑对中国古代科学之影响》以区别于西方科学分类的思维,从中国古代逻辑的思维模式——推类,而不是西方的逻辑学的角度去研究中国古代科学技术的思维模式,探讨中国逻辑对中国古代科学的影响。全书共分为六章内容,第一章为"逻辑与中国逻辑",主要介绍了"什么是逻辑"、"什么是中国逻辑"、"逻辑的共通性与特殊性"、"近代复兴对中国逻辑的影响"、"中国逻(本文来源于《采写编》期刊2016年02期）
李包庚,董聪娜[8]（2016）在《论《中国推类逻辑对中国古代科学之影响》研究方法创新》一文中研究指出中华民族具有五千多年的历史,中国古代地大物博,给后代留下许多宝贵财富,如今也有大量的书籍介绍了中国古代的人文、地理状况。总而言之,这些关于中国古代科学的书籍从不同程度、不同方面、不同角度对中国古代科学进行了介绍与归纳。而运用推类逻辑的方法来研究中国古代科学,是一个新颖的角度。刘邦凡教授所着的《中国推类逻辑对中国古代科学之影响》(下文简称"本书")一书包括前言、六个章节、参考文献及后记四个部分。六个章节分别是逻辑与(本文来源于《明日风尚》期刊2016年06期）
张萍,栗俊杰[9]（2016）在《创新性与特色性的高度融合——评《中国推类逻辑对中国古代科学之影响》》一文中研究指出认真钻研中国特有的逻辑形式,并且找到一个切入点,以其作为着眼点,探究它对我国科学的影响,必然具有它独特的学术价值。由刘邦凡教授所着的《中国推类逻辑对中国古代科学之影响》(吉林人民出版社,2014年1月出版)一书就是这样一本专业性十足的情怀之作。(本文来源于《知音励志》期刊2016年03期）
任晓明,刘川[10]（2015）在《中国“推类”逻辑的归纳特性剖析》一文中研究指出中国古代的主导推理类型是推类,它是一个相对系统的逻辑理论。归纳推理的最根本特征是或然性,而推类的前提和结论之间的推导关系只有或然性而没有必然性,因此推类不可能是演绎推理,只能是归纳推理。既然推类是中国逻辑的主导推理类型,那么就可以说中国逻辑的主体是归纳逻辑。从文化的角度看,这种推类又有其特殊性。虽然在推类上或多或少可以看到类比推理的影子,但推类不同于西方的类比推理。其特点是:第一,它重视内容上的意会,暗示性甚于明晰性;第二,它不是价值中立的,而是渗透了价值的特殊归纳推理;第叁,它是基于非外延关系的推理;第四,它不那么强调形式的正确性,但重视非形式的合理性。(本文来源于《福建论坛(人文社会科学版)》期刊2015年12期）
类逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
外业核实调查工作是第叁次全国国土调查(原称为第叁次全国土地调查)的前期工作,是确保数据库数据与实地情况相符的重要环节。文章通过对外业核实调查时容易出现的地类逻辑不一致的主要情况进行分析,并将第二次全国土地调查时类似情况的处理方法应用于此次调查中,提高了外业核实调查的工作效率,保证了数据的真实性、准确性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
类逻辑论文参考文献
[1].周荧.一类逻辑网络系统最优控制问题的研究[D].贵州大学.2019
[2].张玉梅.国土调查中地类逻辑不一致的处理方法[J].地矿测绘.2019
[3].金志刚,苏菲.基于FSVM与多类逻辑回归的两级入侵检测模型[J].南开大学学报(自然科学版).2018
[4].王军涛.MTL-代数的稳定化子及两类逻辑算子研究[D].西北大学.2018
[5].刘慧珍.Hoop代数上两类逻辑算子的研究[D].西北大学.2017
[6].何向东,王玲玉.横一本从推类逻辑研究中国古代科学逻辑的着作——评《中国推类逻辑对中国古代科学之影响》[J].安徽文学(下半月).2016
[7].王克喜,段晓宏.一本十分值得品评的书——评《中国推类逻辑对中国古代科学之影响》[J].采写编.2016
[8].李包庚,董聪娜.论《中国推类逻辑对中国古代科学之影响》研究方法创新[J].明日风尚.2016
[9].张萍,栗俊杰.创新性与特色性的高度融合——评《中国推类逻辑对中国古代科学之影响》[J].知音励志.2016
[10].任晓明,刘川.中国“推类”逻辑的归纳特性剖析[J].福建论坛(人文社会科学版).2015
论文知识图
